Skip to Main content Skip to Navigation

Spécification de bibliothèques pour la synthèse de circuits asynchrones

Abstract : This PhD thesis deals with the development of the TAST automated tool suite (TIMA Asynchronous Synthesis Tool). TIMA is a design environment mainly made up of a compiler and a synthesizer targeting several output formats (VHDL behavioral description, C language description, VHDL gate level netlist) starting from a high level description language (CHP). The synthesiser produces a gate netlist using a generic cell library.
This work focuses on a set of libraries used to interface the TAST front-end and standard back-end tools (P&R, TA). The generic library, used to describe the result of the synthesis, is specified and developed. This library includes a technology independent functional description of the gates. In addition, technology dependent libraries targeting ASIC and FPGA are defined. The library cells specification requires an in-depth understanding of the message passing mechanisms through channel used in asynchronous circuits. Therefore this work performs a detailed study of the communication protocols and their implementations. To complete the library specification and development, arbiter design is considered as a contribution to network on-chip implementation.
Complete list of metadata
Contributor : Lucie Torella <>
Submitted on : Wednesday, June 4, 2003 - 9:40:02 AM
Last modification on : Friday, December 11, 2020 - 8:28:03 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:09:28 PM


  • HAL Id : tel-00002943, version 1




Jean-Baptiste Rigaud. Spécification de bibliothèques pour la synthèse de circuits asynchrones. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨tel-00002943⟩



Record views


Files downloads