AAAA : asynchronisme et adéquation algorithme architecture, Traitement du Signal, numéro spécial, vol.14, issue.6, pp.589-604, 1997. ,
CHP2VHDL, a CHP to VHDL translator, towards asynchronous design simulation, Communications effectuées à des manifestations d'audience internationale avec comité de sélection et actes Second ACiD-WG Workshop, 1998. ,
ASPRO-216: a standard-cell Q.D.I. 16-bit RISC asynchronous microprocessor, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1998. ,
DOI : 10.1109/ASYNC.1998.666491
URL : https://hal.archives-ouvertes.fr/hal-00011217
A Design Experiment : The ASPRO Program Memory, Third ACiD-WG Workshop, 1999. ,
A Design Frame Work for Asynchronous/ Synchronous Circuit Based on CHP to HDL Transaction, International Symposium on Advanced Research in Asynchronous Circuits and Systems " , ASYNC'99, pp.135-144, 1999. ,
ASPRO : an Asynchronous 16-Bit RISC Microprocessor with DSP Capabilities, Proceedings of the 25 th European Solid-State Circuits Conference, ESSCIRC'99, pp.21-23, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-00011207
A Contactless Smart-Card Chip based on an Asynchronous 8-bit Microcontroller, pp.31-32, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-01381239
ASPRO : a toy demo, th ACiD Workshop, pp.31-32, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-01381240
A New Contactless Smartcard IC using an On-Chip Antenna and an Asynchronous Microcontroller, Proceedings of the 26 th European Solid-State Circuits Conference ESSCIRC'00, pp.19-21, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00012696
A Contactless Smart-Card Chip based on an Asynchronous 8-bit Microcontroller, pp.31-32, 2000. ,
A New Contactless Smartcard IC using an On-Chip Antenna and an Asynchronous Microcontroller, Proceedings of the 26 th European Solid-State Circuits Conference, pp.0-19, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00012696
A New Contactless Smartcard IC using an On-Chip Antenna and an Asynchronous Microcontroller, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00012696
SHILPA: a high-level synthesis system for self-timed circuits, IEEE/ACM International Conference on Computer-Aided Design, pp.587-594, 1992. ,
DOI : 10.1109/ICCAD.1992.279308
A retargetable optimized compiler for DSPs, Proceedings of the 8th International Conferance on Signal Processing Applications and Technology, pp.1032-1036, 1997. ,
The VLSI-programming language Tangram and its translation into handshake circuits, Proceedings of the European Conference on Design Automation., pp.384-389, 1991. ,
DOI : 10.1109/EDAC.1991.206431
Beware the isochronic fork, Integration, the VLSI Journal, vol.13, issue.2, pp.103-128, 1992. ,
DOI : 10.1016/0167-9260(92)90001-F
Handshake Circuits -An Asynchronous Architecture for VLSI Programming, 1993. ,
Asynchronous circuits for low power: a DCC error corrector, IEEE Design & Test of Computers, vol.11, issue.2, pp.22-32, 1994. ,
DOI : 10.1109/54.282442
Automated synthesis of micro-pipelines from behavioral Verilog HDL, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), pp.84-92, 2000. ,
DOI : 10.1109/ASYNC.2000.836967
On the addition of binary numbers, IEEE Transaction on Computers, pp.758-759, 1970. ,
Translating Concurrent Programs into Delay- Insensitive Circuits, Proc. ICCAD, pp.262-265, 1989. ,
Asynchronous Circuits, Monograph in computer science, pp.0-387, 1995. ,
Preliminary discussion of the logical design of an electronic instrument". Rapport technique, The Institute of Advanced Study Computer structures : readings and examples, Computer Science series, 1946. ,
The design of an Asynchronous Tiny RISC TR4101 Microprocessor Core, ASYNC'98, pp.108-119, 1998. ,
A Design Methodology for Concurrent VLSI Systems, ICCD, vol.85, pp.407-410, 1985. ,
Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications, 1987. ,
A Comparison of CMOS Techniques : Differential Cascode Voltage Switch Logic Versus Conventional Logic, IEEE journal of solid state circuits, vol.22, issue.4, pp.528-532, 0987. ,
CLASS: a CAD system for automatic synthesis and verification of asynchronous finite state machines, Integration, the VLSI Journal, vol.15, issue.3, pp.263-289, 1993. ,
DOI : 10.1016/0167-9260(93)90033-9
Macromodular computer systems, Proceedings of the April 18-20, 1967, spring joint computer conference on, AFIPS '67 (Spring), 1967. ,
DOI : 10.1145/1465482.1465536
Etude et implémentation d'un microcontrôleur asynchrone pour carte sans contact, rapport de stage de fin d'étude effectué au laboratoire de France Telecom R&D, 1998. ,
An efficient implementation of Boolean functions as self-timed circuits, IEEE Transactions on Computers, vol.41, issue.1, pp.2-11, 1992. ,
DOI : 10.1109/12.123377
Self-timed is self-checking, Journal of Electronic Testing, vol.20, issue.No. 6, pp.219-228, 1995. ,
DOI : 10.1007/BF00993088
Guarded Commands, Nondeterminancy and formal derivations of programs, Communications of the ACM, vol.18, 1975. ,
A formal approach to designing delay-insensitive circuits, Distributed Computing, vol.1, issue.6, pp.107-119, 1991. ,
DOI : 10.1007/BF02252954
Synthesizing Asynchronous Systems Using Balsa : A Tutorial and Case Study, rd ACiD Workshop, 1999. ,
Architecture VLSI Asynchrone utilisant la logique différentielle à précharge : Application aux opérateurs arithmétiques, Thèse de l'Institut National Polytechnique de Grenoble (INPG), spécialité Microélectronique ,
Behavioral Modeling of Asynchronous Systems for Power and Performance Analysis, PATMOS'98 international workshop, Denmark, pp.137-146, 1998. ,
The design and evaluation of an asynchronous microprocessor, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1994. ,
DOI : 10.1109/ICCD.1994.331891
Dynamic Logic Four Phase Micropipelines, International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.11-16, 1996. ,
Four-phase micropipeline latch control circuits, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.4, issue.2, 1996. ,
DOI : 10.1109/92.502196
AMULET2e : An Asynchronous Embedded Controller, Proceedings of the third international symposium on Advanced Research in Asynchronous Circuits and Systems, 1997. ,
AMULET2e : an asynchronous embedded controller, Proceedings of the IEEE, pp.243-256, 1999. ,
AMULET3i-an asynchronous system-on-chip, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), pp.162-175, 2000. ,
DOI : 10.1109/ASYNC.2000.836999
VLSI asynchronous systems: specification and synthesis, Microprocessors and Microsystems, vol.16, issue.10, pp.517-527, 1992. ,
DOI : 10.1016/0141-9331(92)90081-4
Asynchronous design methodologies: an overview, Proceedings of the IEEE, vol.83, issue.1, pp.69-93, 1995. ,
DOI : 10.1109/5.362752
Computer Architecture, a Quantitative Approach, 1996. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
Direct Implementation of Asynchronous Control Units, IEEE Transactions on Computers, vol.31, issue.12, pp.1133-1141, 1982. ,
DOI : 10.1109/TC.1982.1675937
Testing asynchronous circuits: A survey, Integration, the VLSI Journal, vol.19, issue.3, pp.111-131, 1995. ,
DOI : 10.1016/0167-9260(95)00012-5
High-level asynchronous system design using the ACK framework, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), pp.93-103, 2000. ,
DOI : 10.1109/ASYNC.2000.836975
Applying asynchronous circuits in contactless smart cards, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), pp.31-32, 2000. ,
DOI : 10.1109/ASYNC.2000.836785
Appying Asynchronous Circuits in Contactless Smart Cards, Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.36-44, 2000. ,
On Self Timed Behavior Verification, 1992. ,
Concurrent Hardware, The Theory and Practice of Self-Timed Design, Wiley Series in Parallel Computing, 1994. ,
Metastable Behavior in Digital Systems, IEEE Design & Test of Computers, vol.4, issue.6, pp.4-19, 1987. ,
DOI : 10.1109/MDT.1987.295189
Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems, Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.164-174, 1996. ,
DOI : 10.1109/ASYNC.1996.494448
Hazard-Free Implementation of Speed-Independent Circuits, IEEE Trans. On Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.9, 1998. ,
Computer arithmetic algorithms, 1993. ,
Synthesis of hazard-free customized CMOS complex-gate networks under multiple-input changes, Proc. Of the 33 rd ACM/IEEE Design Automation Conference, pp.77-82, 1996. ,
Algorithms for Synthesis and Testing of Asynchronous Circuits, 1993. ,
DOI : 10.1007/978-1-4615-3212-5
Skip Techniques for High-Speed Carry-Propagation in Binary Arithmetic Units, IEEE Transactions on Electronic Computers, vol.10, issue.4, p.691, 1961. ,
DOI : 10.1109/TEC.1961.5219274
Analysis and applications of the XDI model, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.231-242, 1999. ,
DOI : 10.1109/ASYNC.1999.761537
Designing an asynchronous communications chip, IEEE Design and Test of Computers, pp.8-21, 1994. ,
DOI : 10.1109/54.282441
Compiling communication processes into delay insensitive VLSI circuits, Distributed computing, pp.226-234, 1986. ,
The Design of an Asynchronous Microprocessor ,
Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits, Developments in Concurrency and Communication, pp.1-64, 1990. ,
The Limitations to Delay-Insensitivity in Asynchronous Circuits, Proceedings of the Sixth MIT Conference on Advanced Research in VLSI, pp.263-278, 1990. ,
DOI : 10.1007/978-1-4612-4476-9_35
Testing delay-insensitive circuits, Advanced Research in VLSI, pp.118-132, 1991. ,
Synthesis of Asynchronous VLSI Circuits, 1993. ,
The design of an asynchronous MIPS R3000 microprocessor, Proceedings Seventeenth Conference on Advanced Research in VLSI, pp.164-181, 1997. ,
DOI : 10.1109/ARVLSI.1997.634853
A low power zero-overhead self-timed division and square root unit combining a single-rail static circuit with a dual-rail dynamic circuit, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1997. ,
DOI : 10.1109/ASYNC.1997.587175
Four state asynchronous architectures, IEEE Transactions on Computers, vol.41, issue.2, pp.129-142, 1992. ,
DOI : 10.1109/12.123391
Synthesis of delay-insensitive modules"Chapel Hill conference on VLSI, computer science press, pp.67-85, 1985. ,
Sequential circuits, Switching theory, vol.10, issue.2, 1965. ,
Arithmétique des ordinateurs, 1989. ,
Asynchronous sub-logarithmic adders, IEEE Pacific Rim Conference on Communication, Computers and Signal Processing (PACRIM97), pp.515-518 ,
Elementary Functions, Algorithms and Implementation, 1997. ,
Practical design of globally-asynchronous locally-synchronous systems, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), pp.52-59, 2000. ,
DOI : 10.1109/ASYNC.2000.836791
TITAC: design of a quasi-delay-insensitive microprocessor, IEEE Design & Test of Computers, vol.11, issue.2, pp.50-63, 1994. ,
DOI : 10.1109/54.282445
Evaluation of function blocks for Asynchronous design, EURODAC'94, pp.454-459, 1994. ,
Low-power operation using self-timed circuits and adaptive scaling of the supply voltage, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.2, issue.4, 1994. ,
DOI : 10.1109/92.335008
Automatic Synthesis of Locally-Clocked Asynchronous State Machines, ICCAD, pp.318-321, 1991. ,
Exact two-level minimization of hazard-free logic with multiple-input changes, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.14, issue.8, pp.986-997, 1995. ,
DOI : 10.1109/43.402498
Computer Arithmetic Systems, Algorithms, Architecture, and ImplementationsStructural Methods for Synthesis of Speed-Independent Circuits, Prentice Hall International Series in Computer Science, 1994. ,
Electrical Design of Dynamic and Static Speed- Indemendent CMOS Circuits from STGs, rd ACiD Workshop, 1999. ,
A flexible message passing mechanism for Objective VHDL, Proceedings Design, Automation and Test in Europe, pp.242-249, 1998. ,
DOI : 10.1109/DATE.1998.655863
The Design of Fast Asynchronous Adder Structures and Their Implementation Using D.C.V.S. Logic, Proceedings ISCAS, 1994. ,
A minimum power, 100 MHz , 12x18+30-b Multiplier-Accumulator operating in asynchronous and synchronous mode, ESSCIRC, vol.94, 1994. ,
A new asynchronous pipeline scheme: application to the design of a self-timed ring divider, IEEE Journal of Solid-State Circuits, vol.31, issue.7, pp.1001-1013, 1996. ,
DOI : 10.1109/4.508214
URL : https://hal.archives-ouvertes.fr/hal-00012049
AAAA : asynchronisme et adéquation algorithme architecture, Traitement du Signal, numéro spécial, vol.14, issue.6, pp.589-604, 1997. ,
CHP2VHDL, a CHP to VHDL translator, towards asynchronous design simulation, Second ACiD-WG Workshop, 1998. ,
ASPRO-216: a standard-cell Q.D.I. 16-bit RISC asynchronous microprocessor, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1998. ,
DOI : 10.1109/ASYNC.1998.666491
URL : https://hal.archives-ouvertes.fr/hal-00011217
A Design Experiment : The ASPRO Program Memory, Third ACiD-WG Workshop, 1999. ,
A Design Frame Work for Asynchronous/ Synchronous Circuit Based on CHP to HDL Transaction, International Symposium on Advanced Research in Asynchronous Circuits and Systems" ASYNC'99, pp.135-144, 1999. ,
ASPRO : an Asynchronous 16-Bit RISC Microprocessor with DSP Capabilities, Proceedings of the 25 th European Solid-State Circuits Conference, ESSCIRC'99, pp.21-23, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-00011207
ASPRO : a toy demo, th AciD Workshop, pp.31-32, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-01381240
Fred: an architecture for a self-timed decoupled computer, Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.60-68, 1996. ,
DOI : 10.1109/ASYNC.1996.494438
A Functionally Asynchronous Array-Processor for Morphological Filtering of Greyscale Images, IEE Computers and Digital Techniques, special section on Asynchronous Architecture, vol.143, issue.5, 1996. ,
Etude d'architectures VLSI numériques parallèles et asynchrones pour la mise en oeuvre de nouveaux algorithmes d'analyse et rendu d'images, Thèse de doctorat de l'ENST Paris, spécialité Electronique et Communications, 1997. ,
Un réseau cellulaire VLSI fonctionnellement asynchrone pour le filtrage morphologique d'images, Traitement du Signal, numéro spécial, vol.14, issue.6, pp.655-664, 1997. ,
Q-modules: internally clocked delay-insensitive modules, IEEE Transactions on Computers, vol.37, issue.9, pp.1005-1018, 1988. ,
DOI : 10.1109/12.2252
optimization of CMOS arbiter and synchronizer circuit with submicrometer MOSFET'S, IEEE journal of solid-state circuits, vol.23, issue.24, pp.901-906, 1991. ,
Delay insensitive multi-ring structures, Integration, the VLSI journal, pp.313-340, 1993. ,
Design of self timed multipliers : a comparaison, IFIP Working conférence on asynchronous design methodologies, 1993. ,
The Counterfow Pipeline Processor Architecture, IEEE Design and Test of Computers, pp.48-59, 1994. ,
Relative timing, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.208-218, 1999. ,
DOI : 10.1109/ASYNC.1999.761535
Micropipelines, Communication of the ACM, vol.32, p.6, 1989. ,
OO-VHDL. Object-oriented extensions to VHDL, Computer, vol.28, issue.10, pp.18-26, 1995. ,
DOI : 10.1109/2.467587
TITAC-2: an asynchronous 32-bit microprocessor based on scalable-delay-insensitive model, Proceedings International Conference on Computer Design VLSI in Computers and Processors, pp.288-294, 1997. ,
DOI : 10.1109/ICCD.1997.628881
The design of an asynchronous VHDL Synthetizer, pp.44-51, 1998. ,
DDMP's : Self-Timed Super-Pipelined Data- Driven Multimedia ProcessorsA 100 MIPS GaAs asynchronous microprocessor, Proceedings of the IEEE, pp.282-296, 1994. ,
Adéquation Arithmétique Architecture : Problèmes et études de cas, Thèse Ecole Normale Supérieure de Lyon, 1997. ,
Self-timed Control of Concurrent Processes, 1986. ,
Self timed rings and their application to division ,
Performance of iterative computation in self-timed rings, J. VLSI Signal Processing, pp.17-31, 1994. ,
DOI : 10.1007/BF02108187
On the Time Required to Perform Addition, Journal of the ACM, vol.12, issue.2, pp.277-285, 1965. ,
DOI : 10.1145/321264.321279
Automatic synthesis of 3D asynchronous state machines, IEEE/ACM International Conference on Computer-Aided Design, pp.576-580, 1992. ,
DOI : 10.1109/ICCAD.1992.279310
High Performance Asynchronous Pipeline, International Symposium on Advanced Research in Asynchronous Circuits and Systems", ASYNC'96, pp.17-28, 1996. ,
Balanced delay trees and combinatorial division in VLSI, IEEE Journal of Solid-State Circuits, vol.21, issue.5, pp.814-819, 1986. ,
DOI : 10.1109/JSSC.1986.1052612