@COMMENT{BibTeX database file, for use with LaTeX/BibTeX} @COMMENT{ database : asynchronous } @COMMENT{ e-mail : async-bib@win.tue.nl } @COMMENT{ Ad Peeters } @COMMENT{ Dept. of Math. and Comp. Sc. } @COMMENT{ Eindhoven University of Technology } @COMMENT{ P.O. Box 513, 5600 MB Eindhoven } @COMMENT{ The Netherlands } @PREAMBLE{"\newcommand{\noopsort}[1]{}"} @COMMENT{ Predefined journals } @STRING{cacm = "Communications of the ACM"} @STRING{dc = "Distributed Computing"} @STRING{eatcs= "Bull. EATCS"} @STRING{el = "Electronics Letters"} @STRING{fmsd = "Formal Methods in System Design"} @STRING{ieepte = "IEE Proceedings, Part E, Computers and Digital Techniques"} @STRING{ieeedt = "IEEE Design \& Test of Computers"} @STRING{ieeejssc= "IEEE Journal of Solid-State Circuits"} @STRING{ieeeproc= "Proceedings of the IEEE"} @STRING{ieeetc = "IEEE Transactions on Computers"} @STRING{ieeetcad= "IEEE Transactions on Computer-Aided Design"} @STRING{ieeetec = "IEEE Transactions on Electronic Computers"} @STRING{ieeetsp = "IEEE Transactions on Signal Processing"} @STRING{ieeevlsi= "IEEE Transactions on VLSI Systems"} @STRING{integration= "Integration, the VLSI journal"} @STRING{ije = "Int. Journal Electronics"} @STRING{ipl = "Information Processing Letters"} @STRING{jacm = "Journal of the ACM"} @STRING{jetta= "Journal of Electronic Testing: Theory and Applications"} @STRING{jcss = "Journal of Computer and System Sciences"} @STRING{tcca = "IEEE Technical Committee on Computer Architecture Newsletter"} @STRING{tcs = "Theoretical Computer Science"} @STRING{vlsisp= "Journal of VLSI Signal Processing"} @COMMENT{ Predefined publishers } @STRING{ap = "Academic Press"} @STRING{aw = "Addison-Wesley"} @STRING{csp = "Computer Science Press"} @STRING{cwi = "CWI"} @STRING{esp = "Elsevier Science Publishers"} @STRING{icsp = "IEEE Computer Society Press"} @STRING{wiley= "John Wiley \& Sons"} @STRING{kap = "Kluwer Academic Publishers"} @STRING{mit = "MIT Press"} @STRING{ph = "Prentice-Hall"} @STRING{springer = "Springer-Verlag"} @COMMENT{ Predefined series } @STRING{caltech= "California Institute of Technology"} @STRING{csn = "Computing Science Notes"} @STRING{eut = "Dept. of Math. and C.S., Eindhoven Univ. of Technology"} @STRING{ifip = "IFIP Transactions"} @STRING{lncs = "Lecture Notes in Computer Science"} @STRING{mctracts= "Mathematical Centre Tracts"} @STRING{southbank= "School of Computing, Information Systems and Mathematics, South Bank University, London"} @STRING{su = "Stanford University"} @STRING{wic = "Workshops in Computing"} @COMMENT{ Predefined conference proceedings } @STRING{async = "Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems"} @STRING{adm = "Asynchronous Design Methodologies"} @STRING{cav = "Proc. International Workshop on Computer Aided Verification"} @STRING{dac = "Proc. ACM/IEEE Design Automation Conference"} @STRING{edac = "Proc. European Conference on Design Automation (EDAC)"} @STRING{edtc = "Proc. European Design and Test Conference (EDAC-ETC-EuroASIC)"} @STRING{eurodac="Proc. European Design Automation Conference (EURO-DAC)"} @STRING{hicss = "Proc. Hawaii International Conf. System Sciences"} @STRING{iccad = "Proc. International Conf. Computer-Aided Design (ICCAD)"} @STRING{iccd = "Proc. International Conf. Computer Design (ICCD)"} @STRING{icpp = "Proc. International Conference on Parallel Processing"} @STRING{iscas = "Proc. International Symposium on Circuits and Systems"} @STRING{ishls = "Proc. International Symposium on High-Level Synthesis"} @STRING{isscc = "International Solid State Circuits Conference"} @STRING{itc = "Proc. International Test Conference"} @STRING{iwls = "Proc. International Workshop on Logic Synthesis"} @STRING{midwest="Proceedings of the Midwest Symposium on Circuits and Systems"} @STRING{patmos= "PATMOS"} @STRING{ssat = "Annual Symposium on Switching and Automata Theory"} @STRING{ta = "(To appear)"} @MISC{async-bib, author = "Ad Peeters", title = "{T}he {A}synchronous {B}ibliography", howpublished= "Available for anonymous ftp on Internet. Uniform Resource Locator (URL) {\tt ftp://ftp.win.tue.nl/pub/tex/async.bib.Z}", note = "Corresponding e-mail address: {\tt async-bib@win.tue.nl}" } @INPROCEEDINGS{Acosta95, author = "A. J. Acosta and M. Bellido and M. Valencia and A. Barriga and R. Jim\'enez and J. L. Huertas", title = "New {CMOS VLSI} Linear Self-Timed Architectures", pages = "14--23", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Adams94, author = "Robert Adams and Tom Kwan", title = "A Stereo Asynchronous Digital Sample-Rate Converter for Digital Audio", pages = "481--488", journal= ieeejssc, volume = 29, number = 4, month = apr, year = 1994 } @ARTICLE{Afghahi92, author = "Morteza Afghahi and Christer Svensson", title = "Performance of Synchronous and Asynchronous Schemes for {VLSI} Systems", pages = "858--872", journal= ieeetc, volume = 41, number = 7, month = jul, year = 1992 } @INPROCEEDINGS{Aghdasi91, author = "Farhad Aghdasi", title = "Pass-Transistor Self-Clocked Asynchronous Sequential Circuits", booktitle= "Proceedings of {VLSI} 91", pages = "9.1.1--9.1.9", year = 1991 } @ARTICLE{Aghdasi91a, author = "F. Aghdasi and M. Bolton", title = "Self-clocked Asynchronous Finite State Machine Design with {PAL22IP6} device", journal= "Microprocessors and Microsystems", month = feb, year = 1991 } @INPROCEEDINGS{Aghdasi91b, author = "Farhad Aghdasi", title = "Synthesis of asynchronous sequential machines for {VLSI} applications", booktitle= "International Conference on Concurrent Engineering and Electronic Design Automation (CEEDA)", pages = "55--59", month = mar, year = 1991 } @INPROCEEDINGS{Aghdasi92, author = "Farhad Aghdasi", title = "Asynchronous state machine synthesis using data driven clocks", pages = "9--14", booktitle= eurodac, address= "Hamburg, Germany", publisher= icsp, month = sep, year = 1992 } @PHDTHESIS{Akella92, author = "Venkatesh Akella", title = "An Integrated Framework for the Automatic Synthesis of Efficient Self-timed Circuits from Behavioral Specifications", school = "Department of Computer Science, University of Utah", year = 1992 } @INPROCEEDINGS{Akella92a, author = "V. Akella and G. Gopalakrishnan", title = "{SHILPA}: A High-Level Synthesis System for Self-Timed Circuits", pages = "587--591", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @INPROCEEDINGS{Angel94, author = "A. de Angel and E. Swartzlander Jr.", title = "A new asynchronous multiplier using enable/disable {CMOS} differential logic", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @ARTICLE{Anonymous73, author = "Anonymous", title = "Science and the citizen", journal= "Scientific American", volume = 228, pages = "43--44", year = 1973 } @INPROCEEDINGS{Antognetti92, author = "P. Antognetti and P. Danielli and A. De Gloria and P. Faraboschi and M. Olivieri", title = "A standard cell set for delay-insensitive {VLSI} design", booktitle= "ASIC 92", year = 1992 } @ARTICLE{Appleton95, author = "Sam S. Appleton and Shannon V. Morton and Michael J. Liebelt", title = "The Design of a Fast Asynchronous Microprocessor", journal= tcca, month = oct, year = 1995 } @ARTICLE{Armstrong68, author = "D. B. Armstrong and A. D. Friedman and P. R. Menon", title = "Realization of Asynchronous Sequential Circuits Without Inserted Delay Elements", journal= ieeetc, volume = "C-17", number = 2, pages = "129--134", month = feb, year = 1968 } @ARTICLE{Armstrong69, author = "Douglas B. Armstrong and Arthur D. Friedman and Premachandran R. Menon", title = "Design of Asynchronous Circuits Assuming Unbounded Gate Delays", journal= ieeetc, volume = "C-18", number = 12, pages = "1110--1120", month = dec, year = 1969 } @INPROCEEDINGS{Arvind95, author = "D. K. Arvind and R. D. Mullins and V. E. F. Rebello", title = "Micronets: A Model for Decentralising Control in Asynchronous Processor Architectures", pages = "190--199", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Arvind96, author = "D. K. Arvind and V. E. Rebello", title = "Optimisation of Instruction Schedules for Micronet-based Asynchronous Processors", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Arya86, author = "P. Arya and E. H. Frank", title = "The Design and Implementation of a {VLSI} Multiplier Generator", booktitle= "The Fifth Australian and Pacific Region Microelectronics Conference", year = 1986 } @INPROCEEDINGS{Asada87, author = "Katsuhiko Asada and Hiroaki Terada", title = "Hardware structure of a one-chip data-driven processor: {Q-p}", booktitle= icpp, editor = "Sartaj K. Sahni", pages = "327--329", month = aug, year = 1987 } @INPROCEEDINGS{Ashkinazy70, author = "Aaron Ashkinazy", title = "Fault detection experiments for asynchronous sequential machines", pages = "88--96", booktitle= ssat, publisher= icsp, year = 1970 } @INPROCEEDINGS{Ashkinazy94, author = "Aaron Ashkinazy and Doug Edwards and Craig Farnsworth and Gary Gendel and Shiv Sikand", title = "Tools for Validating Asynchronous Digital Circuits", pages = "12--21", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Aumann95, author = "O. Aumann and H.-J. Pfleiderer", title = "Design of Self-Timed Pieplined Architectures Using {Petri} Nets", booktitle= patmos, month = oct, year = 1995 } @INPROCEEDINGS{Baake95, author = "U. Baake and S. A. Huss", title = "Logic Reduction in Timed Asynchronous Circuits", booktitle= iscas, pages = "1223--1226", year = 1995 } @INPROCEEDINGS{Back95, author = "R.-J. R. Back and A.J. Martin and K. Sere", title = "An action system specification of the {C}altech asynchronous microprocessor", booktitle= "Third International Conference on the Mathematics of Program Construction", series = lncs, publisher= springer, month = jul, year = 1995 } @INPROCEEDINGS{Badia93, author = "Rosa M. Badia and Jordi Cortadella", title = "High-Level Synthesis of Asynchronous Systems: Scheduling and Process Synchronization", pages = "70--74", booktitle= edac, publisher= icsp, month = feb, year = 1993 } @TECHREPORT{Baeten88, author = "Baeten, J. C. M. and Vaandrager, F. W.", title = "Specification and Verification of a Circuit in {ACP} (revised version)", type = "Report", number = "P8821", institution= "University of Amsterdam, Programming Research Group", month = oct, year = 1988 } @BOOK{Baeten90, author = "J. C. M. Baeten", title = "Applications of Process Algebra", publisher= "Cambridge University Press", year = 1990 } @INPROCEEDINGS{Bailey93, author = "Andrew Bailey", title = "Automatic Verification of Speed-Independent Circuit Designs Using the Circal System", pages = "167--178", booktitle= "Correct Hardware Design and Verification Methods (CHARME '93)", publisher= springer, series = lncs, volume = 683, month = may, year = 1993 } @ARTICLE{Bailey94, author = "Andrew Bailey and George A. McCaskill and George J. Milne", title = "An Exercise in the Authomatic Verification of Asynchronous Designs", journal= fmsd, volume = 4, pages = "213--242", year = 1994 } @INPROCEEDINGS{Bailey95, author = "Andrew Bailey and Mark Josephs", title = "Sequencer Circuits for {VLSI} Programming", pages = "82--90", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Banerjee94, author = "S. Banerjee and R. K. Roy and S. T. Chakradhar and D. K. Pradhan", title = "Signal transition graph transformations for initializability", booktitle= edac, year = 1994 } @INPROCEEDINGS{Banerjee94a, author = "S. Banerjee and R. K. Roy and S. T. Chakradhar and D. J. Pradhan", title = "Circuit Initialization Issues in Asynchronous Synthesis", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @ARTICLE{Barros83, author = "Jos\'e C. Barros and Brian W. Johnson", title = "Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay", pages = "603--614", journal= ieeetc, volume = 32, number = 7, month = jul, year = 1983 } @PHDTHESIS{Bednarczyk87, author = "Bednarczyk, Marek A.", title = "Categories of Asynchronous Systems", school = "University of Sussex", month = oct, year = 1987 } @INPROCEEDINGS{Beerel91, author = "Beerel, Peter and Meng, Teresa", title = "Semi-Modularity and Self-Diagnostic Asynchronous Control Circuits", pages = "103--117", booktitle="Advanced Research in {VLSI}: Proceedings of the 1991 {UC} {S}anta {C}ruz Conference", editor = "S\'equin, Carlo H.", publisher= mit, month = mar, year = 1991 } @INPROCEEDINGS{Beerel91a, author = "Peter A. Beerel and Teresa H.-Y. Meng", title = "Testability of Asynchronous Self-Timed Control Circuits with Delay Assumptions", key = "testing", booktitle= dac, pages = "446--451", publisher= icsp, month = jun, year = 1991 } @ARTICLE{Beerel92, author = "Beerel, P.A. and Meng, T.H.-Y.", title = "Semi-modularity and Testability of Speed-Independent Circuits", key = "testing", pages = "301--322", journal= integration, volume = 13, number = 3, month = sep, year = 1992 } @INPROCEEDINGS{Beerel92a, author = "P. Beerel and T.H.-Y. Meng", title = "Automatic Gate-Level Synthesis of Speed-Independent Circuits", pages = "581--587", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @INPROCEEDINGS{Beerel92b, author = "Peter A. Beerel and Teresa H.-Y. Meng", title = "Gate-Level Synthesis of Speed-Independent Asynchronous Control Circuits", booktitle= "Proceedings of ACM TAU 1992", note = "Participant's proceedings", month = mar, year = 1992 } @INPROCEEDINGS{Beerel93, author = "Peter A. Beerel and Teresa H.-Y. Meng", title = "Logic Transformations and Observability Don't Cares in Speed-Independent Circuits", booktitle= "Proceedings of TAU 1993", note = "Participant's proceedings", month = sep, year = 1993 } @INPROCEEDINGS{Beerel93a, author = "Peter A. Beerel and Teresa H.-Y. Meng and Jerry Burch", title = "Efficient Verification of Determinate Speed-Independent Circuits", booktitle= iccad, pages = "261--267", publisher= icsp, month = nov, year = 1993 } @INPROCEEDINGS{Beerel94, author = "Peter A. Beerel and Jerry R. Burch and Teresa H.-Y. Meng", title = "Sufficient Conditions for Correct Gate-Level Speed-Independent Circuits", pages = "33--43", booktitle= async, month = nov, year = 1994 } @PHDTHESIS{Beerel94a, author = "Peter A. Beerel", title = "{CAD} Tools for the Synthesis, Verification, and Testability of Robust Asynchronous Circuits", school = su, year = 1994 } @TECHREPORT{Beerel94b, author = "Peter A. Beerel and Chris J. Myers and Teresa H.-Y. Meng", title = "Automatic synthesis of gate-level speed-independent circuits", number = "CSL-TR-94-648", institution= su, month = nov, year = 1994 } @INPROCEEDINGS{Beerel95, author = "P. A. Beerel and C.-T. Hsieh and S. Wadekar", title = "Estimation of energy consumption in speed-independent control circuits", booktitle= "International Symposium on Low-Power Design", year = 1995 } @INPROCEEDINGS{Beerel95a, author = "Peter A. Beerel and Kenneth Y. Yun and Steven M. Nowick and Pei-Chuan Yeh", title = "Estimation and Bounding of Energy Consumption in Burst-Mode Control Circuits", booktitle= iccad, publisher= icsp, year = 1995 } @INPROCEEDINGS{Beerel96, author = "P. A. Beerel and K. Y. Yun and W. C. Chou", title = "Optimizing average-case delay in technology mapping of burst-mode circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Belhadj93, author = "H. Belhadj and G. Saucier and M. Yoeli", title = "From Trace Graphs to Modular Delay-Insensitive Circuits", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Benko94, author = "Igor Benko and Jo Ebergen", title = "Delay-Insensitive Solutions to the Committee Problem", pages = "228--237", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Bergstra85, author = "Bergstra, J. A. and Klop, J. W. and Tucker, J. V.", title = "Process Algebra with Asynchronous Communication Mechanisms", booktitle= "Seminar on Concurrency", editor = "Winskel, G.", series = lncs, volume = 197, pages = "76--95", publisher= springer, year = 1985 } @INPROCEEDINGS{Berkel88, author = "van Berkel, C. H. (Kees) and Niessen, Cees and Rem, Martin and Saeijs, Ronald W. J. J.", title = "{VLSI} Programming and Silicon Compilation", booktitle= iccd, publisher= icsp, pages = "150--166", address= "Rye Brook, New York", year = 1988 } @INPROCEEDINGS{Berkel88a, author = "C. H. (Kees) van Berkel and Martin Rem and Ronald W. J. J. Saeijs", title = "{VLSI} Programming", booktitle= iccd, publisher= icsp, pages = "152--156", year = 1988 } @INPROCEEDINGS{Berkel88b, author = "C. H. (Kees) van Berkel and Ronald W. J. J. Saeijs", title = "Compilation of Communicating Processes into Delay-Insensitive Circuits", booktitle= iccd, publisher= icsp, pages = "157--162", year = 1988 } @INPROCEEDINGS{Berkel91, author = "van Berkel, Kees and Kessels, Joep and Roncken, Marly and Saeijs, Ronald and Schalij, Frits", title = "The {VLSI}-Programming Language {T}angram and Its Translation into Handshake Circuits", booktitle= edac, pages = "384--389", year = 1991 } @TECHREPORT{Berkel91a, author = "van Berkel, C. H.", title = "Beware the Isochronic Fork", institution= "Philips Research Lab., Eindhoven, The Netherlands", type = "Nat. Lab. Unclassified Report", number = "UR 003/91", year = 1991 } @PHDTHESIS{Berkel92, author = "van Berkel, Kees", title = "Handshake Circuits: An Intermediary between Communicating Processes and {VLSI}", school = "Eindhoven University of Technology", year = 1992 } @ARTICLE{Berkel92a, author = "van Berkel, Kees", title = "Beware the Isochronic Fork", journal= integration, volume = 13, number = 2, pages = "103--128", month = jun, year = 1992 } @INPROCEEDINGS{Berkel93a, author = "Kees van Berkel", title = "{VLSI} Programming of a Modulo-{N} Counter with Constant Response Time and Constant Power", pages = "1--11", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Berkel93b, author = "Kees van Berkel and Ronan Burgess and Joep Kessels and Marly Roncken and Frits Schalij", title = "Characterization and Evaluation of a Compiled Asynchronous {IC}", pages = "209--221", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @BOOK{Berkel93c, author = "Kees van Berkel", title = "Handshake Circuits: an Asynchronous Architecture for {VLSI} Programming", series = "International Series on Parallel Computation", volume = 5, publisher= "Cambridge University Press", year = 1993 } @INPROCEEDINGS{Berkel94, author = "Kees van Berkel and Ronan Burgess and Joep Kessels and Ad Peeters and Marly Roncken and Frits Schalij", title = "A Fully-Asynchronous Low-Power Error Corrector for the {DCC} Player", booktitle= isscc, pages = "88--89", month = feb, year = 1994 } @ARTICLE{Berkel94a, author = "Kees van Berkel and Ronan Burgess and Joep Kessels and Ad Peeters and Marly Roncken and Frits Schalij", title = "Asynchronous Circuits for Low Power: A {DCC} Error Corrector", journal= ieeedt, volume = 11, number = 2, pages = "22--32", month = "Summer", year = 1994 } @ARTICLE{Berkel94b, author = "Kees van Berkel and Ronan Burgess and Joep Kessels and Ad Peeters and Marly Roncken and Frits Schalij", title = "A Fully-Asynchronous Low-Power Error Corrector for the {DCC} Player", journal= ieeejssc, volume = 29, number = 12, pages = "1429--1439", month = dec, year = 1994 } @INPROCEEDINGS{Berkel95, author = "Kees van Berkel and Martin Rem", title = "{VLSI} Programming of Asynchronous Circuits for Low Power", pages = "152--210", editor = "Graham Birtwistle and Al Davis", booktitle= "Asynchronous Digital Circuit Design", publisher= springer, series = wic, year = 1995 } @INPROCEEDINGS{Berkel95a, author = "Kees van Berkel and Ronan Burgess and Joep Kessels and Ad Peeters and Marly Roncken and Frits Schalij and Rik van de Wiel", title = "A Single-Rail Re-implementation of a {DCC} Error Detector Using a Generic Standard-Cell Library", pages = "72--79", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Berkel95b, author = "Kees van Berkel and Ferry Huberts and Ad Peeters", title = "Stretching Quasi Delay Insensitivity by Means of Extended Isochronic Forks", pages = "99--106", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Berkel96, author = "Kees van Berkel and Arjan Bink", title = "Single-Track Handshaking Signaling with Application to Micropipelines and Handshake Circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Berthet88a, author = "Berthet, Christian and Cerny, Eduard", title = "Synthesis of Speed-Independent Circuits Using Set-Memory Elements", booktitle= "Proc. Int'l. Workshop Logic and Arch. Synthesis for Silicon Compilers", editor = "Saucier, G.", address= "Grenoble, France", month = may, year = 1988 } @ARTICLE{Berthet88b, author = "Berthet, Christian and Cerny, Eduard", title = "An Algebraic Model for Asynchronous Circuits Verification", journal= ieeetc, volume = 37, number = 7, pages = "835--847", month = jul, year = 1988 } @INCOLLECTION{Berthet88c, author = "Berthet, Christian and Cerny, Eduard", title = "Verification of Asynchronous Circuits: Behaviors, Constraints and Specification", booktitle="{VLSI} Specification, Verification and Synthesis", publisher= kap, editor = "G. Birtwistle and P.A. Subrahmanyam", chapter= 13, pages = "387--404", year = 1988 } @INPROCEEDINGS{Berthet88d, author = "Berthet, Christian and Cerny, Eduard", title = "Synthesis of speed-independent circuits from algebraic specifications", booktitle= iscas, volume = 2, pages = "1869--1872", year = 1988 } @INPROCEEDINGS{Bickford94, author = "Mark Bickford", title = "Composable Specifications for Asynchronous Systems using {UNITY}", pages = "216--227", booktitle= async, month = nov, year = 1994 } @TECHREPORT{Bisseling90, author = "Bisseling, Hans and Eemers, Henk and Kamps, Michiel and Peeters, Ad", title = "Designing Delay-Insensitive Circuits", institution="IVO, Eindhoven University of Technology", month = sep, year = 1990 } @ARTICLE{Black86, author = "David L. Black", title = "On the Existence of Delay-Insensitive Fair Arbiters: Trace Theory and its Limitations", journal= dc, volume = 1, pages = "205--225", year = 1986 } @TECHREPORT{Black94, author = "Robert D. Black", title = "Towards a Dynamical Systems Approach to Asynchronous Circuit Design", institution= "Dept. of Comp. Sc., Univ. of Waterloo", month = apr, year = 1994 } @ARTICLE{Bochmann79, author = "Bochmann, Gregor v.", title = "Distributed Synchronization and Regularity", journal= "Computer Networks", volume = 3, pages = "36--43", year = 1979 } @ARTICLE{Bochmann88, author = "Bochmann, Gregor v.", title = "Delay-Independent Design for Distributed Systems", journal= ieeese, volume = "SE-14", number = 8, pages = "1229--1237", month = aug, year = 1988 } @INPROCEEDINGS{Borriello89, author = "Gaetano Borriello", title = "Synthesis of mixed synchronous/asynchronous control logic", booktitle= iscas, volume = 2, pages = "762--765", year = 1989 } @INCOLLECTION{Brockett89, author = "Brockett, R. W.", title = "Smooth Dynamical Systems which Realize Arithmetical and Logical Operations", booktitle="Three Decades of Mathematical Systems Theory: A Collection of Surveys at the Occasion of the 50th Birthday of {J}. {C}. {W}illems", editor = "Nijmeijer, Hendrik and Schumacher, Johannes M.", series = "Lecture Notes in Control and Information Sciences", volume = 135, pages = "19--30", publisher= springer, year = 1989 } @INPROCEEDINGS{Brown90, author = "Geoffrey M. Brown", title = "Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras", pages = "120--131", editor = "Geraint Jones and Mary Sheeran", booktitle="Proceedings of the Workshop on Designing Correct Circuits", publisher= springer, year = 1990 } @INPROCEEDINGS{Brown94, author = "Geoffrey Brown and Wayne Luk and John O'Leary", title = "Retargeting a Hardware Compiler Proof Using Protocol Converters", booktitle= async, pages = "54--63", month = nov, year = 1994 } @ARTICLE{Browne86, author = "Michael C. Browne and Edmund M. Clarke and David L. Dill and Bud Mishra", title = "Automatic Verification of Sequential Circuits using Temporal Logic", pages = "1035--1044", journal= ieeetc, volume = 35, number = 12, month = dec, year = 1986 } @INPROCEEDINGS{Bruna69, author = "J. Bruna and S. M. Altman", title = "Asynchronous Control Networks", pages = "61--73", booktitle= ssat, year = 1969 } @ARTICLE{Bruna71, author = "John Bruna and Stanley M. Altman", title = "A theory of asynchronous control networks", pages = "629--638", journal= ieeetc, volume = 20, number = 6, month = jun, year = 1971 } @TECHREPORT{Brunvand87, author = "Erik Brunvand", title = "{Parts-R-Us}: {A} chip aparts...", institution= "Carnegie Mellon University", number = "CMU-CS-87-119", month = may, year = 1987 } @INPROCEEDINGS{Brunvand89, author = "Brunvand, Erik and Sproull, Robert F.", title = "Translating Concurrent Programs into Delay-Insensitive Circuits", booktitle= iccad, publisher= icsp, pages = "262--265", month = nov, year = 1989 } @INPROCEEDINGS{Brunvand91, author = "E. K. Brunvand and M. Starkey", title = "An Integrated Environment for the Design and Simulation of Self Timed Systems", editor = "A. Halaas and P. B. Denyer", booktitle= "VLSI 91", organisation= "IFIP", pages = "4a.2", month = aug, year = 1991 } @TECHREPORT{Brunvand91a, author = "Brunvand, Erik", title = "A Cell Set for Self-Timed Design using {A}ctel {FPGA}s", institution= "Dept. of Comp. Science, Univ. of Utah, Salt Lake City", number = "UUCS-91-013", month = aug, year = 1991 } @PHDTHESIS{Brunvand91b, author = "Brunvand, Erik", title = "Translating Concurrent Communicating Programs into Asynchronous Circuits", school = "Carnegie Mellon University", number = "CMU-CS-91-198", year = 1991 } @INPROCEEDINGS{Brunvand91c, author = "Erik Brunvand", title = "Implementing Self-Timed Systems with {FPGA}s", booktitle= "FPGAs", pages = "312--323", editor = "W. R. Moore and W. Luk", chapter= "6.2", publisher="Abingdon EE \& CS Books", year = 1991 } @INPROCEEDINGS{Brunvand92, author = "E. Brunvand and M. Michell and K. Smith", title = "A Comparison of Self-Timed Design using {FPGA}, {CMOS}, and {GaAs} Technologies", pages = "76--80", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Brunvand93, author = "Erik Brunvand", title = "The {NSR} Processor", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @ARTICLE{Brunvand93a, author = "Erik Brunvand", title = "Using {FPGAs} to Implement Self-Timed Systems", pages = "173--190", journal= vlsisp, volume = 6, number = 2, month = jun, year = 1993 } @ARTICLE{Brunvand94, author = "Erik Brunvand", title = "Designing Self-Timed Systems using Concurrent Programs", pages = "47--59", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @ARTICLE{Brzozowski68, author = "J.A. Brzozowski and S. Singh", title = "Definite Asynchronous Sequential Circuits", journal= ieeetc, volume = "C-17", number = 1, pages = "18--26", month = jan, year = 1968 } @ARTICLE{Brzozowski76, author = "J.A. Brzozowski and M. Yoeli", title = "Practical Approach to Asynchronous Gate Networks", journal= "IEE Proceedings", volume = 123, number = 6, pages = "495--498", month = jun, year = 1976 } @ARTICLE{Brzozowski79, author = "J.A. Brzozowski and M. Yoeli", title = "On a Ternary Model of Gate Networks", journal= ieeetc, volume = "C-28", number = 3, pages = "178--184", month = mar, year = 1979 } @INPROCEEDINGS{Brzozowski86, author = "Brzozowski, J. A.", title = "Detection of Timing Problems in {VLSI} Circuits", pages = "7--18", booktitle="Congressus Numerantium, Vol. 56", note = "Conference held in Winnipeg, Manitoba, October 1986", year = 1986 } @TECHREPORT{Brzozowski87a, author = "Brzozowski, J. A. and Seger, C.-J.", title = "A Unified Theory of Asynchronous Networks", type = "Research Report", number = "CS-87-24", institution= "Computer Science Dept., Univ. of Waterloo, Cananda", month = mar, year = 1987 } @ARTICLE{Brzozowski87b, author = "Brzozowski, J. A. and Seger, C.-J.", title = "A Characterization of Ternary Simulation of Gate Networks", journal= ieeetc, volume = " C-36", number = 11, pages = "1318--1327", month = nov, year = 1987 } @INPROCEEDINGS{Brzozowski89a, author = "Brzozowski, J. A. and Ebergen, J. C.", title = "Recent Developments in the Design of Asynchronous Circuits", pages = "78--94", booktitle= "Fundamentals of Computation Theory, {FCT}'89", editor = "Csirik, J. and Demetrovics, J. and G\'ecseg, F.", address= "FCT'89, Szeged, Hungary", series = lncs, volume = 380, publisher= springer, year = 1989 } @ARTICLE{Brzozowski89, author = "Brzozowski, J. A. and Seger, C.-J.", title = "A Unified Framework for Race Analysis of Asynchronous Networks", journal= jacm, volume = 36, number = 1, pages = "20--45", month = jan, year = 1989 } @ARTICLE{Brzozowski90, author = "Brzozowski, J. A. and Seger, C.-J. H.", title = "Advances in Asynchronous Circuit Theory; Part {I}: Gate and Unbounded Inertial Delay Models", journal= eatcs, number = 42, pages = "198--249", month = oct, year = 1990 } @ARTICLE{Brzozowski91, author = "Brzozowski, J. A. and Seger, C.-J. H.", title = "Advances in Asynchronous Circuit Theory; Part {II}: Bounded Inertial Delay Models, {MOS} Circuit Design Techniques", journal= eatcs, number = 43, pages = "199--263", month = feb, year = 1991 } @ARTICLE{Brzozowski92, author = "Janusz A. Brzozowski and Jo C. Ebergen", title = "On the Delay-Sensitivity of Gate Networks", journal= ieeetc, pages = "1349--1360", volume = 41, number = 11, month = nov, year = 1992 } @BOOK{Brzozowski95, author = "Brzozowski, Janusz A. and Seger, Carl-Johan H.", title = "Asynchronous Circuits", publisher=springer, year = 1995 } @INPROCEEDINGS{Brzozowski95a, author = "J. A. Brzozowski and K. Raahemifar", title = "Testing {C}-Elements Is Not Elementary", pages = "150--159", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Budde94, author = "Wolfgang O. Budde and Hans-Georg Keller and Hans-Jurgen Reumerman and Paul van de Wiel", title = "An Asynchronous, High-Speed Packet Switching Component", journal= ieeedt, volume = 11, number = 2, pages = "33--42", year = 1994 } @INPROCEEDINGS{Burch90, author = "Jerry R. Burch", title = "Verifying Liveness Properties by Verifying Safety Properties", pages = "224--232", editor = "Robert P. Kurshan and Edmund M. Clarke", booktitle= cav, series = lncs, volume = 531, publisher= springer, year = 1990 } @INPROCEEDINGS{Burch92, author = "Jerry R. Burch", title = "Delay models for verifying speed-dependent asynchronous circuits", booktitle= "{ACM} Int. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems", month = mar, year = 1992 } @INPROCEEDINGS{Burch92a, author = "Jerry R. Burch", title = "Delay Models for Verifying Speed-Dependent Asynchronous Circuits", pages = "270--274", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Burns88a, author = "Burns, Steven M. and Martin, Alain J.", title = "Syntax-directed Translation of Concurrent Programs into Self-timed Circuits", booktitle="Proceedings of the Fifth {MIT} Conference on Advanced Research in {VLSI}", editor = "J. Allen and F. Leighton", pages = "35--50", publisher= mit, year = 1988 } @INPROCEEDINGS{Burns88b, author = "Burns, Steven M. and Martin, Alain J.", title = "Synthesis of Self-Timed Circuits by Program Transformation", booktitle="The Fusion of Hardware Design and Verification", editor = "Milne, G. J.", pages = "99--116", publisher= esp, year = 1988 } @PHDTHESIS{Burns91, author = "Burns, Steven M.", title = "Performance Analysis and Optimization of Asynchronous Circuits", school = caltech, number = "CS-TR-91-01", year = 1991 } @INPROCEEDINGS{Burns91a, author = "Burns, Steven M. and Martin, Alain J.", title = "Performance Analysis and Optimization of Asynchronous Circuits", pages = "71--86", booktitle="Advanced Research in {VLSI}: Proceedings of the 1991 {UC} {S}anta {C}ruz Conference", editor = "S\'equin, Carlo H.", publisher= mit, year = 1991 } @INPROCEEDINGS{Burns96, author = "S. M. Burns", title = "General Condition for the Decomposition of State Holding Elements", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Bush96, author = "M. E. Bush and M. B. Josephs", title = "Some limitations to speed-independence in asynchronous circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @ARTICLE{Calvo86, author = "Calvo, J. and Acha, J. I. and Valencia, M.", title = "Asynchronous Modular Arbiter", pages = "67--70", journal= ieeetc, volume = 35, number = 1, month = jan, year = 1986 } @INPROCEEDINGS{Camposano93, author = "R. Camposano and S. Devadas and K. Keutzer and S. Malik and A. Wang", title = "Implicit Enumeration Techniques Applied to Asynchronous Circuit Verification", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @ARTICLE{Carson90, author = "Gerald Carson and Geatano Borriello", title = "A Testable {CMOS} Asynchronous Counter", key = "testing", pages = "952--960", journal= ieeejssc, volume = 25, number = 4, month = aug, year = 1990 } @ARTICLE{Catt66, author = "I. Catt", title = "Time Loss Through Gating of Asynchronous Logic Signal Pulses", journal= ieeetec, volume = "EC-15", pages = "108--111", month = feb, year = 1966 } @INPROCEEDINGS{Chakradhar94, author = "S. T. Chakradhar and S. Banerjee and R. K. Roy and D. K. Pradhan", title = "Synthesis of Initializable Asynchronous Circuits", booktitle= "VLSI Design 94: Seventh International Conference on VLSI Design", publisher= icsp, month = jan, year = 1994 } @ARTICLE{Chaney73, author = "Chaney, T. J. and Molnar, C. E.", title = "Anomalous Behavior of Synchronizer and Arbiter Circuits", journal= ieeetc, volume = "C-22", number = 4, pages = "421--422", month = apr, year = 1973 } @ARTICLE{Chang95, author = "Chih-Ming Chang and Shih-Lien Lu", title = "Design of a Static {MIMD} Data Flow Processor Using Micropipelines", journal= ieeevlsi, pages = "370--378", volume = 3, number = 3, month = sep, year = 1995 } @ARTICLE{Chang95a, author = "Chih-Ming Chang and Shih-Lien Lu", title = "Performance Issues on Micropipelines", journal= tcca, month = oct, year = 1995 } @PHDTHESIS{Chapiro84, author = "Daniel M. Chapiro", title = "Globally-Asynchronous Locally-Synchronous Systems", school = "Stanford University", month = oct, year = 1984 } @ARTICLE{Chappell91, author = "Terry I. Chappell and Barbara A. Chappell and Stanley E. Schuster and J.W. Allan and S.P. Klepner and R.V. Joshi and R.L. Franch", title = "A 2-ns Cycle, 3.8-ns Access 512-kb {CMOS ECL SRAM} with a Fully Pipelined Architecture", pages = "1577--1585", journal= ieeejssc, volume = 26, number = 11, month = nov, year = 1991 } @INPROCEEDINGS{Chen89, author = "Chen, Wei and Udding, Jan Tijmen and Verhoeff, Tom", title = "Networks of Communicating Processes and Their (De)-Composition", booktitle= "The Mathematics of Program Construction", editor = "Jan L. A. van de Snepscheut", series = lncs, volume = 375, pages = "174--196", publisher= springer, year = 1989 } @ARTICLE{Chiang90, author = "Jen-Shiun Chiang and Damu Radhakrishnan", title = "Hazard-free Design of Mixed Operating Mode Asynchronous Sequential Circuits", journal= ije, volume = 68, number = 1, pages = "23--37", year = 1990 } @INPROCEEDINGS{Chien95, author = "Chia-Hsing Chien and Mark A. Franklin and Tienyo Pan and Prithvi Prabhu", title = "{ARAS}: Asynchronous {RISC} Architecture Simulator", pages = "210--219", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Cho91, author = "Kyoung-Rok Cho and Kunihiro Asada", title = "{VLSI} Oriented Design Method of Asynchronous Sequential Circuits based on One-hot State Code and Two-transistor {AND} Logic", booktitle= iscas, volume = 3, pages = "1793--1796", year = 1991 } @INPROCEEDINGS{Cho92, author = "Kyoung-Rok Cho and Kazuma Okura and Kunihiro Asada", title = "Design of a 32-bit Fully Asynchronous Microprocessor ({FAM})", pages = "1500--1503", editor = "R. W. Newcomb and B. Geller and M. E. Zaghloul", booktitle= midwest, publisher= icsp, month = aug, year = 1992 } @INPROCEEDINGS{Choi94, author = "K. Choi and K. Lee and J-W. Kang", title = "A self-timed divider using {RSD} number system", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @INPROCEEDINGS{Christensen91, author = "Per Henrik Christensen and Henrik Hulgaard and J{\o}rgen Staunstrup", title = "Synthesis of Delay Insensitive Circuits from Verified Programs", booktitle= "Research directions in high-level parallel programming languages", editor = "J.-P. Banatre and D. Le Metayer", publisher= springer, series = lncs, volume = 574, pages = "326--337", year = 1992 } @INPROCEEDINGS{Chu85, author = "T.-A. Chu and C. K. C. Leung and T. S. Wanuga", title = "A Design Methodology for Concurrent {VLSI} Systems", pages = "407--410", booktitle= iccd, publisher= icsp, year = 1985 } @ARTICLE{Chu86, author = "Chu, Tam-Anh", title = "On the models for designing {VLSI} asynchronous digital circuits", journal= integration, volume = 4, number = 2, pages = "99--113", month = jun, year = 1986 } @INPROCEEDINGS{Chu86a, author = "Tam-Anh Chu and Clement K. C. Leung", title = "Design of {VLSI} Asynchronous {FIFO} Queues for Packet Communication Networks", booktitle= icpp, pages = "397--400", month = aug, year = 1986 } @INPROCEEDINGS{Chu86b, author = "T.-A. Chu and L. A. Glasser", title = "Synthesis of Self-timed Control Circuits form Graphs: An Example", pages = "565--571", booktitle= iccd, publisher= icsp, year = 1986 } @PHDTHESIS{Chu87, author = "Chu, Tam-Anh", title = "Synthesis of Self-Timed {VLSI} Circuits from Graph-Theoretic Specifications", school = "MIT Laboratory for Computer Science", number = "MIT/LCS/TR-393", month = jun, year = 1987 } @INPROCEEDINGS{Chu87a, author = "Chu, Tam-Anh", title = "Synthesis of Self-Timed {VLSI} Circuits from Graph-Theoretic Specifications", booktitle= iccd, publisher= icsp, pages = "220--223", year = 1987 } @INPROCEEDINGS{Chu92, author = "Tam-Anh Chu", title = "Automatic synthesis and verification of hazard-free control circuits from asynchronous finite state machine Specifications", pages = "407--413", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Chu93a, author = "Tam-Anh Chu and Narayana S. Mani", title = "{CLASS}: A {CAD} System for Automatic Synthesis and Verification of Asynchronous Finite State Machines", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Chu93b, author = "Tam-Anh Chu and Narayana S. Mani and Clement K. C. Leung", title = "An efficient critical race-free state assignment technique for asynchronous finite state machines", pages = "2--6", booktitle= dac, publisher= icsp, month = jun, year = 1993 } @INPROCEEDINGS{Chu93c, author = "Tam-Anh Chu", title = "On the specification and synthesis of hazard-free asynchronous control circuits", pages = "1495--1498", booktitle= iscas, publisher= icsp, volume = 3, year = 1993 } @ARTICLE{Chu93d, author = "Tam-Anh Chu and Narayana S. Mani", title = "{CLASS}: A {CAD} System for Automatic Synthesis and Verification of Asynchronous Finite State Machines", pages = "263--289", journal= integration, volume = 15, number = 3, month = oct, year = 1993 } @ARTICLE{Chu94, author = "Tam-Anh Chu", title = "Synthesis of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications", pages = "61--84", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @ARTICLE{Chuang69, author = "Chuang, Y. H.", title = "Transition Logic Circuits and a Synthesis Method", journal= ieeetc, volume = "C-18", number = 2, pages = "154--168", month = feb, year = 1969 } @INPROCEEDINGS{Chuang73, author = "Henry Y. H. Chuang and Santanu Das", title = "Multiple-Input Change Asynchronous Machines using Controlled Excitation and Flip-Flops", pages = "64--69", booktitle= ssat, publisher= icsp, year = 1973 } @ARTICLE{Chuang73a, author = "H. Y. H. Chuang and S. Das", title = "Synthesis of Multiple-Input Change Asynchronous Machines using Controlled Excitation and Flip-Flops", journal= ieeetc, volume = "C-22", number = 12, pages = "1103--1109", month = dec, year = 1973 } @ARTICLE{Chung93, author = "E.C.Y. Chung and L. Kleeman", title = "An Optimal Approach to Implementing Self-timed Logic Circuits from Signal Transition Graphs", journal= "Australian Telecommunications Research", pages = "41--56", volume = 27, number = 2, year = 1993 } @INPROCEEDINGS{Chung94, author = "Edwin C.Y. Chung and Lindsay Kleeman", title = "Metastable-robust Self-timed Circuit Synthesis from Live Safe Simple Signal Transition Graphs", pages = "97--105", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Clark67, author = "Clark, Wesley A.", title = "Macromodular Computer Systems", pages = "335--336", booktitle= "AFIPS Conference Proceedings: 1967 Spring Joint Computer Conference", address= "Atlantic City, NJ", volume = 30, publisher= ap, year = 1967 } @INCOLLECTION{Clark74, author = "Clark, Wesley A. and Molnar, Charles E.", title = "Macromodular Computer Systems", chapter= 3, pages = "45--85", booktitle= "Computers in Biomedical Research", volume = "IV", editor = "Stacy, Ralph W. and Waxman, Bruce D.", publisher= ap, year = 1974 } @ARTICLE{Coates93, author = "Bill Coates and Al Davis and Ken Stevens", title = "The {P}ost {O}ffice Experience: Designing a Large Asynchronous Chip", pages = "341--366", journal= integration, volume = 15, number = 3, month = oct, year = 1993 } @INPROCEEDINGS{Compton92, author = "J. Compton and A. Albicki", title = "Self-timed Pipeline with Adder", booktitle= "Proc. of the 2nd Great Lakes Symposium on VLSI", pages = "109--113", year = 1992 } @ARTICLE{Corsini75, author = "P. Corsini", title = "Self-synchronizing asynchronous arbiter", pages = "67--73", journal= "Digital Processes", volume = 1, year = 1975 } @ARTICLE{Corsini79, author = "P. Corsini", title = "Speed-independent asynchronous arbiter", pages = "221--222", journal= "IEE journal on Computers and Digital Techniques", volume = 2, number = 5, month = oct, year = 1979 } @INPROCEEDINGS{Cortadella92, author = "J. Cortadella and R. M. Badia", title = "An Asynchronous Architecture Model for Behavioral Synthesis", pages = "307--311", booktitle= edac, publisher= icsp, year = 1992 } @TECHREPORT{Cortadella93, author = "Jordi Cortadella and Mark Josephs", title = "Proceedings of the 3rd {ACiD-WG} Workshop (on Digital Signal Processing)", institution= "Polytechnic University of Catalonia, Barcelona", number = "UPC/DAC RR 93/24", month = sep, year = 1993 } @INPROCEEDINGS{Cortadella94, author = "Jordi Cortadella and Alexandre Yakovlev and Luciano Lavagano and Peter Vanbekbergen", title = "Designing Asynchronous Circuits from Behavioral Specifications with Internal Conflicts", pages = "106--115", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Cortadella96, author = "J. Cortadella and M. Kishinevsky and A. Kondratyev and L. Lavagno and A. Yakovlev", title = "Complete state encoding based on the theory of regions", booktitle= async, publisher= icsp, month = mar, year = 1996 } @ARTICLE{Couranz75, author = "G. R. Couranz and D. F. Wann", title = "Theoretical and experimental behavior of synchronizers operating in the metastable region", pages = "604--616", journal= ieeetc, volume = 24, number = 6, month = jun, year = 1975 } @INPROCEEDINGS{Cummings94, author = "Uri Cummings and Andrew Lines and Alain Martin", title = "An Asynchronous Pipelined Lattice Structure Filter", pages = "126--133", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Dally87, author = "Dally, William J. and Song, Paul", title = "Design of a Self-Timed {VLSI} Multicomputer Communication Controller", booktitle= iccd, publisher= icsp, pages = "230--234", year = 1987 } @ARTICLE{David77, author = "Ren\'e David", title = "Modular design of asynchronous circuits defined by graphs", pages = "727--737", journal= ieeetc, volume = 26, number = 8, month = aug, year = 1977 } @TECHREPORT{David89a, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "Self-Timed {FIFO} Buffer", number = "EE PUB No. 731", institution="Department of Electrical Engineering, Technion", month = oct, year = 1989 } @TECHREPORT{David89b, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "Self-Timed Reduced Instruction Set Computer", number = "EE PUB No. 732", institution="Department of Electrical Engineering, Technion", month = oct, year = 1989 } @ARTICLE{David89c, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "An Efficient Implementation of Boolean Functions and Finite State Machines as Self-Timed Circuits", journal= "ACM/Sigarch Computer Architecture News", month = dec, year = 1989 } @TECHREPORT{David90, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "Self-Timed is Self-Diagnostic", key = "testing", number = "EE PUB No. 758", institution="Department of Electrical Engineering, Technion", month = nov, year = 1990 } @INPROCEEDINGS{David90a, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "An Efficient Implementation of Boolean Functions and Finite State Machines as Self-Timed Circuits", pages = "148--155", booktitle= "International Conference on Computer Systems and Software Engineering (COMP-EURO)", publisher= icsp, month = may, year = 1990 } @ARTICLE{David92a, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "An Efficient Implementation of Boolean Functions as Self-Timed Circuits", journal= ieeetc, volume = 41, number = 1, pages = "2--11", month = jan, year = 1992 } @ARTICLE{David92b, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "Implementing Sequential Machines as Self-Timed Circuits", journal= ieeetc, volume = 41, number = 1, pages = "12--17", month = jan, year = 1992 } @INPROCEEDINGS{David93, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "Self-Timed Architecture of a Reduced Instruction Set Computer", pages = "29--43", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @ARTICLE{David95, author = "Ilana David and Ran Ginosar and Michael Yoeli", title = "Self-Timed is Self-Checking", journal= jetta, pages = "219--228", volume = 6, number = 2, month = apr, year = 1995 } @INPROCEEDINGS{Davis93a, author = "A. Davis and B. Coates and K. Stevens", title = "The {P}ost {O}ffice Experience: Designing a Large Asynchronous Chip", pages = "409--418", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Davis93b, author = "A. Davis and B. Coates and K. Stevens", title = "Automatic Synthesis of Fast Compact Asynchronous Control Circuits", pages = "193--207", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Davis95, author = "Al Davis and Steven M. Nowick", title = "Asynchronous Circuit Design: Motivation, Background, and Methods", pages = "1--49", editor = "Graham Birtwistle and Al Davis", booktitle= "Asynchronous Digital Circuit Design", publisher= springer, series = wic, year = 1995 } @INPROCEEDINGS{Davis95a, author = "Al Davis", title = "Synthesizing Asynchronous Circuits: Practice and Experience", pages = "104--150", editor = "Graham Birtwistle and Al Davis", booktitle= "Asynchronous Digital Circuit Design", publisher= springer, series = wic, year = 1995 } @ARTICLE{Day95, author = "Paul Day and J. Viv Woods", title = "Investigation into Micropipeline Latch Design Styles", pages = "264--272", journal= ieeevlsi, volume = 3, number = 2, month = jun, year = 1995 } @INPROCEEDINGS{Dean91, author = "Dean, Mark and Williams, Ted and Dill, David", title = "Efficient Self-Timing with Level-Encoded 2-Phase Dual-Rail ({LEDR})", pages = "55--70", booktitle="Advanced Research in {VLSI}: Proceedings of the 1991 {UC} {S}anta {C}ruz Conference", editor = "S\'equin, Carlo H.", publisher= mit, year = 1991 } @INPROCEEDINGS{Dean91a, author = "Mark E. Dean and David L. Dill and Mark Horowitz", title = "Self-Timed Logic Using Current-Sensing Completion Detection ({CSCD})", pages = "187--191", booktitle= iccd, publisher= icsp, month = oct, year = 1991 } @PHDTHESIS{Dean92, author = "Mark E. Dean", title = "{STRiP}: A Self-Timed {RISC} Processor Architecture", school = "Stanford University", year = 1992 } @ARTICLE{Dean94, author = "Mark E. Dean and David L. Dill and Mark Horowitz", title = "Self-Timed Logic Using Current-Sensing Completion Detection ({CSCD})", pages = "7--16", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @ARTICLE{Denning85, author = "Denning, Peter J.", title = "The Science of Computing: The Arbitration Problem", journal= "American Scientist", volume = 73, pages = "516--518", month = dec, year = 1985 } @INPROCEEDINGS{Dennis71, author = "J. B. Dennis and S. S. Patil", title = "Speed-independent Asynchronous Circuits", pages = "55--58", booktitle= hicss, year = 1971 } @INPROCEEDINGS{Devadas92, author = "S. Devadas and K. Keutzer and S. Malik and A. Wang", title = "Verification of Asynchronous Interface Circuits with Bounded Wire Delays", pages = "188--195", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @ARTICLE{Devadas94, author = "Srinivas Devadas and Kurt Keutzer and Sharad Malik and Albert Wang", title = "Verification of Asynchronous Interface Circuits with Bounded Wire Delays", pages = "161--182", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @INPROCEEDINGS{Dhanesha93, author = "Hema Dhanesha and Alexander Albicki", title = "Self-timed Adder with Pipelined Output", pages = "855--858", booktitle= midwest, year = 1993 } @INPROCEEDINGS{Dill85, author = "David L. Dill and Edmund M. Clarke", title = "Automatic Verification of Asynchronous Circuits using Temporal Logic", booktitle= "1985 Chapel Hill Conference on {VLSI}", publisher= csp, editor = "Henry Fuchs", pages = "127--143", year = 1985 } @ARTICLE{Dill86, author = "David L. Dill and Edmund M. Clarke", title = "Automatic Verification of Asynchronous Circuits using Temporal Logic", pages = "272--282", journal= ieepte, volume = 133, month = sep, year = 1986 } @INPROCEEDINGS{Dill88a, author = "Dill, David L.", title = "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits", pages = "51--65", booktitle="Advanced Research in {VLSI}: Proceedings of the Fifth {MIT} Conference", editor = "Allen, Jonathan and Leighton, F. Thomson", publisher= mit, year = 1988 } @BOOK{Dill89, author = "David L. Dill", title = "Trace Theory for Automatic Hierachical Verification of Speed-Independent Circuits", series = "{ACM} Distinguished Dissertations", publisher= mit, year = 1989 } @INPROCEEDINGS{Dill89a, author = "Dill, David L. and Nowick, Steven M. and Sproull, Robert F.", title = "Automatic Verification of Speed-Independent Circuits with {P}etri Net Specifications", pages = "212--216", booktitle= iccd, publisher= icsp, year = 1989 } @TECHREPORT{Dill89b, author = "Dill, David L. and Nowick, Steven M. and Sproull, Robert F.", title = "Specification and Automatic Verification of Self-Timed Queues", number = "CSL-TR-89-387", institution="Stanford University", month = aug, year = 1989 } @ARTICLE{Dill92, author = "Dill, David L. and Nowick, Steven M. and Sproull, Robert F.", title = "Specification and Automatic Verification of Self-Timed Queues", pages = "29--60", journal= fmsd, volume = 1, number = 1, month = jul, year = 1992 } @BOOK{Ebergen89, author = "Ebergen, Jo C.", title = "Translating Programs into Delay-Insensitive Circuits", publisher= "Centre for Mathematics and Computer Science", series = "{CWI} Tract", volume = 56, year = 1989 } @TECHREPORT{Ebergen89a, author = "Jo C. Ebergen", title = "From Functional Specification to a Delay-Insensitive Circuit", institution= "University of Waterloo", number = "CS-89-44", month = oct, year = 1989 } @TECHREPORT{Ebergen90, author = "Jo C. Ebergen", title = "Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components", type = "Research Report", number = "CS-90-29", institution= "Computer Science Dept., Univ. of Waterloo, Canada", month = jul, year = 1990 } @INPROCEEDINGS{Ebergen91, author = "Ebergen, Jo C.", title = "Parallel Computations and Delay-Insensitive Circuits", pages = "85--104", booktitle="{IV} Higher Order Workshop, Banff 1990", editor = "Birtwistle, Graham", publisher= springer, year = 1991 } @ARTICLE{Ebergen91a, author = "Ebergen, Jo C.", title = "A Formal Approach to Designing Delay-Insensitive Circuits", pages = "107--119", journal= dc, volume = 5, number = 3, publisher= springer, year = 1991 } @INPROCEEDINGS{Ebergen92, author = "Ebergen, Jo C. and Peeters, Ad M. G.", title = "Modulo-{N} Counters: Design and Analysis of Delay-Insensitive Circuits", pages = "27--46", booktitle="Designing Correct Circuits", editor = "J{\o}rgen Staunstrup and Robin Sharp", series = ifip, volume = "A-5", publisher= esp, year = 1992 } @ARTICLE{Ebergen92a, author = "Jo C. Ebergen", title = "Arbiters: an exercise in specifying and decomposing asynchronously communicating components", pages = "223--245", journal= "Science of Computer Programming", volume = 18, number = 3, month = jun, year = 1992 } @ARTICLE{Ebergen93, author = "Jo C. Ebergen and Ad M. G. Peeters", title = "Design and Analysis of Delay-Insensitive Modulo-{N} Counters", journal= fmsd, volume = 3, number = 3, pages = "211--232", month = dec, year = 1993 } @INPROCEEDINGS{Ebergen93a, author = "Jo Ebergen and Sylvain Gingras", title = "A Verifier for Network Decompositions of Command-Based Specifications", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Ebergen93b, author = "J. C. Ebergen and P. F. Bertrand and S. Gingras", title = "Solving a Mutual Exclusion Problem with the RGD Arbiter", pages = "137--147", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @TECHREPORT{Ebergen93c, author = "Jo C. Ebergen and Sylvain Gingras", title = "An Asynchronous Stack with Constant Response Time", number = "CS-93-11", institution= "Computer Science Dept., Univ. of Waterloo, Canada", month = jan, year = 1993 } @TECHREPORT{Ebergen94, author = "Jo C. Ebergen and John Segers and Igor Benko", title = "Parallel Program and Asynchronous Circuit Design", number = "CS-94-10", institution= "Computer Science Dept., Univ. of Waterloo, Canada", month = mar, year = 1994 } @INPROCEEDINGS{Ebergen95, author = "Jo C. Ebergen and John Segers and Igor Benko", title = "Parallel Program and Asynchronous Circuit Design", pages = "51--103", editor = "Graham Birtwistle and Al Davis", booktitle= "Asynchronous Digital Circuit Design", publisher= springer, series = wic, year = 1995 } @ARTICLE{Ebergen95a, author = "Jo Ebergen and Robert Berks", title = "{VERDECT}: A Verifier for Asynchronous Circuits", journal= tcca, month = oct, year = 1995 } @ARTICLE{Eichelberger65, author = "E. B. Eichelberger", title = "Hazard Detection in Combinational and Sequential Switching Circuits", journal= "IBM Journal of Research and Development", volume = 9, pages = "90--99", month = mar, year = 1965 } @ARTICLE{Einspahr95, author = "Kent L. Einspahr and Sharad C. Seth", title = "A Switch-Level Test Generation System for Synchronous and Asynchronous Circuits", journal= jetta, volume = 6, number = 1, pages = "59--73", month = feb, year = 1995 } @INPROCEEDINGS{Elston95, author = "C. J. Elston and D. B. Christianson and P. A. Findlay and G. B. Steven", title = "{Hades} - Towards the Design of an Asynchronous Superscalar Processor", pages = "200--209", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Endecott95, author = "Philip B. Endecott", title = "Parallel Structures for Asynchronous Microprocessors", journal= tcca, month = oct, year = 1995 } @INPROCEEDINGS{Fan91, author = "Xingcha Fan and Neil Bergmann", title = "Design of Elements for a Self-timed Fast Packet Switch", pages = "1025--1028", booktitle= iscas, volume = 2, year = 1991 } @INPROCEEDINGS{Fan92, author = "Xingcha Fan and Neil Bergmann", title = "Architecture design of a fully asynchronous {VLSI} chip for {DSP} custom applications", pages = "2112--2115", booktitle= iscas, volume = 5, year = 1992 } @TECHREPORT{Fang83, author = "Fang, Ting-Pien and Molnar, Charles E.", title = "Synthesis of Reliable Speed-Independent Circuit Modules: {II}. Circuit and Delay Conditions to Ensure Operation Free of Problems from Races and Hazards", type = "Technical Memorandum", number = 298, institution= "Computer Systems Laboratory, Institute for Biomedical Computing, Washington Univ., St. Louis, MO", year = 1983 } @TECHREPORT{Fang86a, author = "Fang, Ting-Pien", title = "On Decomposition of Delay-Insensitive Modules by Factoring", type = "Technical Memorandum", number = 314, institution= "Computer Systems Laboratory, Washington Univ., St. Louis, MO", month = jul, year = 1986 } @TECHREPORT{Fang86b, author = "Fang, Ting-Pien", title = "An Extension of {Q}-Module Realization", type = "Technical Memorandum", number = 317, institution= "Computer Systems Laboratory, Washington Univ., St. Louis, MO", month = nov, year = 1986 } @INPROCEEDINGS{Farnsworth94, author = "Craig Farnsworth and Doug Edwards and Shiv Sikand", title = "Utilizing Dynamic Logic for Low Power Consumption in Asynchronous Circuits", pages = "186--194", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Farnsworth95, author = "C. Farnsworth and D. A. Edwards and Jianwei Liu and S. S. Sikand", title = "A Hybrid Asynchronous System Design Environment", pages = "91--98", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Fisher93, author = "P. David Fisher and Sheng-Fu Wu", title = "Race-Free State Assignments for Synthesizing Large-Scale Asynchronous Sequential Logic Circuits", journal= ieeetc, volume = 42, number = 9, pages = "1025--1034", month = sep, year = 1993 } @ARTICLE{Fleischhammer79, author = "W. Fleischhammer and O. Dortok", title = "The anomalous behavior of flip-flops in synchronizer circuits", pages = "273--276", journal= ieeetc, volume = 28, number = 3, note = "Comments: see Lacroix 1982", month = mar, year = 1979 } @INPROCEEDINGS{Frank83, author = "Edward H. Frank and Robert F. Sproull", title = "A Self-Timed Static {RAM}", editor = "Randal Bryant", booktitle= "Proceedings of Third Caltech Conference on {VLSI}", publisher= csp, pages = "275--285", year = 1983 } @INPROCEEDINGS{Franklin93, author = "Mark A. Franklin and Tienyo Pan", title = "Clocked and asynchronous instruction pipelines", booktitle= "Proc. 26th ACM/IEEE Symp. on Microarchitecture", address= "Austin, TX", month = dec, year = 1993 } @INPROCEEDINGS{Franklin94, author = "Mark A. Franklin and Tienyo Pan", title = "Performance Comparison of Asynchronous Adders", pages = "117--125", booktitle= async, month = nov, year = 1994 } @ARTICLE{Friedman68, author = "A. D. Friedman and P. R. Menon", title = "Synthesis of Asynchronous Sequential Circuits with Multiple-Input Changes", journal= ieeetc, volume = "C-17", number = 6, pages = "559--566", month = jun, year = 1968 } @ARTICLE{Friedman69, author = "A. D. Friedman and R. L. Graham and J. D. Ullman", title = "Universal single transition time asynchronous state assignments", journal= ieeetc, volume = "C-18", pages = "541--547", month = jun, year = 1969 } @INPROCEEDINGS{Frosini71, author = "G. Frosini and G. B. Gerace", title = "Synthesis of asynchronous sequential circuits with master-slave subcircuits", pages = "60--78", booktitle= ssat, publisher= icsp, year = 1971 } @INPROCEEDINGS{Fuhrer95, author = "Robert M. Fuhrer and Bill Lin and Steven M. Nowick", title = "Symbolic Hazard-Free Minimization and Encoding of Asynchronous Finite State Machines", booktitle= iccad, publisher= icsp, year = 1995 } @ARTICLE{Furber93, author = "S. B. Furber", title = "Breaking step: the return of asynchronous logic", journal= "IEE Review", volume = 39, number = 4, pages = "159--162", month = jul, year = 1993 } @INPROCEEDINGS{Furber93a, author = "S. B. Furber and P. Day and J. D. Garside and N. C. Paver and J. V. Woods", title = "A Micropipelined {ARM}", editor = "T. Yanagawa and P. A. Ivey", booktitle= "Proceedings of VLSI 93", pages = "5.4.1--5.4.10", month = sep, year = 1993 } @INPROCEEDINGS{Furber94, author = "S. B. Furber and P. Day and J. D. Garside and N. C. Paver and J. V. Woods", title = "{AMULET1: A micropipelined ARM}", booktitle= "Proceedings IEEE Computer Conference (COMPCON)", pages = "476--485", month = mar, year = 1994 } @INPROCEEDINGS{Furber94a, author = "S. B. Furber and P. Day and J. D. Garside and N. C. Paver and S. Temple and J. V. Woods", title = "The Design and Evaluation of an Asynchronous Microprocessor", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @INPROCEEDINGS{Furber95, author = "S. Furber", title = "Computing without Clocks: Micropipelining the {ARM} Processor", pages = "211--262", editor = "Graham Birtwistle and Al Davis", booktitle= "Asynchronous Digital Circuit Design", publisher= springer, series = wic, year = 1995 } @INPROCEEDINGS{Furber96, author = "S. B. Furber and J. Liu", title = "Dynamic Logic in Four-Phase Micropipelines", booktitle= async, publisher= icsp, month = mar, year = 1996 } @MASTERSTHESIS{Gageldonk94, author = "Hans van Gageldonk", title = "The Asynchronous Move Machine: Verification using {CCS}", school = eut, month = aug, year = 1994 } @INPROCEEDINGS{Gammelgaard89, author = "Gammelgaard, Anders", title = "Implementation Conditions for Delay-Insensitive Circuits", booktitle= "{PARLE} '89: Parallel Architectures and Languages Europe", editor = "Odijk, E. and Rem, M. and Syre, J.-C.", series = lncs, volume = 365, pages = "341--355", publisher= springer, year = 1989 } @INPROCEEDINGS{Garside93, author = "Jim D. Garside", title = "A {CMOS} {VLSI} Implementation of an Asynchronous {ALU}", pages = "181--207", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Garside96, author = "J. D. Garside and S. Temple and R. Mehra", title = "The {AMULET2e} Cache Systems", booktitle= async, publisher= icsp, month = mar, year = 1996 } @MISC{Gibbs95, author = "W. Wayt Gibbs", title = "Turning Back the Clock", journal= "Scientific American", volume = 272, number = 6, month = jun, year = 1995 } @ARTICLE{Gilchrist55, author = "Bruce Gilchrist and J. H. Pomerene and S. Y. Wong", title = "Fast Carry Logic for Digital Computers", pages = "133--136", journal= "IRE Transactions on Electronic Computers", volume = "EC-4", number = 4, month = dec, year = 1955 } @INPROCEEDINGS{Gloria92, author = "A. De Gloria and P. Faraboschi and M. Olivieri", title = "A delay-insensitive approach to the {VLSI} design of a {DRAM} controller", booktitle= "EUROMICRO 92", month = sep, year = 1992 } @ARTICLE{Gloria93, author = "A. De Gloria and P. Faraboschi and M. Olivieri", title = "Delay-insensitive micropipelined combinational logic", journal= "Microproc. \& Microprog., Euromicro Journal", volume = 36, pages = "225--241", month = oct, year = 1993 } @ARTICLE{Gloria94, author = "Alessandro De Gloria and Paolo Faraboschi and Mauro Olivieri", title = "Design and Characterization of a Standard Cell Set for Delay Insensitive {VLSI} Design", journal= "IEEE Transactions on Circuits and Systems, II: Analog and Digital Signal Processing", pages = "410--415", volume = 41, number = 6, month = jun, year = 1994 } @ARTICLE{Gloria95, author = "Alessandro De Gloria and Mauro Olivieri", title = "Efficient Semicustom Micropipeline Design", journal= ieeevlsi, pages = "464--469", volume = 3, number = 3, month = sep, year = 1995 } @INPROCEEDINGS{Goldschlag91, author = "D. M. Goldschlag", title = "Mechanically verifying safety and liveness properties of delay insensitive circuits", pages = "354--364", editor = "K. G. Larsen and A. Skou", booktitle= cav, series = lncs, publisher= springer, volume = 575, year = 1991 } @INPROCEEDINGS{Goodman88, author = "Goodman, Rodney M. and McAuley, Anthony J.", title = "An Efficient Asynchronous Multiplier", pages = "593--599", booktitle= "Proceedings of the Second International Conference on Systolic Arrays", editor = "Bromley, K. and Kung, S.-Y. and Swartzlander, E.", publisher= icsp, month = may, year = 1988 } @INPROCEEDINGS{Goodman89, author = "Rodney M. Goodman and Kathleen A. Kramer and Anthony J. McAuley", title = "Exploiting the Inherent Fault Tolerance of Asynchronous Arrays", pages = "567--576", booktitle= "Systolic Array Processors", note = "Proceedings of the International Conference on Systolic Arrays", editor = "J. McCanny and J. McWhirter and E. Swartzlander", publisher= ph, month = may, year = 1989 } @TECHREPORT{Goossens92, author = "Gert Goossens and Mark B. Josephs", title = "Proceedings of {ACiD-WG/EXACT} Workshop on Asynchronous Controllers and Interfaces", institution= "IMEC, Leuven, Belgium", number = "EXACT/D.2/IMEC/m3/D1", month = sep, year = 1992 } @INPROCEEDINGS{Gopalakrishnan90, author = "Gopalakrishnan, Suresh K. and Maki, Gary K.", title = "{VLSI} Asynchronous Sequential Circuit Design", pages = "238--242", booktitle= iccd, publisher= icsp, month = sep, year = 1990 } @TECHREPORT{Gopalakrishnan90a, author = "Ganesh Gopalakrishnan and Prabhat Jain", title = "Some Recent Asynchronous System Design Methodologies", institution= "Dept. of Computer Science, Univ. of Utah", number = "UUCS-TR-90-016", month = oct, year = 1990 } @ARTICLE{Gopalakrishnan92, author = "G. Gopalakrishnan and V. Akella", title = "{VLSI} Asynchronous Systems: Specification and Synthesis", journal= "Microprocessors and Microsystems", volume = 16, number = 10, pages = "517-527", year = 1992 } @TECHREPORT{Gopalakrishnan93, author = "Ganesh Gopalakrishnan", title = "Some Unusual Micropipeline Circuits", institution= "Dept. of Computer Science, Univ. of Utah", number = "UUCS-93-015", month = jul, year = 1993 } @INPROCEEDINGS{Gopalakrishnan93a, author = "G. Gopalakrishnan and V. Akella", title = "Specification, Simulation, and Synthesis of Self-Timed Circuits", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Gopalakrishnan93b, author = "G. Gopalakrishnan and V. Akella", title = "A Transformational Approach to Asynchronous High-level Synthesis", editor = "T. Yanagawa and P. A. Ivey", booktitle= "Proceedings of VLSI 93", pages = "5.3.1--5.3.10", month = sep, year = 1993 } @ARTICLE{Gopalakrishnan94, author = "Ganesh Gopalakrishnan and Venkatesh Akella", title = "High Level Optimizations in Compiling Process Descriptions to Asynchronous Circuits", pages = "33--45", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @ARTICLE{Gopalakrishnan94a, author = "Ganesh Gopalakrishnan and Erik Brunvand and Nick Michell and Steven Nowick", title = "A Correctness Criterion for Asynchronous Circuit Validation and Optimization", pages = "1309--1318", journal= ieeetcad, volume = 13, number = 11, month = nov, year = 1994 } @ARTICLE{Gopalakrishnan94b, author = "Ganesh Gopalakrishnan", title = "Developing Micropipeline Wavefront Arbiters", pages = "55--64", journal= ieeedt, volume = 11, number = 4, month = "Winter", year = 1994 } @INPROCEEDINGS{Gopalakrishnan94c, author = "G. Gopalakrishnan and P. Kudva and E. Brunvand", title = "Peephole optimization of asynchronous macromodule networks", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @INPROCEEDINGS{Grass95, author = "E. Grass and S. Jones", title = "Asynchronous Circuits Based On Multiple Localised Current-Sensing Completion Detection", pages = "170--177", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Grass96, author = "E. Grass and R. C. S. Morling and I. Kale", title = "Activity Monitoring Completion Detection ({AMCD}): A new single rail approach to achieve self-timing", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Greenstreet87, author = "M. R. Greenstreet and T. E. Williams and J. Staunstrup", title = "Self-Timed Iteration", booktitle="{VLSI} '87. {VLSI} Design of Digital Systems", editor = "Carlo H. S\'equin", publisher= "North-Holland", pages = "309--322", month = aug, year = 1987 } @ARTICLE{Greenstreet90, author = "Mark R. Greenstreet and Kenneth Steiglitz", title = "Bubbles can make self-timed pipelines fast", journal= vlsisp, volume = 2, number = 3, pages = "139--148", publisher= kap, month = nov, year = 1990 } @INPROCEEDINGS{Greenstreet94, author = "Mark R. Greenstreet and Peter Cahoon", title = "How fast will the flip flop?", pages = "77--86", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Groenboom93, author = "Rix Groenboom and Mark B. Josephs and Paul G. Lucassen and Jan Tijmen Udding", title = "Normal Form in a Delay-Insensitive Algebra", pages = "57--70", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @ARTICLE{Gu95, author = "Jun Gu and Ruchir Puri", title = "Asynchronous Circuit Synthesis with Boolean Satisfiability", pages = "961--973", journal= ieeetcad, volume = 14, number = 8, month = aug, year = 1995 } @INPROCEEDINGS{Ha84, author = "Dong Sam Ha and Sudhaker M. Reddy", title = "On testable self-timed logic circuits", key = "testing", pages = "296--301", booktitle= iccd, publisher= icsp, year = 1984 } @INPROCEEDINGS{Haans93, author = "Jaco Haans and Kees van Berkel and Ad Peeters and Frits Schalij", title = "Asynchronous Multipliers as Combinational Handshake Circuits", pages = "149--163", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Hamagucki91, author = "K. Hamaguchi and H. Hiraishi and S. Yajima", title = "Formal verification of speed-dependent asynchronous circuits using symbolic model checking of branching time regular temporal logic", pages = "410--420", editor = "K. G. Larsen and A. Skou", booktitle= cav, series = lncs, publisher= springer, volume = 575, year = 1991 } @INPROCEEDINGS{Hansen92, author = "Michael R.\ Hansen and Zhou Chaochen and J{\o}rgen Staunstrup", title = "A Real-Time Duration Semantics for Circuits", booktitle= "Tau-92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems", month = mar, year = 1992 } @TECHREPORT{Hauck93, author = "Scott Hauck", title = "Asynchronous Design Methodologies: An Overview", institution= "Department of Computer Science and Engineering, University of Washington, Seattle", number = "TR 93-05-07", year = 1993 } @ARTICLE{Hauck94, author = "Scott Hauck and Steven Burns and Geatano Borriello and Carl Ebeling", title = "AN {FPGA} for Implementing Asynchronous Circuits", journal= ieeedt, pages = "60--69", volume = 11, number = 3, year = 1994 } @ARTICLE{Hauck95, author = "Scott Hauck", title = "Asynchronous Design Methodologies: An Overview", journal= ieeeproc, volume = 83, number = 1, pager = "69--93", month = jan, year = 1995 } @ARTICLE{Hayes81, author = "Alan B. Hayes", title = "Stored State Asynchronous Sequential Circuits", journal= ieeetc, volume = "C-30", number = 8, pages = "596--600", month = aug, year = 1981 } @INPROCEEDINGS{Hayes83, author = "Alan B. Hayes", title = "Self-Timed {IC} Design with {PPL}'s", pages = "257--274", editor = "Randal Bryant", booktitle= "Proceedings of Third Caltech Conference on {VLSI}", publisher= csp, year = 1983 } @INPROCEEDINGS{Hayes87, author = "N. M. Hayes and M. S. Tsay and F. D. LaRocca and P. W. Kempsey and S. H. Padnos and T. L Chang and P. P. Thomas", title = "Asynchronous Design Integrates Address Translation and Physical Data Cache for the {WE-32201 IMDC}", pages = "235--237", booktitle= iccd, year = 1987 } @PHDTHESIS{Hazewindus92, author = "Pieter J. Hazewindus", title = "Testing Delay-Insensitive Circuits", key = "testing", school = caltech, year = 1992 } @INPROCEEDINGS{Heard84, author = "Bryan J. Heard and Ramu N. Sheshadri and Ronald B. David and Arvid G. Sammuli", title = "Automatic test pattern generation for asynchronous networks", pages = "63--69", booktitle= itc, publisher= icsp, key = "testing", year = 1984 } @ARTICLE{Heer95, author = "Christoph Heer", title = "Synchronous clocked and self-timed pipeline configurations", journal= tcca, month = oct, year = 1995 } @ARTICLE{Hennessy83, author = "Hennessy, Matthew", title = "Synchronous and Asynchronous Experiments on Processes", journal= "Inform. and Control", volume = 59, pages = "36--83", year = 1983 } @ARTICLE{Hennessy87, author = "M. Hennessy", title = "An algebraic theory of fair asynchronous communicating processes", pages = "121--143", journal= tcs, volume = 49, year = 1987 } @ARTICLE{Hirayama87, author = "Masaharu Hirayama", title = "A Silicon Compiler System Based on Asynchonous Architecture", journal= ieeetcad, pages = "297--304", volume = 6, number = 3, month = may, year = 1987 } @ARTICLE{Hoare78, author = "C. A. R. Hoare", title = "Communicating Sequential Processes", journal= cacm, volume = 21, number = 8, pages = "666--677", month = aug, year = 1978 } @BOOK{Hoare85, author = "C. A. R. Hoare", title = "Communicating Sequential Processes", publisher= ph, year = 1985 } @ARTICLE{Hollaar82, author = "Hollaar, Lee A.", title = "Direct Implementation of Asynchronous Control Units", journal= ieeetc, volume = "C-31", number = 12, pages = "1133--1141", month = dec, year = 1982 } @ARTICLE{Horstmann89, author = "Jens U. Horstmann and Hans W. Eichel and Robert L. Coates", title = "Metastability Behavior of {CMOS} {ASIC} Flip-Flops in Theory and Test", pages = "146--157", journal= ieeejssc, volume = 24, number = 1, month = feb, year = 1989 } @INPROCEEDINGS{Hsia95, author = "Calvin J. A. Hsia and C. Y. Roger Chen", title = "Synthesis of Asynchronous Circuits --- Testing Unique Circuit Behavior of Signal Transition Graphs", booktitle= iscas, pages = "1074--1077", year = 1995 } @ARTICLE{Huang93, author = "C. G. Huang and C. G. Jesshope and I. M. Nedelchev", title = "Systematic Method for Synthesising Purely Delay-Insensitive Circuits", journal= ieepte, volume = 140, number = 5, pages = "269--276", month = sep, year = 1993 } @INPROCEEDINGS{Huang95, author = "Hong-Yi Huang and Kuo-Hsing Cheng and Jinn-Shyan Wang and Yuan-Hua Chu and Tain-Shun Wu and Chung-Yu Wu", title = "Low-Voltage Low-Power {CMOS} True-Single-Phase Clocking Scheme with Locally Asynchronous Logic Circuits", booktitle= iscas, pages = "1572--1575", year = 1995 } @INCOLLECTION{Huffman64, author = "Huffman, D. A.", title = "The Synthesis of Sequential Switching Circuits", booktitle= "Sequential Machines: Selected Papers", editor = "Moore, E. F.", publisher= aw, year = 1964 } @ARTICLE{Hulgaard95, author = "Henrik Hulgaard and Steven M. Burns and Gaetano Borriello", title = "Testing Asynchronous Ciruits: A Survey", pages = "111--131", journal= integration, volume = 19, number = 3, month = nov, year = 1995 } @INPROCEEDINGS{Hulgaard94a, author = "Henrik Hulgaard and Steven M. Burns", title = "Bounded Delay Timing Analysis of a Class of {CSP} Programs with Choice", pages = "2--11", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Hung90, author = "Andy Hung and Teresa H.-Y. Meng", title = "Asynchronous Self-Timed Circuit Synthesis with Timing Constraints", pages = "1126--1130", booktitle= iscas, volume = 2, month = may, year = 1990 } @INPROCEEDINGS{Hurdle93, author = "J. F. Hurdle", title = "Self-Timed Neural Model Implementation: An Example Using {CMAC}", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @PHDTHESIS{Hurtado75, author = "Hurtado, Marco", title = "Structure and Performance of Asymptotically Bistable Dynamical Systems", school = "Sever Institute of Technology, Washington Univ., St. Louis, MO", year = 1975 } @INPROCEEDINGS{Hurtado75a, author = "Hurtado, M. and Elliott, D. L.", title = "Ambiguous Behavior of Logic Bistable Systems", pages = "605--611", booktitle="Proceedings of the 13th Annual Allerton Conference on Circuit {\&} System Theory", month = oct, year = 1975 } @INPROCEEDINGS{Ishiura89, author = "N. Ishiura and M. Takahashi and S. Yajim", title = "Time-symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits", booktitle= dac, pages = "497--502", year = 1989 } @ARTICLE{Izosimov90, author = "O. A. Izosimov and I. I. Shagurin and V. V. Tsylyov", title = "Physical approach to {CMOS} module self-timing", pages = "1835--1836", journal= el, volume = 26, number = 22, month = oct, year = 1990 } @INPROCEEDINGS{Jacobs88, author = "G. M. Jacobs and R. W. Brodersen", title = "Self-Timed Integrated Circuits for Digital Signal Processing Applications", chapter= 19, editor = "Robert W. Brodersen and Howard S. Moscovitz", booktitle= "VLSI Signal Processing, III", publisher= "IEEE Press", year = 1988 } @PHDTHESIS{Jacobs89, author = "Gordon M. Jacobs", title = "Self-Timed Integrated Circuits for Digital Signal-Processing", school = "University of California, Berkeley", number = "UCB-ERL M89-128", month = nov, year = 1989 } @ARTICLE{Jacobs90, author = "Gordon M. Jacobs and Robert W. Brodersen", title = "A Fully Asynchronous Digital Signal Processor Using Self-Timed Circuits", pages = "1526--1537", journal= ieeejssc, volume = 25, number = 6, month = dec, year = 1990 } @ARTICLE{Jesshope93, author = "C. R. Jesshope and I. M. Nedelchev and C. G. Huang", title = "Compilation of Process Algebra Expressions into Delay-Insensitive Circuits", journal= ieepte, volume = 140, number = 5, pages = "261--268", month = sep, year = 1993 } @PHDTHESIS{Johnson88, author = "J. M. Johnson", title = "Theory and Application of Self-Timed Integrated Systems using Ternary Logic Elements", school = "Electrical and Computer Engineering, University of California, Santa Barbara", month = dec, year = 1988 } @INPROCEEDINGS{Jong94, author = "Gjalt de Jong and Bill Lin", title = "A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules", pages = "49--55", booktitle= dac, month = jun, year = 1994 } @INPROCEEDINGS{Jonsson85, author = "Jonsson, Bengt", title = "A Model and Proof System for Asynchronous Networks", booktitle= "Proceedings of the 4th ACM Symposium on Principles of Distributed Computing", pages = "49--58", year = 1985 } @TECHREPORT{Jonsson88, author = "Jonsson, Bengt", title = "A Fully Abstract Trace Model for Dataflow Networks", type = "Research Report", number = "SICS R88016", institution= "Swedish Institute of Computer Science", month = nov, year = 1988 } @TECHREPORT{Josephs89, author = "Josephs, Mark B. and Hoare, C. A. R. and Jifeng, He", title = "A Theory of Asynchronous Processes", type = "Technical Report", number = "PRG-TR-6-89", institution="Oxford Univ., Computing Laboratory", year = 1989 } @INPROCEEDINGS{Josephs90, author = "Josephs, Mark B. and Udding, Jan Tijmen", title = "The Design of a Delay-Insensitive Stack", booktitle="Designing Correct Circuits", editor = "G. Jones and M. Sheeran", pages = "132--152", publisher= springer, year = 1990 } @INPROCEEDINGS{Josephs90a, author = "Josephs, Mark B. and Udding, Jan Tijmen", title = "An Algebra for Delay-Insensitive Circuits", pages = "343--352", editor = "Robert P. Kurshan and Edmund M. Clarke", booktitle= cav, series = lncs, volume = 531, publisher= springer, year = 1990 } @INCOLLECTION{Josephs90b, author = "Josephs, Mark B. and Udding, Jan Tijmen", title = "Delay-Insensitive Circuits: An Algebraic Approach to their Design", booktitle="{CONCUR '90}, Theories of Concurrency: Unification and Extension", editor = "J. C. M. Baeten and J. W. Klop", series = lncs, volume = 458, pages = "342--366", publisher= springer, month = aug, year = 1990 } @INPROCEEDINGS{Josephs91, author = "Josephs, Mark B. and Mak, Rudolf H. and Verhoeff, Tom", title = "Asynchronous Design of a Router", booktitle= "Proceedings of the {IEEE/ProRISC} Symposium on Circuits, Systems and Signal Processing", editor = "Veen, J. P.", pages = "173--179", publisher= "Stichting voor de Technische Wetenschappen", address= "Utrecht, Netherlands", year = 1991 } @ARTICLE{Josephs92, author = "Josephs, Mark B.", title = "Receptive Process Theory", journal= "Acta Informatica", volume = 29, number = 1, pages = "17--31", year = 1992 } @INPROCEEDINGS{Josephs92a, author = "Josephs, Mark B. and Mak, Rudolf H. and Udding, Jan Tijmen and Verhoeff, Tom and Yantchev, Jelio T.", title = "High-level Design of an Asynchronous Packet-routing Chip", pages = "261--274", booktitle="Designing Correct Circuits", editor = "J{\o}rgen Staunstrup and Robin Sharp", series = ifip, volume = "A-5", publisher= esp, year = 1992 } @INPROCEEDINGS{Josephs93a, author = "M. B. Josephs and J. T. Udding", title = "An Overview of {DI} Algebra", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Josephs93b, author = "Mark B. Josephs and Jan Tijmen Udding", title = "Implementing a Stack as a Delay-Insensitive Circuit", pages = "123--135", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @TECHREPORT{Josephs93c, author = "Mark B. Josephs and Jan Tijmen Udding and Yelio Yantchev", title = "Handshake Algebra", institution = southbank, series = "Technical Report", number = "SBU-CISM-93-1", month = dec, year = 1993 } @INPROCEEDINGS{Josephs94, author = "M. B. Josephs and P. G. Lucassen and J. T. Udding and T. Verhoeff", title = "Formal Design of an Asynchronous {DSP} Counterflow Pipeline: A Case Study in Handshake Algebra", pages = "206--215", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Jump72, author = "J. Robert Jump and P. S. Thiagarajan", title = "On the equivalence of asynchronous control structures", pages = "212--223", booktitle= ssat, publisher= icsp, year = 1972 } @INPROCEEDINGS{Jung95, author = "Sung Tae Jung and Uun Sei Park and Junk Sik Kim and Chu Shik Jhon", title = "Automatic Synthesis of Gate-level Speed-independent Control Circuits from Signal Transition Graphs", booktitle= iscas, pages = "1411--1414", year = 1995 } @PHDTHESIS{Kaldewaij86, author = "Anne Kaldewaij", title = "A Formalism for Concurrent Processes", school = eut, year = 1986 } @INPROCEEDINGS{Kang92, author = "J.-W. Kang and C.-L. Wey and P. D. Fisher", title = "An efficient modelling and synthesis procedure of asynchronous sequential logic circuits", booktitle= midwest, pages = "512--515", year = 1992 } @PHDTHESIS{Kang93, author = "J.-W. Kang", title = "The modeling and synthesis of asynchronous sequential logic circuits", school = "Dept. of Electrical Engineering, Michigan State univ.", year = 1993 } @INPROCEEDINGS{Kang93a, author = "Jun-Woo Kang and Chin-Long Wey and P. David Fisher", title = "A Synthesis Procedure for Large-scale Asynchronous Finite State Machines", booktitle= midwest, pages = "1304--1307", year = 1993 } @ARTICLE{Kang94, author = "J.-W. Kang and P. D. Fisher and C.-L. Wey", title = "Efficient modelling and synthesis procedure of asynchronous sequential logic elements", journal= ieepte, pages = "61--64", volume = 141, number = 1, month = jan, year = 1994 } @ARTICLE{Kang95, author = "Jun-Woo Kang and Chin-Long Wey and P. David Fisher", title = "Application of Bipartite Graphs for Achieving Race-Free State Assignments", journal= ieeetc, pages = "1002--1011", volume = 44, number = 8, month = aug, year = 1995 } @ARTICLE{Kantabutra94, author = "Vitit Kantabutra and Andreas G. Andreou", title = "A State Assignment Approach to Asynchronous {CMOS} Circuit Design", journal= ieeetc, volume = 43, number = 4, pages = "460--469", month = apr, year = 1994 } @INPROCEEDINGS{Karthik91, author = "S. Karthik and I. de Souza and J. T. Rahmeh and J. A. Abraham", title = "Interlock Schemes for Micropipelines: Application to a Self-Timed Rebound Sorter", pages = "393--396", booktitle= iccd, publisher= icsp, year = 1991 } @INPROCEEDINGS{Kearney95, author = "David Kearney and Neil W. Bermann", title = "Performance Evaluation of Asynchronous Logic Pipelines with Data Dependant Processing Delays", pages = "4--13", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Keller72, author = "Robert M. Keller", title = "On the decomposition of asynchronous modules", pages = "78--89", booktitle= ssat, publisher= icsp, year = 1972 } @ARTICLE{Keller74, author = "Keller, Robert M.", title = "Towards a Theory of Universal Speed-Independent Modules", journal= ieeetc, volume = "C-23", number = 1, pages = "21--33", month = jan, year = 1974 } @INPROCEEDINGS{Kessels95, author = "Joep Kessels", title = "{VLSI} Programming of a Low-Power Asynchronous {R}eed-{S}olomon Decoder for the {DCC} Player", pages = "44--52", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Keutzer91, author = "Keutzer, Kurt and Lavagno, Luciano and Sangiovanni-Vincentelli, Alberto", title = "Synthesis for Testability Techniques for Asynchronous Circuits", key = "testing", booktitle= iccad, publisher= icsp, pages = "326--329", month = nov, year = 1991 } @ARTICLE{Keutzer95, author = "Keutzer, Kurt and Lavagno, Luciano and Sangiovanni-Vincentelli, Alberto", title = "Synthesis for Testability Techniques for Asynchronous Circuits", journal= ieeetcad, pages = "1569--1577", volume = 14, number = 12, month = dec, year = 1995 } @INPROCEEDINGS{Khoche93, author = "Ajay Khoche and Erik Brunvand", title = "Testing Self-Timed Circuits ussing Scan Paths", booktitle= "5th NASA Symposium on VLSI Design", month = nov, year = 1993 } @INPROCEEDINGS{Khoche94, author = "Ajay Khoche and Erik Brunvand", title = "Testing Micropipelines", key = "testing", pages = "239--246", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Khoche95, author = "Ajay Khoche and Erik Brunvand", title = "Testing Self-Timed Circuits using Partial Scan", pages = "160--169", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Kimura68, author = "Izumi Kimura", title = "Extensions of asynchronous circuits and the delay problem {I}: Good extensions and the delay problem of the first kind", pages = "251--287", journal= jcss, publisher= ap, volume = 2, number = 3, month = oct, year = 1968 } @ARTICLE{Kimura71, author = "Izumi Kimura", title = "Extensions of asynchronous circuits and the delay problem {II}: Spike-free extensions and the delay problem of the second kind", pages = "129--162", journal= jcss, publisher= ap, volume = 5, number = 2, month = apr, year = 1971 } @ARTICLE{Kinnement76, author = "D. J. Kinnement and J. V. Woods", title = "Synchronization and Arbitration Circuits in Digital Systems", journal= ieepte, pages = "961--966", volume = 123, number = 10, month = oct, year = 1976 } @INPROCEEDINGS{Kishinevsky92, author = "Kishinevsky, M. and Kondratyev, A. and Taubin, A. and Varshavsky, V.", title = "Analysis and Identification of Self-timed Circuits", pages = "275--287", booktitle="Designing Correct Circuits", editor = "J{\o}rgen Staunstrup and Robin Sharp", series = ifip, volume = "A-5", publisher= esp, year = 1992 } @INPROCEEDINGS{Kishinevsky92a, author = "Kishinevsky, M. and Kondratyev, A. and Taubin, A. and Varshavsky, V.", title = "On Self-Timed Behavior Verification", booktitle= "Proceedings of ACM TAU 92", month = mar, year = 1992 } @ARTICLE{Kishinevsky93, author = "Kishinevsky, M. and Kondratyev, A. and Taubin, A. and Varshavsky, V.", title = "Analysis and Identification of Self-timed Circuits", journal= fmsd, pages = "33--75", volume = 4, number = 1, year = 1994 } @BOOK{Kishinevsky94, author = "Michael Kishinevsky and Alex Kondratyev and Alexander Taubin and Victor Varshavsky", title = "Concurrent Hardware: The Theory and Practice of Self-Timed Design", series = "Series in Parallel Computing", publisher= wiley, year = 1994 } @ARTICLE{Kishinevsky94a, author = "Kishinevsky, M. A. and Kondratyev, A. Y. and Taubin, A. R.", title = "Specification and Analysis of Self-Timed Circuits", journal= vlsisp, pages = "117--135", volume = 7, number = "1/2", month = feb, year = 1994 } @INPROCEEDINGS{Kishinevsky94b, author = "Michael Kishinevsky and J{\o}rgen Staunstrup", title = "Checking Speed-Independence of High-Level Designs", pages = "44--53", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Kishinevsky94c, author = "Michael Kishinevsky and J{\o}rgen Staunstrup", title = "Mechanized verification of Speed-Independence", booktitle= "Proc. of the 2nd Workshop on Theorem Provers in Circuit Design", month = sep, year = 1994 } @ARTICLE{Kleeman86, author = "Kleeman, Lindsay and Cantoni, Antonio", title = "Can redundancy and masking improve the performance of synchronizers", journal= ieeetc, pages = "643--646", volume = 35, month = jul, year = 1986 } @PHDTHESIS{Kleeman86a, author = "Lindsay Kleeman", title = "Service and Metastability Performance of Arbiters", school = "Dept. of Electrical and Computer Eng., Univ. of Newcastle, Australia", month = aug, year = 1986 } @ARTICLE{Kleeman87, author = "Kleeman, Lindsay and Cantoni, Antonio", title = "On the Unavoidability of Metastable Behavior in Digital Systems", journal= ieeetc, volume = "C-36", number = 1, pages = "109--112", month = jan, year = 1987 } @ARTICLE{Kleeman87a, author = "Kleeman, Lindsay and Cantoni, Antonio", title = "Metastable Behavior in Digital Systems", journal= ieeedt, volume = 4, pages = "4--19", month = dec, year = 1987 } @INPROCEEDINGS{Ko94, author = "Uming Ko and P. T. Balsara and Wai Lee", title = "A Self-Timed Method to Minimize Spurious Transitions in Low Power {CMOS} Circuits", editor = "John H. Wuorinen", booktitle= "1994 IEEE Symposium on Low-Power Electronics", pages = "62--63", month = oct, year = 1994 } @ARTICLE{Kobayashi86, author = "Toshifumi Kobayashi and Kazutami Arimoto and Yuto Ikeda and Masahiro Hatanaka and Koichiro Mashiko and Michihiro Yamada and Takao Nakano", title = "A high-speed {46Kx4 CMOS DRAM} using on-chip self-timing techniques", pages = "655--661", journal= ieeejssc, volume = 21, number = 5, month = oct, year = 1986 } @BOOK{Kohavi78, author = "Kohavi, Zvi", title = "Switching and Finite Automata Theory", publisher= "McGraw-Hill", year = 1978 } @INPROCEEDINGS{Kol96, author = " R. Kol and R. Ginosar and G. Samuel", title = "Statechart Methodology for the Design, Validation, and Synthesis of Large Scale Asynchronous Systems", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Kolks96, author = "Tilman Kolks and Steven Vercauteren and Bill Lin", title = "Control Resynthesis for Control-Dominated Asynchronous Designs", booktitle= async, month = mar, year = 1996 } @ARTICLE{Komori88, author = "Komori, Shinji and Takata, Hidehiro and Tamura, Toshiyuki and Asai, Fumiyasu and Ohno, Takio and Tomisawa, Osamu and Yamasaki, Tetsuo and Shima, Kenji and Asada, Katsuhiko and Terada, Hiroaki", title = "An Elastic Pipeline Mechanism by Self-Timed Circuits", journal= ieeejssc, volume = 23, number = 1, pages = "111--117", month = feb, year = 1988 } @ARTICLE{Komori89, author = "Komori, Shinji and Takata, Hidehiro and Tamura, Toshiyuki and Asai, Fumiyasu and Ohno, Takio and Tomisawa, Osamu and Yamasaki, Tetsuo and Shima, Kenji and Nishikawa, Hiroaki and Terada, Hiroaki", title = "A 40-{MFLOPS} 32-bit Floating-Point Processor with Elastic Pipeline Scheme", journal= ieeejssc, volume = 24, number = 5, pages = "1341--1347", month = oct, year = 1989 } @INPROCEEDINGS{Kondratyev88, author = "A. Kondratyev and L. Rosenblum and A. Yakovlev", title = "Signal Graphs: A Model for Designing Concurrent Logic", booktitle= icpp, volume = 1, editor = "Fay\'e A. Briggs", pages = "51--54", year = 1988 } @INPROCEEDINGS{Kondratyev94, author = "Alex Kondratyev and Michael Kishinevsky and Bill Lin and Peter Vanbekbergen and Alex Yakovlev", title ="Basic Gate Implementation of Speed-Independendent Circuits", pages = "56--62", booktitle= dac, month = jun, year = 1994 } @INPROCEEDINGS{Kondratyev94a, author = "Alex Kondratyev and Alexander Taubin", title = "Verification of Speed-independent Circuits by STG Unfoldings", pages = "64--75", booktitle= async, month = nov, year = 1994 } @PROCEEDINGS{Korst92, editor = "van der Korst, M. and Peeters, A. and Schols, H.", title = "Design and Implementation of Asynchronous Circuits", organization="Koninklijke Nederlandse Akademie van Wetenschappen", publisher= "North-Holland", note = "Proceedings of workshop Amsterdam, 10--14 November 1991", month = jun, year = 1992 } @TECHREPORT{Korst92a, author = "Michiel van der Korst", title = "{VOICE}, a Silicon Compiler for Asynchronous Circuits", institution="IVO, Eindhoven University of Technology", month = aug, year = 1992 } @INPROCEEDINGS{Kudva94, author = "Prabhakar Kudva and Venkatesh Akella", title = "Testing two-phase transition signalling based self-timed circuits in a synthesis environment", booktitle= "Proceedings of the 7th International Symposium on High-Level Synthesis", pages = "104--111", publisher= icsp, month = may, year = 1994 } @INPROCEEDINGS{Kudva94a, author = "Prabhakar Kudva and Venkatesh Akella", title = "A Technique for Estimating Power in Self-Timed Asynchronous Circuits", pages = "166--175", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Kudva94b, author = "P. Kudva and G. Gopalakrishnan and E. Brunvand", title = "Performance Analysis and Optimization for Asynchronous Circuits", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @ARTICLE{Kuhl78, author = "J. G. Kuhl and S. M. Reddy", title = "A multicode single transition-time state assignment for asynchronous sequential machines", journal= ieeetc, volume = 27, pages = "927--934", month = oct, year = 1978 } @INPROCEEDINGS{Kung82, author = "S. Y. Kung and R. J. Gal-Ezer", title = "Synchronous versus asynchronous computation in very large scale integrated ({VLSI}) array processors", editor = "Joel Trimble", booktitle= "Real Time Signal Processing V", series = "Proceedings of SPIE", volume = 341, pages = "53--65", month = may, year = 1982 } @INPROCEEDINGS{Kuwako94, author = "Masashi Kuwako and Takashi Nanya", title = "Timing-Reliability Evaluation of Asynchronous Circuits Based on Different Delay Models", pages = "22--31", booktitle= async, month = nov, year = 1994 } @ARTICLE{Kwon94, author = "Yong-Jin Kwon and S. Yajima", title = "Minimum single transition-time assignment for asynchronous sequential circuits using {BDD}", journal= "Transactions of the Information Processing Society of Japan", volume = 35, number = 2, pages = "352--357", month = feb, year = 1994 } @ARTICLE{Lacroix82, author = "G. Lacroix and P. Marchegay and G. Piel", title = "Comments on `The anomalous behavior of flip-flops in synchronizer circuits'", pages = "77--78", journal= ieeetc, volume = 31, number = 1, note = "See: Fleischhammer 1979", month = jan, year = 1982 } @INPROCEEDINGS{Ladd91, author = "M. Ladd and W. P. Birmingham", title = "Synthesis of Multiple-Input Change Asynchronous Finite State Machines", booktitle= dac, year = 1991 } @ARTICLE{Lam90, author = "P. N. Lam and H. F. Li", title = "Hierarchical Design of Delay-Insensitive Systems", pages = "41--56", journal= ieepte, volume = "E-137", number = 1, month = jan, year = 1990 } @ARTICLE{Lam94, author = "P. N. Lam and Hon F. Li and S. C. Leung", title = "Optimization of State Encoding in Distributed Circuits", journal= ieeetcad, volume = 13, number = 5, pages = "581--588", month = may, year = 1994 } @ARTICLE{Landan76, author = "T. Landan", title = "Asynchronous timing in logic systems", journal= "Digital Processes", pages = "157--162", year = 1976 } @ARTICLE{Lau87, author = "C. H. Lau", title = "Self: a self-timed system design technique", journal= el, pages = "269--270", volume = 23, number = 6, month = mar, year = 1987 } @INPROCEEDINGS{Lau88, author = "C. H. Lau and D. Renshaw and J. Mavor", title = "Data-flow approach to self-timed logic in {VLSI}", booktitle= iscas, pages = "479--482", month = jun, year = 1988 } @INPROCEEDINGS{Lau89, author = "C. H. Lau and D. Renshaw and J. Mavor", title = "A self-timed wavefront array multiplier", booktitle= iscas, pages = "138--141", year = 1989 } @INPROCEEDINGS{Lavagno91, author = "Lavagno, Luciano and Keutzer, Kurt and Sangiovanni-Vincentelli, Alberto", title = "Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits", pages = "87--102", booktitle="Advanced Research in {VLSI}: Proceedings of the 1991 {UC} {S}anta {C}ruz Conference", editor = "S\'equin, Carlo H.", publisher= mit, year = 1991 } @INPROCEEDINGS{Lavagno91a, author = "Lavagno, Luciano and Keutzer, Kurt and Sangiovanni-Vincentelli, Alberto", title = "Algorithms for Synthesis of Hazard-free Asynchronous Circuits", booktitle= dac, publisher= icsp, pages = "302--308", year = 1991 } @INPROCEEDINGS{Lavagno92, author = "L. Lavagno and C. Moon and R. Brayton and A. Sangiovanni-Vincentelli", title = "Solving the state assignment problem for signal transition graphs", pages = "568--572", booktitle= dac, publisher= icsp, month = jun, year = 1992 } @INPROCEEDINGS{Lavagno92a, author = "L. Lavagno and A. Sangiovanni-Vincentelli", title = "Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits", pages = "275--278", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @PHDTHESIS{Lavagno92b, author = "Luciano Lavagno", title = "Synthesis and Testing of Bounded Wire Delay Asynchronous Circuits from Signal Transition Graphs", key = "testing", school = "U.C. Berkeley", note = "Technical report UCB/ERL M92/140", month = nov, year = 1992 } @INPROCEEDINGS{Lavagno93a, author = "L. Lavagno and A. Sangiovanni-Vincentelli", title = "Automated Synthesis of Asynchronous Interface Circuits", pages = "107--121", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @BOOK{Lavagno93b, author = "Luciano Lavagno and Alberto Sangiovanni-Vincentelli", title = "Algorithms for Synthesis and Testing of Asynchronous Circuits", key = "testing", publisher= kap, year = 1993 } @TECHREPORT{Lavagno93c, author = "Luciano Lavagno and Michael Kishinevsky and Antonio Lioy", title = "Testing redundant asynchronous circuits", institution= "Dept. of Comp. Science, Technical University of Denmark", number = "ID-TR:1993-124", key = "testing", year = 1993 } @ARTICLE{Lavagno94, author = "L. Lavagno and N. Shenoy and A. Sangiovanni-Vincentelli", title = "Linear Programming for Hazard Elimination in Asynchronous Circuits", pages = "137--160", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @INPROCEEDINGS{Lavagno94a, author = "Luciano Lavagno and Michael Kishinevsky and Antonio Lioy", title = "Testing Redundant Asynchronous Circuits by Variable Phase Splitting", key = "testing", booktitle= eurodac, pages = "328--333", publisher= icsp, month = sep, year = 1994 } @ARTICLE{Lavagno95, author = "Luciano Lavagno and Cho W. Moon and Robert K. Brayton and Alberto Sangiovanni-Vincentelli", title = "An Efficient Heuristic Procedure for Solving the State Assignment Problem for Event-Based Specifications", journal= ieeetcad, volume = 14, number = 1, pages = "45--60", month = jan, year = 1995 } @ARTICLE{Lavagno95a, author = "Luciano Lavagno and Kurt Keutzer and Alberto Sangiovanni-Vincentelli", title = "Synthesis of Hazard-Free Asynchronous Circuits with Bounded Wire Delays", journal= ieeetcad, volume = 14, number = 1, pages = "61--86", month = jan, year = 1995 } @ARTICLE{Lee95, author = "Trevor W. S. Lee and Mark R. Greenstreet and Carl-Johan Seger", title = "Automatic Verification of Asynchronous Circuits", pages = "24--31", journal= ieeedt, volume = 12, number = 1, month = "Spring", year = 1995 } @PHDTHESIS{Leung93, author = "S. C. Leung", title = "Synthesis of Delay-Insensitive Circuits from Graph-Theoretic Specifications", school = "Concordia University, Montreal", year = 1993 } @ARTICLE{Leung94, author = "S. C. Leung and Hon F. Li", title = "A Syntax-Directed Translation for the Synthesis of Delay-Insensitive Circuits", journal= ieeevlsi, pages = "196--210", volume = 2, number = 2, month = jun, year = 1994 } @ARTICLE{Leung95, author = "S. C. Leung and H. F. Li", title = "On the Realizability and Synthesis of Delay-Insensitive Behaviors", journal= ieeetcad, pages = "833--848", volume = 14, number = 7, month = jul, year = 1995 } @ARTICLE{Lev95, author = "Lavi A. Lev {\it et al}", title = "A 64-b Microprocessor with Multimedia Support", pages = "1227--1238", journal= ieeejssc, volume = 30, number = 11, month = nov, year = 1995 } @INPROCEEDINGS{Liebchen92, author = "Armin Liebchen and Ganesh Gopalakrishnan", title = "Dynamic Reordering of High Latency Transactions Using a Modified Pipeline", pages = "336--340", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Li91, author = "H. F. Li and S. C. Leung and P. N. Lam", title = "Synthesis of Delay-Insensitive Circuits by Refinement into Atomic Threads", pages = "180--186", booktitle= iccd, publisher= icsp, month = oct, year = 1991 } @ARTICLE{Li94, author = "H. F. Li and S. C. Leung and P. N. Lam", title = "Optimised synthesis of delay-insensitive circuits using time-sharing", journal= ieepte, volume = 141, number = 2, pages = "111--118", year = 1994 } @INPROCEEDINGS{Lin91, author = "K.-J. Lin and C.-S. Lin", title = "Automatic Synthesis of Asynchronous Circuits", pages = "296--301", booktitle= dac, publisher= icsp, year = 1991 } @INPROCEEDINGS{Lin92, author = "K.-J. Lin and C.-S. Lin", title = "A Realization Algorithm of Asynchronous Circuits from {STG}", pages = "322--326", booktitle= edac, publisher= icsp, year = 1992 } @INPROCEEDINGS{Lin92a, author = "K.-J. Lin and C.-S. Lin", title = "On the Verification of State-Coding in {STG}s", pages = "118--122", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @INPROCEEDINGS{Lin94, author = "Kuan-Jen Lin and Jih-Wen Kuo and Chen-Shang Lin", title = "Direct synthesis of hazard-free asynchronous circuits from {STG}s based on lock relation and {MG}-decomposition approach", booktitle= edtc, pages = "178--183", publisher= icsp, year = 1994 } @INPROCEEDINGS{Lin94a, author = "Bill Lin and Chantal Ykman-Couvreur and Peter Vanbekbergen", title = "A General State Graph Transformation Framework for Asynchronous Synthesis", booktitle= eurodac, publisher= icsp, pages = "448--453", month = sep, year = 1994 } @INPROCEEDINGS{Lin94b, author = "Bill Lin and Srinivas Devadas", title = "Synthesis of Hazard-Free Multi-level Logic under Multiple-Input Changes from Binary Decision Diagrams", booktitle= iccad, pages = "542--549", month = nov, year = 1994 } @INPROCEEDINGS{Lin95, author = "Bill Lin and Gjalt de Jong and Tilman Kolks", title = "Hierarchical Optimization of Asynchronous Circuits", booktitle= dac, month = jun, year = 1995 } @ARTICLE{Lin95a, author = "Bill Lin and Srinivas Devadas", title = "Synthesis of Hazard-Free Multilevel Logic Under Multi-Input Changes from Binary Decision Diagrams", pages = "974--985", journal= ieeetcad, volume = 14, number = 8, month = aug, year = 1995 } @ARTICLE{Lister85, author = "P. F. Lister", title = "Design methodology for self-timed {VLSI} systems", pages = "25--32", journal= ieepte, volume = 132, number = 1, month = jan, year = 1985 } @ARTICLE{Liu63, author = "C. N. Liu", title = "A State Variable Assignment Method for Asynchronous Sequential Switching Circuits", journal= jacm, volume = 10, pages = "209--216", year = 1963 } @MASTERSTHESIS{Liu92, author = "Ying Liu", title = "Reasoning about asynchronous designs in {CCS}", school = "Dept. of Electrical and Computer Engineering, University of Calgary", year = 1992 } @ARTICLE{Lloyd92, author = "D. Lloyd and S. Jones", title = "Improved selftimed circuit design method", journal= el, volume = 28, number = 5, pages = "492--493", month = feb, year = 1992 } @ARTICLE{Lu95, author = "Shih-Lien Lu", title = "Implementation of Micropipelines in Enable/Disable {CMOS} Differential Logic", pages = "338--341", journal= ieeevlsi, volume = 3, number = 2, month = jun, year = 1995 } @ARTICLE{Lubkin52, author = "S. Lubkin", title = "Asynchronous Circuits in Digital Computers", journal= "Mathematical Tables and other Aids to Computation", pages = "238--241", month = oct, year = 1952 } @PHDTHESIS{Lucassen94, author = "Paul G. Lucassen", title = "A Denotational Model and Composition Theorems for a Calculus of Delay-Insensitive Specifications", school = "Dept. of C.S., Univ. of Groningen, The Netherlands", month = may, year = 1994 } @INPROCEEDINGS{Lucassen95, author = "P. G. Lucassen and J. T. Udding", title = "High-Level Design and Verification of an Asynchronous Queue Controller", booktitle= patmos, month = oct, year = 1995 } @INPROCEEDINGS{Lucassen96, author = "P. G. Lucassen and J. T. Udding", title = "On the Correctness of the Sproull Conterflow Pipeline Processor", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Maezawa96, author = "M. Maezawa and I. Kurasawa and Y. Kameda and T. Nanya", title = "Pulse-driven dual-rail logic gate family based on rapid single flux quantum ({RSFQ}) devices for asynchronous circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Mago70, author = "Gyula Mag\'o", title = "Asynchronous sequential circuits with (2,1) type state assignments", pages = "109--113", booktitle= ssat, publisher= icsp, year = 1970 } @ARTICLE{Mago71, author = "G. Mag\'o", title = "Realization Methods for Asynchronous Sequential Circuits", journal= ieeetc, volume = "C-20", number = 3, pages = "290--297", month = mar, year = 1971 } @TECHREPORT{Mak92, author = "Rudolf H. Mak and Mark B. Josephs", title = "Proceedings of {ACiD-WG/EXACT} Workshop on Asynchronous Data Processing", institution= eut, number = "EXACT/D.2/EUT/m6/D2", month = dec, year = 1992 } @ARTICLE{Maki69, author = "G. K. Maki and J. H. Tracy and R. J. Smith", title = "Generation of design equations in asynchronous sequential circuits", journal= ieeetc, volume = 18, pages = "467--472", month = may, year = 1969 } @ARTICLE{Maki71, author = "G. K. Maki and J. H. Tracy", title = "A state assignment procedure for asynchronous sequential circuits", journal= ieeetc, volume = 20, pages = "666--668", month = jun, year = 1971 } @INPROCEEDINGS{Maki94, author = "Gary K. Maki and Kristen Q. Chen", title = "Partition Algebraic Design of Asynchronous Sequential Circuits", pages = "313--315", booktitle= "Proc. 1st International Conference on ASIC", address= "Beijing, China", month = oct, year = 1994 } @INPROCEEDINGS{Malachi81, author = "Malachi, Yonatan and Owicki, Susan S.", title = "Temporal Specifications of Self-Timed Systems", booktitle= "{VLSI} Systems and Computations", editor = "Kung, H. T. and Sproull, Bob and Steele, Guy", publisher= csp, pages = "203--212", year = 1981 } @INPROCEEDINGS{Manohar96, author = "R. Manohar and A. J. Martin", title = "Quasi-delay-insensitive Circuits are {Turing} Complete", booktitle= async, publisher= icsp, month = mar, year = 1996 } @ARTICLE{Marino77, author = "Leonard R. Marino", title = "The effect of asynchronous inputs on sequential network reliability", journal= ieeetc, volume = 26, pages = "1082--1090", year = 1977 } @ARTICLE{Marino81, author = "Leonard R. Marino", title = "General Theory of Metastable Operation", journal= ieeetc, volume = "C-30", number = 2, pages = "107--115", month = feb, year = 1981 } @INCOLLECTION{Marques83, author = "J. Alves Marques and A. Cunha", title = "Clocking of {VLSI} Circuits", editor = "B. Randell and P. C. Treleaven", booktitle= "VLSI Architecture", chapter= 15, pages = "165--178", publisher= ph, year = 1983 } @ARTICLE{Marshall94, author = "Alan Marshall and Bill Coates and Polly Siegel", title = "Designing an Asynchronous Communications Chip", journal= ieeedt, volume = 11, number = 2, pages = "8--21", year = 1994 } @ARTICLE{Martin85a, author = "Alain J. Martin", title = "The Probe: An Addition to Communication Primitives", journal= ipl, volume = 20, number = 3, pages = "125--130", note = "Erratum: IPL 21(2):107, 1985", year = 1985 } @INPROCEEDINGS{Martin85b, author = "Alain J. Martin", title = "The Design of a Self-timed Circuit for Distributed Mutual Exclusion", booktitle="Proceedings of the 1985 Chapel Hill Conference on {VLSI}", publisher= csp, pages = "245--260", editor = "Henry Fuchs", year = 1985 } @TECHREPORT{Martin85c, author = "Alain J. Martin", title = "A Delay-Insensitive Fair Arbiter", institution=caltech, number = "5193:TR:85", year = 1985 } @ARTICLE{Martin86, author = "Alain J. Martin", title = "Compiling Communicating Processes into Delay-Insensitive {VLSI} Circuits", journal= dc, volume = 1, number = 4, pages = "226--234", year = 1986 } @TECHREPORT{Martin86b, author = "Alain J. Martin", title = "On {S}eitz's Arbiter", institution= "Caltech Computer Science", number = "5212:TR:86", year = 1986 } @INPROCEEDINGS{Martin86c, author = "Alain J. Martin", title = "Self-Timed {FIFO}: An Exercise in Compiling Programs into {VLSI} Circuits", editor = "D. Borrione", booktitle= "From {HDL} Descriptions to Guaranteed Correct Circuit Designs", pages = "133--153", publisher= esp, year = 1986 } @INPROCEEDINGS{Martin87, author = "Alain J. Martin", title = "A Synthesis Method for Self-Timed {VLSI} Circuits", booktitle= iccd, publisher= icsp, address= "Rye Brook, NY", pages = "224--229", year = 1987 } @INPROCEEDINGS{Martin89, author = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.", title = "The Design of an Asynchronous Microprocessor", pages = "351--373", booktitle= "Advanced Research in {VLSI}: Proceedings of the Decennial {C}altech Conference on {VLSI}", editor = "Seitz, Charles L.", publisher= mit, year = 1989 } @INPROCEEDINGS{Martin89b, author = "Martin, Alain J.", title = "Formal Program Transformations for {VLSI} Circuit Synthesis", pages = "59--80", booktitle= "Formal Development of Programs and Proofs", series = "{UT} Year of Programming Series", editor = "Dijkstra, Edsger W.", publisher= aw, year = 1989 } @INPROCEEDINGS{Martin89c, author = "Martin, Alain J.", title = "The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation", booktitle="Hardware Specification, Verification and Synthesis: Mathematical Aspects", editor = "M. Leeser and G. Brown", series = lncs, volume = 408, pages = "244--259", publisher= springer, year = 1989 } @ARTICLE{Martin89d, author = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.", title = "The first asynchronous microprocessor: the test results", journal= "Computer Architecture News", volume = 17, number = 4, pages = "95--110", month = jun, year = 1989 } @INPROCEEDINGS{Martin90b, author = "Martin, Alain J.", title = "The Limitations to Delay-Insensitivity in Asynchronous Circuits", pages = "263--278", booktitle="Sixth {MIT} Conference on Advanced Research in {VLSI}", editor = "William J. Dally", publisher= mit, year = 1990 } @INPROCEEDINGS{Martin90c, author = "Martin, Alain J.", title = "Programming in {VLSI}: From Communicating Processes to Delay-Insensitive Circuits", booktitle= "Developments in Concurrency and Communication", series = "{UT} Year of Programming Series", editor = "Hoare, C. A. R.", pages = "1--64", publisher= aw, year = 1990 } @INCOLLECTION{Martin90d, author = "Martin, Alain J.", title = "Synthesis of Asynchronous {VLSI} Circuits", pages = "237--283", chapter= 6, booktitle="Formal Methods for {VLSI} Design", editor = "J. Straunstrup", publisher= "North-Holland", year = 1990 } @INPROCEEDINGS{Martin91, author = "Martin, Alain J. and Hazewindus, Pieter J.", title = "Testing Delay-Insensitive Circuits", key = "testing", pages = "118--132", booktitle="Advanced Research in {VLSI}: Proceedings of the 1991 {UC} {S}anta {C}ruz Conference", editor = "S\'equin, Carlo H.", publisher= mit, year = 1991 } @BOOKLET{Martin91a, author = "Alain J. Martin", title = "Synthesis of Asynchronous {VLSI} Circuits", howpublished= "Course Notes, VLSI~91, Edinburgh", month = aug, year = 1991 } @ARTICLE{Martin92, author = "Alain J. Martin", title = "Asynchronous Datapaths and the Design of an Asynchronous Adder", pages = "119--137", journal= fmsd, volume = 1, number = 1, month = jul, year = 1992 } @INPROCEEDINGS{Martin92a, author = "Alain J. Martin", title = "Tomorrow's Digital Hardware will be Asynchronous and Verified", pages = "684--695", editor = "J. van Leeuwen", booktitle= "Information Processing 92, Vol.~I: Algorithms, Software, Architecture", series = ifip, publisher= esp, volume = "A-12", year = 1992 } @ARTICLE{Maxfield95, author = "Clive Maxfield", title = "To be or not to be asynchronous; that is the question", pages = "157--173", journal= "EDN", month = "Dec 7", year = 1995 } @ARTICLE{McAuley92a, author = "Anthony J. McAuley", title = "Four State Asynchronous Architectures", journal= ieeetc, pages = "129--142", volume = 41, number = 2, month = feb, year = 1992 } @ARTICLE{McAuley92b, author = "Anthony J. McAuley", title = "Dynamic Asynchronous Logic for High-Speed {CMOS} Systems", journal= ieeejssc, pages = "382--388", volume = 27, number = 3, month = mar, year = 1992 } @INPROCEEDINGS{McMillan92, author = "Kenneth McMillan", title = "Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits", pages = "164--177", editor = "G. v. Bochman and D. K. Probst", booktitle= cav, series = lncs, volume = 663, publisher= springer, year = 1992 } @ARTICLE{Mehra95, author = "R. Mehra and J. D. Garside", title = "A Cache Line FIll Circuit for a Micropipelined, Asynchronous Microprocessor", journal= tcca, month = oct, year = 1995 } @INPROCEEDINGS{Meijer92, author = "E. Meijer", title = "Hazard algebra and the design of asynchronous automata", booktitle= "Proc. of the 1992 Glasgow workshop on Functional Programming", pages = "166--177", year = 1992 } @ARTICLE{Mendler93, author = "Michael Mendler and Terry Stroup", title = "newtonian Arbiters Cannot be Proven Correct", journal= fmsd, volume = 3, number = 3, month = dec, year = 1993 } @INPROCEEDINGS{Meng87, author = "Meng, Teresa H.-Y. and Brodersen, Robert W. and Messerschmitt, David G.", title = "A Synthesis Method for Self-timed {VLSI} Circuits", booktitle= iccad, pages = "514--517", year = 1987 } @PHDTHESIS{Meng88, author = "Meng, Teresa H.-Y.", title = "Asynchronous Design for Digital Signal Processing Architectures", school = "{UC} Berkely", year = 1988 } @INPROCEEDINGS{Meng88a, author = "T. H.-Y. Meng and G. M. Jacobs and R. W. Brodersen and D. G. Messerschmitt", title = "Asynchronous Processor Design for Digital Signal Processing", booktitle= "International Conference on Acoustics, Speech, and Signal Processing (ICASSP)", volume = 4, pages = "2013--2016", year = 1988 } @INCOLLECTION{Meng88b, author = "Teresa H.-Y. Meng and Robert W. Brodersen and David G. Messerschmitt", title = "Implementation of High Sampling Rate Adaptive Filters Using Asynchronous Design Techniques", chapter= 20, editor = "Robert W. Brodersen and Howard S. Moscovitz", booktitle= "VLSI Signal Processing, III", publisher= "IEEE Press", year = 1988 } @ARTICLE{Meng89, author = "Meng, Teresa H.-Y. and Brodersen, Robert W. and Messerschmitt, David G.", title = "Automatic Synthesis of Asynchronous Circuits from High-Level Specifications", journal= ieeetcad, volume = 8, number = 11, pages = "1185--1205", month = nov, year = 1989 } @ARTICLE{Meng90, author = "Meng, Teresa H.-Y. and Brodersen, Robert W. and Messerschmitt, David G.", title = "A Clock-Free Chip Set for High-Sampling Rate Adaptive Filters", journal= vlsisp, volume = 1, number = 4, pages = "345--365", year = 1990 } @ARTICLE{Meng91, author = "Meng, Teresa H.-Y. and Brodersen, Robert W. and Messerschmitt, David G.", title = "Asynchronous Design for Programmable Digital Signal Processors", pages = "939--952", journal= ieeetsp, volume = 39, number = 4, month = apr, year = 1991 } @BOOK{Meng91a, author = "Meng, Teresa H.-Y.", title = "Synchronization Design for Digital Systems", publisher= kap, note = "Contributions by David Messerschmitt, Steven Nowick, and David Dill", year = 1991 } @BOOK{Miller65a, author = "Miller, R. E.", title = "Combinational Circuits", volume = 1, series = "Switching Theory", publisher= wiley, year = 1965 } @BOOK{Miller65b, author = "Miller, R. E.", title = "Sequential Circuits and Machines", volume = 2, series = "Switching Theory", publisher= wiley, year = 1965 } @INPROCEEDINGS{Mills89, author = "Mills, Peter H. and Brock, J. Dean", title = "A Partial Order Characterization of Delay-Insensitive Circuits", booktitle= "Proceedings of the {IFIP} {TC-10} Conference on Design Methodologies for {VLSI} and Computer Architecture", editor = "Edwards, D. A.", address= "Pisa, Italy, Sept. 1988", publisher= "North-Holland", year = 1989 } @BOOK{Milner89, author = "Robin Milner", title = "Communication and Concurrency", publisher= ph, year = 1989 } @INPROCEEDINGS{Mishra92, author = "Yogesh Mishra and S. D. Sherlekar and G. Venkatesh", title = "Path Breaker: A Tool for the Optimal Design of Speed Independent Asynchronous Controllers", pages = "2--8", booktitle= eurodac, address= "Hamburg, Germany", publisher= icsp, month = sep, year = 1992 } @ARTICLE{Misunas73, author = "David Misunas", title = "Petri Nets and Speed Independent Design", journal= cacm, volume = 16, number = 8, pages = "474--481", month = aug, year = 1973 } @INPROCEEDINGS{Miyamoto96, author = "T. Miyamoto and S. Kumagai", title = "An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @TECHREPORT{Molnar83, author = "Molnar, Charles E. and Fang, Ting-Pien", title = "Synthesis of Reliable Speed-Independent Circuit Modules: I. General Method for Specification of Module-Environment Interaction and Derivation of a Circuit Realization", type = "Technical Memorandum", number = 297, institution= "Computer Systems Laboratory, Institute for Biomedical Computing, Washington Univ., St. Louis, MO", year = 1983 } @INPROCEEDINGS{Molnar85, author = "Molnar, Charles E. and Fang, Ting-Pien and Rosenberger, Frederick U.", title = "Synthesis of Delay-Insensitive Modules", booktitle= "1985 {C}hapel {H}ill Conference on Very Large Scale Integration", editor = "Fuchs, Henry", pages = "67--86", publisher= csp, year = 1985 } @INPROCEEDINGS{Molnar86, author = "Molnar, Charles E.", title = "Introduction to Asynchronous Systems", booktitle="Proceedings New Frontiers in Computer Science Conference", pages = "83--93", address= "Santa Monica: Citicorp/TTI", month = mar, year = 1986 } @INPROCEEDINGS{Moon91a, author = "Cho W. Moon and Paul R. Stephan and Robert K. Brayton", title = "Specification, Synthesis and Verification of Hazard-free Asynchronous Circuits", booktitle= iwls, month = may, year = 1991 } @INPROCEEDINGS{Moon91b, author = "Cho W. Moon and Paul R. Stephan and Robert K. Brayton", title = "Synthesis of Hazard-free Asynchronous Circuits from Graphical Specifications", booktitle= iccad, publisher= icsp, pages = "322--325", month = nov, year = 1991 } @INPROCEEDINGS{Moon93, author = "Cho W. Moon and Robert K. Brayton", title = "Elimination of dynamic hazards in asynchronous circuits by factoring", pages = "7--13", booktitle= dac, publisher= icsp, month = jun, year = 1993 } @ARTICLE{Moon94, author = "Cho W. Moon and Paul R. Stephan and Robert K. Brayton", title = "Specification, Synthesis and Verification of Hazard-Free Asynchronous Circuits", pages = "85--100", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @INPROCEEDINGS{Morton94, author = "Shannon V. Morton and Sam S. Appleton and Michael J. Liebelt", title = "An Event Controlled Reconfigurable Multi-chip {FFT}", pages = "144--153", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Morton95, author = "Shannon V. Morton and Sam S. Appleton and Michael J. Liebelt", title = "{ECSTAC}: A Fast Asynchronous Microprocessor", pages = "180--189", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Mukai74, author = "Yuzo Mukai and Yoshihiro Tohma", title = "A method for the realization of fail-safe asynchronous sequential circuits", pages = "736--739", journal= ieeetc, volume = 23, number = 7, month = jul, year = 1974 } @INPROCEEDINGS{Mudge89, author = "J. Craig Mudge", title = "An Illustration of Micropipelines using Two-Dimensional Fourier Transform Architectures", pages = "359--368", booktitle= "Proceedings of {VLSI} 89", editor = "G. Musgrave and U. Lauther", publisher= esp, year = 1989 } @INPROCEEDINGS{Muller59, author = "David E. Muller and W. S. Bartky", title = "A Theory of Asynchronous Circuits", booktitle= "Proceedings of an International Symposium on the Theory of Switching", publisher= "Harvard University Press", pages = "204--243", month = apr, year = 1959 } @INPROCEEDINGS{Muller62, author = "David E. Muller", title = "Asynchronous Logics and Application to Information Processing", booktitle= "Symposium on the Application of Switching Theory to Space Technology", publisher= "Stanford University Press", year = 1962 } @INPROCEEDINGS{Muller67, author = "D. E. Muller", title = "The General Synthesis Problem for Asynchronous Digital Networks", booktitle= ssat, address= "New York", year = 1967 } @INPROCEEDINGS{Myers92, author = "Chris Myers and Teresa H.-Y. Meng", title = "Synthesis of Timed Asynchronous Circuits", pages = "279--282", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @ARTICLE{Myers93, author = "Chris J. Myers and Teresa H.-Y. Meng", title = "Synthesis of Timed Asynchronous Circuits", pages = "106--119", journal= ieeevlsi, volume = 1, number = 2, month = jun, year = 1993 } @TECHREPORT{Myers95, author = "C. J. Myers and T. G. Rokicki and T. H.-Y. Meng", title = "Automatic synthesis and verification of gate-level timed circuits", number = "CSL-TR-94-652", institution= su, month = jan, year = 1995 } @INPROCEEDINGS{Myers95a, author = "C. J. Myers and T. G. Rokicki and T. H.-Y. Meng", title = "Automatic synthesis of gate-level timed circuits with choice", booktitle= "Proc. 16th Conf. on Advanced Research in VLSI", pages = "42--58", publisher= icsp, year = 1995 } @INPROCEEDINGS{Myers95b, author = "Chris J. Myers and Peter A. Beerel and Teresa H.-Y. Meng", title = "Technology Mapping of Timed Circuits", pages = "138--147", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Nanya78, author = "Takashi Nanya and Yoshihiro Tohma", title = "On universal single transition time asynchronous state assignments", pages = "781--782", journal= ieeetc, volume = 27, number = 8, month = aug, year = 1978 } @ARTICLE{Nanya79, author = "Takashi Nanya and Yoshihiro Tohma", title = "Universal multicode {STT} state assignments for asynchronous sequential machines", pages = "811--818", journal= ieeetc, volume = 28, number = 11, month = nov, year = 1979 } @INPROCEEDINGS{Nanya80, author = "Takashi Nanya and Yoshihiro Tohma", title = "Design of self-checking asynchronous sequential circuits", pages = "278--280", booktitle= "Proceedings of the 10th International Symposium on Fault-Tolerant Computing (FTCS-10)", month = oct, year = 1980 } @INPROCEEDINGS{Nanya93, author = "T. Nanya and M. Kuwako", title = "On Signal Transition Causality for Self-Timed Implementation of Boolean Functions", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @INCOLLECTION{Nanya93a, author = "Takashi Nanya", title = "Challenges to Dependable Asynchronous Processor Design", editor = "Tsutomu Sasao", booktitle= "Logic Synthesis and Optimization", chapter= 9, pages = "191--213", publisher= kap, year = 1993 } @ARTICLE{Nanya94, author = "Takashi Nanya and Yoichiro Ueno and Hiroto Kagotani and Masashi Kuwako and Akihiro Takamura", title = "{TITAC}: Design of a Quasi-Delay-Insensitive Microprocessor", journal= ieeedt, volume = 11, number = 2, pages = "50--63", year = 1994 } @INPROCEEDINGS{Negulescu95, author = "R. Negulescu and J. A. Brzozowski", title = "Relative Liveness: From Intuition to Automated Verification", pages = "108--117", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Nielsen90, author = "Nielsen, C. D. and Staunstrup, J. and Jones, S. R.", title = "Potential Performance Advantages of Delay Insensitivity", booktitle= "Proceedings of Workshop on Silicon Architectures for Neural Nets", address= "St. Paul-de-Vence, France", month = nov, year = 1990 } @INPROCEEDINGS{Nielsen91, author = "Christian Dalsgaard Nielsen and J{\o}rgen Staunstrup and Simon Jones", title = "A Delay-Insensitive Neural Network Engine", editor = "Will R. Moore", booktitle= "Proceedings of the Workshop on {VLSI} for Neural Networks", month = sep, pages = "367--376", year = 1991 } @INPROCEEDINGS{Nielsen93, author = "Christian D. Nielsen and Alain J. Martin", title = "Design of a Delay-Insensitive Multiply-Accumulate Unit", booktitle= hicss, volume = "I", pages = "379--388", publisher= icsp, month = jan, year = 1993 } @ARTICLE{Nielsen93a, author = "Christian D. Nielsen and Alain J. Martin", title = "Design of a Delay-Insensitive Multiply-Accumulate Unit", pages = "291--311", journal= integration, volume = 15, number = 3, month = oct, year = 1993 } @INPROCEEDINGS{Nielsen94, author = "Lars Skovby Nielsen and Jens Spars\o", title = "Low-power operation using self-timed and adaptive scaling of the supply voltage", booktitle= "1994 International Workshop on Low Power, Napa, California", month = apr, year = 1994 } @INPROCEEDINGS{Nielsen94a, author = "Christian D. Nielsen and Michael Kishinevski", title = "Performance Analysis Based on Timing Simulation", pages = "70--76", booktitle= dac, month = jun, year = 1994 } @INPROCEEDINGS{Nielsen94b, author = "Christian D. Nielsen", title = "Evaluation of Function Blocks for Asynchronous Design", booktitle= eurodac, publisher= icsp, pages = "454--459", month = sep, year = 1994 } @TECHREPORT{Nielsen94c, author = "Christian D. Nielsen", title = "Evaluation of Function Blocks Designs", number = "ID-TR: 1994-135", institution="Dept. of Computer Science, Technical University of Denmark, Lyngby", year = 1994 } @PHDTHESIS{Nielsen94d, author = "Christian D. Nielsen", title = "Performance Aspects of Delay-Insensitive Design", school = "Dept. of Computer Science, Technical University of Denmark, Lyngby", year = 1994 } @ARTICLE{Nielsen94e, author = "L. S. Nielsen and C. Niessen and J. Spars\o and C.H. van Berkel", title = "Low-power operation using self-timed and adaptive scaling of the supply voltage", pages = "391--397", journal= ieeevlsi, volume = 2, number = 4, month = dec, year = 1994 } @INPROCEEDINGS{Nielsen96, author = "L. S. Nielsen and J. Spars\o", title = "A Low-power Asynchronous Data-path for a {FIR} Filter Bank", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Niessen88, author = "Niessen, Cees and van Berkel, C. H. (Kees) and Rem, Martin and Saeijs, Ronald W. J. J.", title = "{VLSI} Programming and Silicon Compilation: A Novel Approach from {Philips Research}", booktitle= iccd, publisher= icsp, pages = "150--151", address= "Rye Brook, New York", year = 1988 } @ARTICLE{Nordmann77, author = "Bernhard J. Nordmann", title = "Modular Asynchronous Control Design", pages = "196--207", journal= ieeetc, volume = 26, number = 3, month = mar, year = 1977 } @INPROCEEDINGS{Nouta92, author = "R. Nouta and M. Sim and Gunawan", title = "Two self-timed handshake controllers for high speed applications", booktitle= iscas, volume = 5, pages = "2124--2127", year = 1992 } @INPROCEEDINGS{Nowick89, author = "Nowick, Steven M. and Dill, David L.", title = "Practicality of State-Machine Verification of Speed-Independent Circuits", booktitle= iccad, publisher= icsp, pages = "266--269", month = nov, year = 1989 } @INPROCEEDINGS{Nowick91, author = "Nowick, Steven M. and Dill, David L.", title = "Automatic Synthesis of Locally-Clocked Asynchronous State Machines", booktitle= iccad, publisher= icsp, pages = "318--321", month = nov, year = 1991 } @INPROCEEDINGS{Nowick91a, author = "Nowick, Steven M. and Dill, David L.", title = "Synthesis of Asynchronous State Machines Using a Local Clock", pages = "192--197", booktitle= iccd, publisher= icsp, month = oct, year = 1991 } @INPROCEEDINGS{Nowick92, author = "Nowick, Steven M. and Dill, David L.", title = "Exact Two-Level Minimization of Hazard-Free Logic with Multiple-Input Changes", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @INPROCEEDINGS{Nowick92a, author = "Steven M. Nowick and Kenneth Y. Yun and David L. Dill", title = "Practical Asynchronous Controller Design", pages = "341--345", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Nowick93, author = "Steven M. Nowick and Mark E. Dean and David L. Dill and Mark Horowitz", title = "The Design of a High-Performance Cache Controller: a Case Study in Asynchronous Synthesis", booktitle= hicss, volume = "I", pages = "419--427", publisher= icsp, month = jan, year = 1993 } @PHDTHESIS{Nowick93a, author = "Steven M. Nowick", title = "Automatic Synthesis of Burst-Mode Asynchronous Controllers", school = "Stanford University, Department of Computer Science", year = 1993 } @ARTICLE{Nowick93b, author = "Steven M. Nowick and Mark E. Dean and David L. Dill and Mark Horowitz", title = "The Design of a High-Performance Cache Controller: a Case Study in Asynchronous Synthesis", pages = "241--262", journal= integration, volume = 15, number = 3, month = oct, year = 1993 } @INPROCEEDINGS{Nowick94, author = "S. M. Nowick and B. Coates", title = "Automated design of high-performance asychronous state machines", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @INPROCEEDINGS{Nowick95, author = "S. Nowick and N. Jha and F-C. Cheng", title = "Synthesis of Asynchronous Circuits for Stuck-at and Robust Path Delay Fault Testability", key = "testing", booktitle= "Proceedings of VLSI Design-95", note = ta, year = 1995 } @ARTICLE{Nowick95a, author = "Steven M. Nowick and David L. Dill", title = "Exact Two-Level Minimization of Hazard-Free Logic with Multiple-Input Changes", pages = "986--997", journal= ieeetcad, volume = 14, number = 8, month = aug, year = 1995 } @TECHREPORT{Olivieri92, author = "M. Olivieri", title = "Translating occam constructs into delay-insensitive circuits: a trace theory-based proof", institution= "Dept. of Biophys. and Electronic Eng., Univ. of Genoa, Italy", number = "CPSI92-1", year = 1992 } @INPROCEEDINGS{Orava89, author = "Orava, Fredrik", title = "Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes", booktitle= "Protocol Specification, Testing and Verification: Proceedings of the 9th International {IFIP} WG~6.1 Workshop", editor = "Brinksma, Ed and Scollo, Guiseppe and Vissers, Chris A.", year = 1989 } @INPROCEEDINGS{Ornstein67, author = "Severo M. Ornstein and Mishell J. Stucki and Wesley A. Clark", title = "A Functional Description of Macromodules", pages = "337--355", booktitle= "AFIPS Conference Proceedings: 1967 Spring Joint Computer Conference", address= "Atlantic City, NJ", volume = 30, publisher= ap, year = 1967 } @INPROCEEDINGS{Orton86, author = "G. Orton and L. E. Peppard and S. E. Tavares", title = "A Fast Asynchronous {RSA} Encryption Chip", pages = "439--442", booktitle= "Proceedings of the IEEE 1986 Custom Integrated Circuits Conference", publisher= icsp, month = may, year = 1986 } @INPROCEEDINGS{Ozguner77, author = "Fusin Ozguner", title = "Design of totally self-checking asynchronous and synchronous sequential machines", key = "testing", pages = "124--129", booktitle= "Proceedings of the 7th International Symposium on Fault-Tolerant Computing (FTCS-7)", month = jun, year = 1977 } @INPROCEEDINGS{Pagey92, author = "S. Pagey and G. Venkatesh and S. Sherlekar", title = "Issues in Fault Modeling and Testing of Micropipelines", booktitle= "First Asian Test Symposium", address= "Hiroshima, Japan", month = nov, year = 1992 } @INPROCEEDINGS{Pastor93, author = "Enric Pastor and Jordi Cortadella", title = "Polynomial Algorithms for the Synthesis of Hazard-free Circuits from Signal Transition Graphs", booktitle= iccad, pages = "250--254", publisher= icsp, month = nov, year = 1993 } @ARTICLE{Patel89, author = "V. Patel and K. Steptoe", title = "Evaluation of self-timed systems for {VLSI}", pages = "215--217", journal= el, volume = 25, number = 3, month = feb, year = 1989 } @INPROCEEDINGS{Pastor96, author = "E. Pastor and J. Cortadella and O. Roig and A. Kondratyev", title = "Structural Methods for the Synthesis of Speed-Independent Circuits", booktitle= edtc, month = mar, year = 1996 } @INPROCEEDINGS{Patra94, author = "Priyadarsan Patra and Donald Fussel", title = "Efficient Building Blocks for Delay Insensitive Circuits", pages = "196--205", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Paver92, author = "N. C. Paver and P. Day and S. B. Furber and J. D. Garside and J. V. Woods", title = "Register Locking in an Asynchronous Microprocessor", pages = "351--355", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @PHDTHESIS{Paver94, author = "N. C. Paver", title = "The Design and Implementation of an Asynchronous Microprocessor", school = "Department of Computer Science, University of Manchester", month = jun, year = 1994 } @ARTICLE{Pearce75, author = "R. C. Pearce and J. A. Field and W. D. Little", title = "Asynchronous Arbiter Module", pages = "931--932", journal= ieeetc, volume = 24, month = sep, year = 1975 } @ARTICLE{Pechoucek76, author = "Miroslav Pe\u{c}hou\u{c}ek", title = "Anomalous Response Times of Input Synchronizers", pages = "133--139", journal= ieeetc, volume = 25, number = 2, month = feb, year = 1976 } @TECHREPORT{Peeters90, author = "Ad Peeters", title = "Decomposition of Delay-Insensitive Circuits", institution= eut, type = csn, number = "90/04", month = apr, year = 1990 } @INPROCEEDINGS{Peeters95, author = "Ad Peeters and Kees van Berkel", title = "Single-Rail Handshake Circuits", pages = "53--62", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Pena96, author = "M. A. Pena and J. Cortadella", title = "Combining Process Algebras and {Petri} Nets for the Specification and Synthesis of Asynchronous Circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @ARTICLE{Petlin95, author = "O. A. Petlin and S. B. Furber and A. M. Romankevich and V. V. Groll", title = "Designing Asynchronous Sequential Circuits for Random Pattern Testability", journal= ieepte, volume = 142, number = 4, year = 1995 } @INPROCEEDINGS{Piestrak94, author = "S. J. Piestrak", title = "Design of Totally Self-Checking Code Disjoint Inverter-Free {PLA}a for Separable Unordered Codes", key = "testing", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @ARTICLE{Piguet91, author = "Christian Piguet", title = "Logic Synthesis of Race-Free Asynchronous {CMOS} Circuits", pages = "371--380", journal= ieeejssc, volume = 26, number = 3, month = mar, year = 1991 } @ARTICLE{Plummer72, author = "W. W. Plummer", title = "Asynchronous Arbiters", pages = "37--42", journal= ieeetc, volume = 21, number = 1, month = jan, year = 1972 } @ARTICLE{Portmann95, author = "Clemenz L. Portmann and Teresa H. Y. Meng", title = "Metastability in {CMOS} Library Elements in Reduced Supply and Technology Scaled Applications", journal= ieeejssc, volume = 30, number = 1, pages = "39--46", month = jan, year = 1995 } @TECHREPORT{Probst88, author = "Probst, David K. and Li, Hon F.", title = "Abstract Specification, Composition and Proof of Correctness of Delay-Insensitive Circuits and Systems", institution= "Dept. of C.S., Concordia Univ., Montreal, Canada", number = "CS-VLSI-88-2", month = apr, year = 1988 } @INPROCEEDINGS{Probst89, author = "David K. Probst and Hon F. Li", title = "Partial-order model checking of delay-insensitive systems", pages = "73--80", editor = "R. Hobson", booktitle= "Proceedings of 1989 Canadian Conference on {VLSI}", month = oct, year = 1989 } @INPROCEEDINGS{Probst90, author = "David K. Probst and Hon F. Li", title = "Using partial-order semantics to avoid the state explosion problem in asynchronous systems", pages = "146--155", editor = "Robert P. Kurshan and Edmund M. Clarke", booktitle= cav, series = lncs, volume = 531, publisher= springer, year = 1990 } @INPROCEEDINGS{Probst91, author = "David K. Probst and Hon F. Li", title = "Partial-order model checking: a guide for the perplexed", pages = "322--331", editor = "K. G. Larsen and A. Skou", booktitle= cav, series = lncs, publisher= springer, volume = 575, year = 1991 } @INPROCEEDINGS{Puri93, author = "R. Puri and J. Gu", title = "Signal transition graph constraints for speed-independent circuit synthesis", pages = "1686--1689", booktitle= iscas, publisher= icsp, volume = 3, year = 1993 } @ARTICLE{Puri93a, author = "Ruchir Puri and Jun Gu", title = "Asynchronous circuit synthesis; persistency and complete state coding constraints in signal transistion graphs", pages = "933--940", journal= ije, volume = 75, number = 5, year = 1993 } @INPROCEEDINGS{Puri94, author = "Ruchir Puri and Jun Gu", title = "A Divide-and-Conquer Approach for Asynchronous Interface Synthesis", pages = "118--125", booktitle= ishls, publisher= icsp, month = may, year = 1994 } @INPROCEEDINGS{Puri94a, author = "Ruchir Puri and Jun Gu", title = "A Modular Partitioning Approach for Asynchronous Circuit Synthesis", pages = "63--69", booktitle= dac, month = jun, year = 1994 } @INPROCEEDINGS{Puri94b, author = "Ruchir Puri and Jun Gu", title = "Area efficient synthesis of asynchronous interface circuits", booktitle= iccd, publisher= icsp, month = oct, year = 1994 } @INPROCEEDINGS{Purushothaman83, author = "S. Purushothaman and P. A. Subrahmanyam", title = "An Algebraic Basis for Specifying and Reasoning about Protocols for Designing Self Timed Circuits", booktitle= "{VLSI} 83: {VLSI} Design of Digital Systems", publisher= esp, editor = "F. Anceau and E. J. Aas", organisation= "IFIP", pages = "133--144", month = aug, year = 1983 } @ARTICLE{Putzolu71, author = "Gianfranco R. Putzolu", title = "A heuristic algorithm for the testing of asynchronous circuits", key = "testing", pages = "639--647", journal= ieeetc, volume = 20, number = 6, month = jun, year = 1970 } @TECHREPORT{Ramchandani74, author = "C. Ramchandani", title = "Analysis of asynchronous concurrent systems by timed {Petri} nets", institution= "Massachusetts Inst. of Tech.", number = "Project {MAC} Tech. Rep. 120", month = feb, year = 1974 } @INPROCEEDINGS{Rana86, author = "Deepak Rana and Steven P. Levitan and David A. Carlson and Charles E. Hutchinson", title = "A testable asynchronous systolic array implementation of an {IIR} filter", key = "testing", pages = "90--93", booktitle= "Proceedings of the IEEE 1986 Custom Integrated Circuits Conference", publisher= icsp, month = may, year = 1986 } @INCOLLECTION{Rem85, author = "Martin Rem", title = "Concurrent Computations and {VLSI} Circuits", pages = "399--437", editor = "M. Broy", booktitle= "Control Flow and Data Flow: Concepts of Distributed Programming", series = "NATO ASI Series", volume = "F14", publisher= springer, year = 1985 } @INPROCEEDINGS{Rem87, author = "Rem, Martin", title = "Trace Theory and Systolic Computations", booktitle= "{PARLE}: Parallel Architectures and Languages Europe, Vol.~I", editor = "de Bakker, J. W. and Nijman, A. J. and Treleaven, P. C.", series = lncs, volume = 258, pages = "14--33", publisher= springer, year = 1987 } @INPROCEEDINGS{Rem91, author = "Rem, Martin", title = "The Nature of Delay-Insensitive Computing", pages = "105--122", booktitle="{IV} Higher Order Workshop, Banff 1990", editor = "Birtwistle, Graham", publisher= springer, year = 1991 } @ARTICLE{Rey74, author = "C. A. Rey and J. Vaucher", title = "Self-synchronized Asynchronous Sequential Machines", journal= ieeetc, pages = "1306--1311", volume = 23, number = 12, month = dec, year = 1974 } @INPROCEEDINGS{Richardson96, author = "W. F. Richardson and E. Brunvand", title = "An Architecture for a Self-Timed Decoupled Computer", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Roig95, author = "Oriol Roig and Jordi Cortadella and Enric Pastor", title = "Hierarchical Gate-Level Verification of Speed-Independent Circuits", pages = "129--137", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Roine94, author = "Per Torstein R{\o}ine", title = "Building Fast Bundled Data Circuits with a Specialized Standard Cell Library", pages = "134--143", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Roine96, author = "Per Torstein R{\o}ine", title = "A System for Asynchronous High-speed Chip to Chip Communication", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Roncken93, author = "Marly Roncken and Ronald Saeijs", title = "Linear Test Times for Delay-Insensitive Circuits: a Compilation Strategy", key = "testing", pages = "13--27", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Roncken94, author = "Marly Roncken", title = "Partial Scan Test for Asynchronous Circuits Illustrated on a {DCC} Error Corrector", key = "testing", pages = "247--256", booktitle= async, month = nov, year = 1994 } @ARTICLE{Rosenberger88, author = "Rosenberger, Fred U. and Molnar, Charles E. and Chaney, Thomas J. and Fang, Ting-Pien", title = "{Q}-Modules: Internally Clocked Delay-Insensitive Modules", journal= ieeetc, volume = "C-37", number = 9, pages = "1005--1018", month = sep, year = 1988 } @ARTICLE{Rosenberger92, author = "Fred U. Rosenberger and Charles E. Molnar", title = "Comments on `Metastability of {CMOS} Latch/Flip-Flop'", pages = "128--130", note = "Reply by Robert W. Dutton pages 131--132 of same issue", journal= ieeejssc, volume = 27, number = 1, month = jan, year = 1992 } @INPROCEEDINGS{Rosenblum85, author = "L. Y. Rosenblum and A. V. Yakovlev", title = "Signal graphs: from self-timed to timed ones", booktitle= "Proceedings of International Workshop on Timed {P}etri Nets", address= "Torino, Italy", publisher= icsp, pages = "199--207", month = jul, year = 1985 } @INPROCEEDINGS{Saeijs88, author = "Ronald W. J. J. Saeijs and C. H. (Kees) van Berkel", title = "The Design of the {VLSI} Image Generator {ZaP}", booktitle= iccd, publisher= icsp, pages = "163--166", year = 1988 } @ARTICLE{Sakurai88, author = "T. Sakurai", title = "Optimization of {CMOS} Arbiter and Synchronizer Circuits with Submicron {MOSFET}s", pages = "901--906", journal= ieeejssc, volume = 23, number = 4, month = aug, year = 1988 } @INPROCEEDINGS{Salomon93, author = "O. Salomon and H. Klar", title = "Self-Timed Fully Pipelined Multipliers", pages = "45--55", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Salomon93a, author = "O. Salomon and H. Klar", title = "Standard Cell Design for Testable Self-Timed Circuits", booktitle= "Proceedings of Nineteenth European Solid-State Circuits Conference (ESSCIRC '93)", publisher= "Editions Fronti\`eres", pages = "190--193", month = sep, year = 1993 } @ARTICLE{Santoro89, author = "Mark Santoro and Mark A. Horowitz", title = "{SPIM}: A Pipelined 64x64-bit Iterative Multiplier", pages = "487--493", journal= ieeejssc, volume = 24, number = 2, month = apr, year = 1989 } @ARTICLE{Saucier67, author = "G. Saucier", title = "Encoding of asynchronous sequential networks", journal= ieeetec, volume = "EC-16", pages = "365--369", month = jun, year = 1967 } @ARTICLE{Saucier72, author = "G. Saucier", title = "State assignment of asynchronous sequential machines using graph techniques", journal= ieeetc, volume = 21, pages = "282--288", month = mar, year = 1972 } @PHDTHESIS{Sawasaki94, author = "M. H. Sawasaki", title = "General Hazard-Free Synthesis of Asynchronous Circuits", school = "Katholieke Univeriteit Leuven", month = feb, year = 1994 } @INPROCEEDINGS{Sawasaki95, author = "Milton Sawasaki and Chantal Ykman-Couvreur and Bill Lin", title = "Externally Hazard-Free Implementations of Asynchronous Circuits", booktitle= dac, month = jun, year = 1995 } @ARTICLE{Sawi74, author = "D. H. Sawin and G. K. Maki", title = "Asynchronous Sequential Machines Designed for Fault Detection", key = "testing", journal= ieeetc, volume = "C-23", number = 3, pages = "239-249", month = mar, year = 1974 } @INPROCEEDINGS{Saxena93, author = "J. Saxena and D. K. Pradhan", title = "Design for testability of asynchronous sequential circuits", pages = "518--522", booktitle= iccd, publisher= icsp, month = oct, key = "testing", year = 1993 } @MASTERSTHESIS{Schols85, author = "Schols, Huub M. J. L.", title = "A Formalisation of the Foam Rubber Wrapper Principle", school = eut, year = 1985 } @PHDTHESIS{Schols92, author = "Huub Schols", title = "Delay-insensitive Communication", school = eut, month = dec, year = 1992 } @TECHREPORT{Seger87, author = "Seger, C.-J.", title = "On the Existence of Speed-Independent Circuits", type = "Research Report", number = "CS-87-63", institution= "Computer Science Dept., Univ. of Waterloo, Canada", month = nov, year = 1987 } @TECHREPORT{Seger88, author = "Seger, C.-J.", title = "Models and Algorithms for Race Analysis in Asynchronous Circuits", type = "Research Report (PhD thesis)", number = "CS-88-22", institution= "Computer Science Dept., Univ. of Waterloo, Canada", month = may, year = 1988 } @ARTICLE{Seger88a, author = "C-J. Seger and J.A. Brzozowski", title = "An Optimistic Ternary Simulation of Gate Races", journal= tcs, volume = 61, number = 1, pages = "49--66", month = oct, year = 1988 } @ARTICLE{Seger91, author = "C-J. Seger", title = "On the Existence of Speed-Independent Circuits", pages = "343--364", journal= tcs, volume = 86, number = 2, year = 1991 } @ARTICLE{Seger94, author = "C-J. Seger and J.A. Brzozowski", title = "Generalized Ternary Simulation of Sequential Circuits", journal= "Informatique Theorique et Applications", volume = 28, number = "3-4", pages = "159--186", year = 1994 } @MASTERSTHESIS{Segers93, author = "J. P. L. Segers", title = "The Design and Analysis of Asynchronous Up-Down Counters", school = eut, month = jun, year = 1993 } @MISC{Seitz70, author = "Seitz, Charles L.", title = "Asynchronous Machines Exhibiting Concurrency", note = "Record of the Prject MAC Concurrent Parallel Computation", year = 1970 } @INPROCEEDINGS{Seitz79, author = "Seitz, Charles L.", title = "Self-Timed {VLSI} Systems", booktitle= "Proceedings of the 1st {C}altech Conference on Very Large Scale Integration", editor = "Seitz, Charles L.", publisher= "Caltech C.S. Dept.", address= "Pasadena, CA", pages = "345--355", month = jan, year = 1979 } @INCOLLECTION{Seitz80, author = "Seitz, Charles L.", title = "System Timing", chapter= 7, editor = "Mead, Carver A. and Conway, Lynn A.", booktitle= "Introduction to {VLSI} Systems", publisher= aw, year = 1980 } @ARTICLE{Seitz80a, author = "Seitz, Charles L.", title = "Ideas about Arbiters", journal= "Lambda", volume = 1, number = "1, First Quarter", pages = "10--14", year = 1980 } @INPROCEEDINGS{Seitz93, author = "Charles L. Seitz and Wen-King Su", title = "A Family of Routing and Communication Chips Based on the Mosaic", booktitle= "Proc. of 1993 Symposium on Research on Integrated Systems", pages = "320--337", publisher= mit, month = jan, year = 1993 } @INPROCEEDINGS{Seizovic94, author = "Jakov N. Seizovic", title = "Pipeline Synchronization", pages = "87--96", booktitle= async, month = nov, year = 1994 } @INPROCEEDINGS{Sheth93, author = "Devang G. Sheth and Sheran Alles and Syed M. Mahmud", title = "A single-chip hig-speed {M-to-B} Arbiter for multiple bus multiprocessor systems", booktitle= midwest, pages = "284--287", year = 1993 } @PHDTHESIS{Shieh93, author = "M.-D. Shieh", title = "Design and Synthesis of Testable Asynchronous Sequential Logic Circuits", school = "Dept. of Electrical Engineering, Michigan State University", key = "testing", month = may, year = 1993 } @ARTICLE{Shieh93a, author = "M.-D. Shieh and C.-L. Wey and P. D. Fisher", title = "Fault Effects in Asynchronous Sequential Logic Circuits", journal= ieepte, volume = 140, number = 6, pages = "327--332", key = "testing", month = nov, year = 1993 } @INPROCEEDINGS{Shieh93b, author = "Ming-Der Shieh and Chin-Long Wey and P. David Fisher", title = "A Scan Design for Asynchronous Sequential Logic Circuits Using {SR}-Latches", booktitle= midwest, pages = "1300--1303", key = "testing", year = 1993 } @INPROCEEDINGS{Siegel93, author = "P. Siegel and G. De Micheli and D. Dill", title = "Automatic technology mapping for generalized fundamental-mode asynchronous designs", booktitle= dac, pages = "61--67", month = jun, year = 1993 } @INPROCEEDINGS{Siegel94a, author = "Polly Siegel and Giovanni De Micheli", title = "Decomposition Methods for Library Binding of Speed-Independent Asynchronous Designs", pages = "558--565", booktitle= iccad, month = nov, year = 1994 } @PHDTHESIS{Siegel95, author = "Polly S. K. Siegel", title = "Automatic Technology Mapping for Asynchronous Designs", school = "Stanford University", month = feb, year = 1995 } @INPROCEEDINGS{Sluis91, author = "E. van de Sluis and A. F. van der Stappen", title = "Performance Analysis of {VLSI} Programs", pages = "499--513", booktitle="Proceedings {CSN} 91, Computing Science in The Netherlands", organization="SION", volume = 2, month = nov, year = 1991 } @ARTICLE{Smith71, author = "J. R. Smith and C. H. Roth", title = "Analysis and synthesis of asynchronous sequential network using edge-sensitive flip-flops", journal= ieeetc, volume = 20, pages = "847--855", year = 1971 } @ARTICLE{Smith74, author = "R. J. Smith", title = "Generation of internal state assignments for large asynchronous sequential machines", journal= ieeetc, volume = 23, pages = "924--932", month = sep, year = 1974 } @INPROCEEDINGS{Smith92, author = "Smith, Scott F. and Zwarico, Amy E.", title = "Provably Correct Synthesis of Asynchronous Circuits", pages = "237--260", booktitle="Designing Correct Circuits", editor = "J{\o}rgen Staunstrup and Robin Sharp", series = ifip, volume = "A-5", publisher= esp, year = 1992 } @INPROCEEDINGS{Smith93, author = "Smith, Scott F. and Zwarico, Amy E.", title = "Correct Compilation of Specifications to Deterministic Asynchronous Circuits", pages = "179--190", booktitle= "Correct Hardware Design and Verification Methods (CHARME '93)", publisher= springer, series = lncs, volume = 683, month = may, year = 1993 } @INPROCEEDINGS{Snepscheut83, author = "Jan L. A. van de Snepscheut", title = "Deriving Circuits from Programs", editor = "Randal Bryant", booktitle= "Proceedings of Third Caltech Conference on {VLSI}", publisher= csp, pages = "241--256", year = 1983 } @BOOK{Snepscheut85, author = "van de Snepscheut, Jan L. A.", title = "Trace Theory and {VLSI} Design", series = lncs, volume = 200, publisher= springer, year = 1985 } @INPROCEEDINGS{Sparso92, author = "Jens Spars{\o} and J{\o}rgen Staunstrup and Michael Dantzer-S{\o}rensen", title = "Design of delay insensitive circuits using multi-ring structures", pages = "15--20", booktitle= eurodac, address= "Hamburg, Germany", publisher= icsp, month = sep, year = 1992 } @INPROCEEDINGS{Sparso93, author = "Jens Spars{\o} and J{\o}rgen Staunstrup", title = "Design and Performance Analysis of Delay Insensitive Multi-Ring Structures", booktitle= hicss, volume = "I", pages = "349--358", publisher= icsp, month = jan, year = 1993 } @INPROCEEDINGS{Sparso93a, author = "J. Spars{\o} and C. D. Nielsen and L. S. Nielsen and J. Staunstrup", title = "Design of Self-Timed Multipliers: A Comparison", pages = "165--179", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @ARTICLE{Sparso93b, author = "Jens Spars{\o} and J{\o}rgen Staunstrup", title = "Delay-insensitive Multi-ring Structures", pages = "313--340", journal= integration, volume = 15, number = 3, month = oct, year = 1993 } @BOOK{Sproull86, author = "Robert F. Sproull and Ivan E. Sutherland", title = "Asynchronous Systems", publisher= "Sutherland, Sproull and Associates", address= "Palo Alto", note = "Vol.~I: Introduction, Vol.~II: Logical effort and asynchronous modules, Vol.~III: Case studies", year = 1986 } @ARTICLE{Sproull94, author = "Robert F. Sproull and Ivan E. Sutherland and Charles E. Molnar", title = "The Counterflow Pipeline Processor Architecture", journal= ieeedt, pages = "48--59", volume = 11, number = 3, month = "Fall", year = 1994 } @INPROCEEDINGS{Sridhar92, author = "R. Shidhar", title = "Asynchronous Design Techniques", booktitle= "Proc. of Fifth Annual IEEE International ASIC Conference and Exhibit", pages = "296--300", year = 1992 } @INPROCEEDINGS{Staunstrup89, author = "J{\o}rgen Staunstrup and S. Garland and J. Guttag", title = "Localized Verification of Circuit Descriptions", booktitle="Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems", series = lncs, volume = 407, publisher= springer, year = 1989 } @INPROCEEDINGS{Staunstrup89a, author = "J{\o}rgen Staunstrup and Mark Greenstreet", title = "Designing Delay Insensitive Circuits using Synchronized Transitions", booktitle= "Formal {VLSI} Specification and Synthesis. {VLSI} Design Methods", volume = 1, editor = "Luc J.M. Claesen", publisher= esp, pages = "209--226", year = 1990 } @INBOOK{Staunstrup94, author = "J{\o}rgen Staunstrup", title = "A Formal Approach to Hardware Design", chapter= 7, note = "Ch.~7: Self-Timed Circuits", publisher= kap, year = 1994 } @PHDTHESIS{Stevens94, author = "Kenneth S. Stevens", title = "Practical Verification and Synthesis of Low Latency Asynchronous Systems", school = "Dept. of Computer Science, University of Calgary, Canada", month = sep, year = 1994 } @INPROCEEDINGS{Stucki67, author = "Mishell J. Stucki and Severo M. Ornstein and Wesley A. Clark", title = "Logical Design of Macromodules", pages = "357--364", booktitle= "AFIPS Conference Proceedings: 1967 Spring Joint Computer Conference", address= "Atlantic City, NJ", volume = 30, publisher= ap, year = 1967 } @INPROCEEDINGS{Stucki79, author = "M. J. Stucki and Jr. J. R. Cox", title = "Synchronization Strategies", pages = "375--393", booktitle="Proceedings of the First Caltech Conference on Very Large Scale Integration", editor = "Charles L. Seitz", year = 1979 } @INPROCEEDINGS{Susskind84, author = "Alfred K. Susskind", title = "A technique for making asynchronous sequential machines readily testable", pages = "842--846", booktitle= itc, publisher= icsp, key = "testing", year = 1984 } @INPROCEEDINGS{Sutherland79, author = "Ivan E. Sutherland and Charles E. Molnar and Robert F. Sproull and J. Craig Mudge", title = "The Trimosbus", pages = "395--427", booktitle="Proceedings of the First Caltech Conference on Very Large Scale Integration", editor = "Charles L. Seitz", year = 1979 } @ARTICLE{Sutherland89, author = "Sutherland, Ivan E.", title = "Micropipelines", annote = "The 1988 Turing Award Lecture", journal= cacm, volume = 32, number = 6, pages = "720--738", month = jun, year = 1989 } @ARTICLE{Svensson94, author = "Christer Svensson and Jiren Yuan", title = "A 3-Level Asynchronous Protocol for a Differential Two-Wire Communication Link", pages = "1129--1132", journal= ieeejssc, volume = 29, number = 9, month = sep, year = 1994 } @INPROCEEDINGS{Tabrizi96, author = "N. Tabrizi and K. Eshraghian and M.J.Liebelt", title = "Dynamic Hazards and Speed Independent Delay Model", booktitle= async, publisher= icsp, month = mar, year = 1996 } @ARTICLE{Takata90, author = "Hidehiro Takata and Shinji Komori and Toshiyuki Tamura and Fumiyasu Asai and Hisakazu Satoh and Takio Ohno and Takeshi Tokuda and Hiroaki Nishikawa and Hiroaki Terada", title = "A 100-Mega-Access per Second Matching Memory for a Data-Driven Microprocessor", pages = "95--99", journal= ieeejssc, volume = 25, number = 1, month = feb, year = 1990 } @ARTICLE{Tan71, author = "C. J. Tan", title = "State Assignments for Asynchronous Sequential Machines", journal= ieeetc, pages = "382--391", volume = 20, number = 4, month = apr, year = 1971 } @ARTICLE{Tan90a, author = "Y. K. Tan and Y. C. Lim", title = "Self-Timed System Design Technique", journal= el, pages = "284--286", volume = 26, number = 5, month = mar, year = 1990 } @INPROCEEDINGS{Tan90b, author = "Y. K. Tan and Y. C. Lim", title = "Self-Timed Precharge Latch", pages = "566--569", booktitle= iscas, volume = 1, month = may, year = 1990 } @INPROCEEDINGS{Tan92, author = "Y. K. Tan and Y. C. Lim and H. W. Leong", title = "Speed-Independent Circuit Design using Net-theoretic Techniques", pages = "2973--2976", booktitle= iscas, volume = 6, year = 1992 } @INPROCEEDINGS{Tapia80, author = "M. A. Tapia", title = "Synthesis of Asynchronous Sequential Systems using Boolean Calculus", booktitle= "Proceedings of the 14th Asimolar Conference on Circuits, Systems and Computers", pages = "205--209", month = nov, year = 1980 } @TECHREPORT{Tierno92, author = "J. A. Tierno", title = "Designing Asynchronous Circuits in {G}allium {A}rsenide", institution= caltech, number = "CS-TR-92-19", year = 1992 } @TECHREPORT{Tierno93, author = "Jos\'e A. Tierno and Alain J. Martin and Drazen Borkovic and Tak Kwan Lee", title = "An Asynchronous Microprocessor in {G}allium {A}rsenide", institution= caltech, number = "CS-TR-93-38", year = 1993 } @ARTICLE{Tierno94, author = "Jos\'e A. Tierno and Alain J. Martin and Drazen Borkovic and Tak Kwan Lee", title = "A 100-{MIPS} {GaAs} Asynchronous Microprocessor", journal= ieeedt, volume = 11, number = 2, pages = "43--49", year = 1994 } @INPROCEEDINGS{Tierno94a, author = "Jos\'e A. Tierno and Alain J. Martin", title = "Low-Energy Asynchronous Memory Design", pages = "176--185", booktitle= async, month = nov, year = 1994 } @PHDTHESIS{Tierno94b, author = "Jos\'e A. Tierno", title = "Architectural Strategies for Low-Energy Asynchronous Design", school = caltech, year = 1994 } @INPROCEEDINGS{Tierno96, author = "J. Tierno and R. Manohar and A. Martin", title = "Energy and Entropy Measures for Low Power Design", booktitle= async, publisher= icsp, month = mar, year = 1996 } @ARTICLE{Tinder94, author = "R. F. Tinder and R. I. Klaus and J. A. Snodderley", title = "High-Speed Microprogrammable Asynchronous Controller Modules", pages = "1226--1232", journal= ieeetc, volume = 43, number = 10, month = oct, year = 1994 } @ARTICLE{Tracey66, author = "J. H. Tracey", title = "Internal state assignments for asynchronous sequential machines", journal= ieeetec, volume = "EC-15", pages = "551--560", month = aug, year = 1966 } @PHDTHESIS{Udding84, author = "Udding, Jan Tijmen", title = "Classification and Composition of Delay-Insensitive Circuits", school = eut, year = 1984 } @ARTICLE{Udding86, author = "Udding, Jan Tijmen", title = "A Formal Model for Defining and Classifying Delay-Insensitive Circuits", journal= dc, volume = 1, number = 4, pages = "197--204", year = 1986 } @TECHREPORT{Udding88, author = "Udding, Jan Tijmen and Verhoeff, Tom", title = "The Mathematics of Directed Specifications", institution= "Dept. of C.S., Washington Univ., St. Louis, MO", number = "WUCS-88-20", month = jun, year = 1988 } @BOOK{Unger69, author = "Unger, S. H.", title = "Asynchronous Sequential Switching Circuits", publisher= "Wiley-Interscience, John Wiley {\&} Sons, Inc.", address= "New York", year = 1969 } @INPROCEEDINGS{Unger70, author = "S. H. Unger", title = "Asynchronous Sequential Switching Circuits with Unrestricted Input Changes", pages = "114--121", booktitle= ssat, publisher= icsp, year = 1970 } @ARTICLE{Unger71, author = "Stephen H. Unger", title = "Asynchronous Sequential Switching Circuits with Unrestricted Input Changes", journal= ieeetc, volume = 20, number = 12, pages = "1437--1444", month = dec, year = 1971 } @ARTICLE{Unger77, author = "Stephen H. Unger", title = "Self-Synchronizing Circuits and Nonfundamental Mode Operation", journal= ieeetc, volume = 26, number = 3, pages = "278--281", month = mar, year = 1977 } @INPROCEEDINGS{Unger93, author = "S. H. Unger", title = "A Building Block Approach to Unclocked Systems", booktitle= hicss, volume = "I", publisher= icsp, month = jan, year = 1993 } @ARTICLE{Unger95, author = "Stephen H. Unger", title = "Hazards, Critical Races, and Metastability", pages = "754--768", journal= ieeetc, volume = 44, number = 6, month = jun, year = 1995 } @ARTICLE{Valencia95, author = "M. Valencia and M. J. Bellido and J. L. Huertas and A. J. Acosta and S. Sanchez-Solano", title = "Modular Asynchronous Arbiter Insensitive to Metastability", journal= ieeetc, pages = "1456--1461", volume = 44, number = 12, month = dec, year = 1995 } @INPROCEEDINGS{Vanbekbergen90, author = " P. Vanbekbergen and F. Catthoor and G. Goossens and H. De Man", title = "Optimized Synthesis of Asynchronous Control Circuits form Graph-Theoretic Specifications", pages = "184--187", booktitle= iccad, publisher= icsp, year = 1990 } @INPROCEEDINGS{Vanbekbergen90a, author = " P. Vanbekbergen and F. Catthoor and G. Goossens and H. De Man", title = "Time \& Area Performant Synthesis of Asynchronous Control Circuits", booktitle= "Proceedings of TAU 90", year = 1990 } @INPROCEEDINGS{Vanbekbergen92, author = "P. Vanbekbergen and B. Lin and G. Goossens and H. de Man", title = "A Generalized State Assignment Theory for Transformations on Signal Transition Graphs", pages = "112--117", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @ARTICLE{Vanbekbergen92a, author = "Peter Vanbekbergen and Gert Goossens and Francky Catthoor and Hugo J. De Man", title = "Optimized Synthesis of Asynchronous Control Circuits from Graph-Theoretic Specifications", pages = "1426--1438", journal= ieeetcad, volume = 11, number = 11, month = nov, year = 1992 } @PHDTHESIS{Vanbekbergen93, author = "Peter Vanbekbergen", title = "Synthesis of Asynchronous Control Circuits from Graph-Theoretic Specifications", school = "Catholic University of Leuven", month = sep, year = 1993 } @INPROCEEDINGS{Vanbekbergen94, author = "Peter Vanbekbergen and Chantal Ykman-Couvreur and Bill Lin and Hugo de Man", title = "A generalized signal transition graph model for specification of complex interfaces", booktitle= edtc, pages = "378--384", publisher= icsp, year = 1994 } @ARTICLE{Vanbekbergen94a, author = "Peter Vanbekbergen and Bill Lin and Gert Goossens and Hugo de Man", title = "A Generalized State Assignment Theory for Transformations on Signal Transition Graphs", pages = "101--115", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @INPROCEEDINGS{Vanbekbergen94b, author = "Peter Vanbekbergen and Gert Goossens and Bill Lin", title = "Modeling and Synthesis of Timed Asynchronous Circuits", booktitle= eurodac, publisher= icsp, pages = "460--465", month = sep, year = 1994 } @INPROCEEDINGS{Vanbekbergen95b, author = "Peter Vanbekbergen and Albert Wand and Kurt Keutzer", title = "A Design and Validation System for Asynchronous Circuits", booktitle= dac, month = jun, year = 1995 } @TECHREPORT{Varshavsky87, author = "Varshavsky, Victor I.", title = "Hardware Support of Parallel Asynchronous Processes", institution= "Digital Systems Laboratory, Helsinki Univ. of Technology", address= "Otaniemi, Otakaari 5 A, SF-02150 ESPOO 15, Finland", type = "Research Reports", number = "Series~A, No.~2", month = sep, year = 1987 } @BOOK{Varshavsky90, editor = "Varshavsky, Victor I.", title = "Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems", publisher= kap, address= "Dordrecht, The Netherlands", year = 1990 } @ARTICLE{Varshavsky95, author = "Victor I. Varshavsky and Vyacheslav B. Marakhovshy and Vadim V. Smolensky", title = "Designing Self-Timed Devices Using the Finite Automaton Model", pages = "14--23", journal= ieeedt, volume = 12, number = 1, month = "Spring", year = 1995 } @ARTICLE{Veendrick80, author = "Harry J.M. Veendrick", title = "The Behavior of Flip-Flops Used as Synchronizers and Prediction of Their Failure Rate", journal= ieeejssc, volume = 15, number = 2, pages = "169--176", year = 1980 } @MASTERSTHESIS{Verhoeff85, author = "Verhoeff, Tom", title = "Notes on Delay-Insensitivity", school = eut, year = 1985 } @TECHREPORT{Verhoeff85a, author = "Verhoeff, Tom and Schols, Huub M. J. L.", title = "Delay-Insensitive Directed Trace Structures Satisfy the Foam Rubber Wrapper Postulate", type = csn, number = "85/04", institution= eut, month = aug, year = 1985 } @ARTICLE{Verhoeff88, author = "Verhoeff, Tom", title = "Delay-Insensitive Codes---An Overview", journal= dc, volume = 3, number = 1, pages = "1--8", year = 1988 } @TECHREPORT{Verhoeff89, author = "Verhoeff, Tom", title = "Characterizations of Delay-Insensitive Communication Protocols", type = csn, number = "89/06", institution= eut, month = may, year = 1989 } @PHDTHESIS{Verhoeff94, author = "Tom Verhoeff", title = "A Theory of Delay-Insensitive Systems", school = eut, month = may, year = 1994 } @ARTICLE{Vingron83, author = "P. Vingron", title = "Coherent design of asynchronous circuits", journal= ieepte, volume = 130, number = 6, pages = "190--202", year = 1983 } @ARTICLE{Wann83, author = "Donald F. Wann and Mark A. Franklin", title = "Asynchronous and Clocked Control Structures for {VLSI} Based Interconnection Networks", pages = "284--293", journal= ieeetc, volume = "C-32", number = 3, month = mar, year = 1983 } @INPROCEEDINGS{Weber92, author = "Sam Weber and Bard Bloom and Geoffrey Brown", title = "Compiling {J}oy to Silicon", pages = "79--98", booktitle= "Proceedings of Brown/MIT Conference on Advanced Research in VLSI and Parallel Systems", editor = "Thomas Knight and John Savage", publisher= mit, month = mar, year = 1992 } @INPROCEEDINGS{Werner96, author = "T. Werner and V.Akella", title = "Counterflow Pipeline-Based Dynamic Instruction Scheduling", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Wey93, author = "C.-L. Wey and M.-D. Shieh and P. D. Fisher", title = "{ASCLScan}: a scan design for asynchronous sequential logic circuits", booktitle= iccd, publisher= icsp, key = "testing", year = 1993 } @ARTICLE{Whitaker89, author = "Sterling R. Whitaker and Gary K. Maki", title = "Pass-Transistor Asynchronous Sequential Circuits", pages = "71--78", journal= ieeejssc, volume = 24, number = 1, month = feb, year = 1989 } @MASTERSTHESIS{Wiel92, author = "Rik van de Wiel", title = "An Operational Semantics for the {DI}-Algebra", school = eut, month = jul, year = 1992 } @INPROCEEDINGS{Wiel95, author = "Rik van de Wiel", title = "High-Level Test Evaluation of Asynchronous Circuits", pages = "63--71", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Williams87, author = "Williams, T. E. and Horowitz, M. and Alverson, R. L. and Yang, T. S.", title = "A Self-Timed Chip for Division", pages = "75--95", booktitle= "Advanced Research in {VLSI}: Proceedings of the 1987 {S}tanford Conference", editor = "Losleben, Paul", publisher= mit, year = 1987 } @INPROCEEDINGS{Williams88, author = "Williams, T. E. and Klingsheim K.", title = "Self-Timed Circuit Elements in {GaAs}", pages = "344--347", booktitle="Proceedings of the 13th Nordic Semiconductor Conference", note = "Conference held in Stockhold, Sweden", month = jun, year = 1988 } @ARTICLE{Williams90, author = "Ted E. Williams and Mark A. Horowitz", title = "Bipolar Circuit Elements providing Self-Completion-Indication", pages = "309--312", journal= ieeejssc, volume = 25, number = 1, month = jan, year = 1990 } @TECHREPORT{Williams90a, author = "Ted E. Williams", title = "Latency and Throughput Tradeoffs in Self-Timed Asynchronous Pipelines and Rings", institution= "Stanford University", number = "CSL-TR-90-431", month = aug, year = 1990 } @PHDTHESIS{Williams91, author = "Williams, Ted E.", title = "Self-Timed Rings and their Application to Division", school = "Stanford University", number = "CSL-TR-91-482", month = jun, year = 1991 } @INPROCEEDINGS{Williams91a, author = "Ted E. Williams and Mark A. Horowitz", title = "A 160ns 54bit {CMOS} Division Implementation using Self-Timing and Symmetrically Overlapped {SRT} Stages", pages = "210--217", editor = "Peter Kornerup and David W. Matula", booktitle= "Proceedings of the 10th {IEEE} Symposium on Computer Arithmetic", year = 1991 } @ARTICLE{Williams91b, author = "Ted E. Williams and Mark A. Horowitz", title = "A Zero-Overhead Self-Timed 160ns 54b {CMOS} Divider", pages = "1651--1661", journal= ieeejssc, volume = 26, number = 11, month = nov, year = 1991 } @INPROCEEDINGS{Williams92, author = "Ted E. Williams", title = "Analyzing and Improving the Latency and Throughput Performance of Self-Timed Pipelines and Rings", booktitle= iscas, month = may, year = 1992 } @ARTICLE{Williams94, author = "Ted E. Williams", title = "Performance of Iterative Computation in Self-Timed Rings", pages = "17--31", journal= vlsisp, volume = 7, number = "1/2", month = feb, year = 1994 } @ARTICLE{Williams95, author = "Ted Williams and Niteen Patkar and Gene Shen", title = "{SPARC64}: A 64-b 64-Active-Instruction Out-of-Order-Execution {MCM} Processor", pages = "1215--1226", journal= ieeejssc, volume = 30, number = 11, month = nov, year = 1995 } @ARTICLE{Wojcik80, author = "Anthony S. Wojcik and Kwang-Ya Fang", title = "On the design of three-valued asynchronous modules", pages = "889--898", journal= ieeetc, volume = 29, number = 10, month = oct, year = 1980 } @ARTICLE{Wu91, author = "Sheng-Fu Wu and P. David Fisher", title = "Automating the Design of Asynchronous Sequential Logic Circuits", pages = "364--370", journal= ieeejssc, volume = 26, number = 3, month = mar, year = 1991 } @INPROCEEDINGS{Wu94, author = "Tsung-Yi Wu and Tzu-Chie Tien and A.C.-H. Wu and Young-Long Lin", title = "A synthesis method for mixed synchronous/asynchronous behavior", booktitle= edac, pages = "277--281", year = 1994 } @ARTICLE{Wuu93, author = "Tzyh-Yung Wuu and Sarma B. K. Vrudhula", title = "A Design of a Fast and Area Efficient Multi-Input {M}uller {C}-element", pages = "215--219", journal= ieeevlsi, volume = 1, number = 2, month = jun, year = 1993 } @INPROCEEDINGS{Yacoub92, author = "G. Y. Yacoub and W. H. Ku", title = "Self-timed simultaneous bidirectional signalling for {IC} systems", booktitle= iscas, volume = 6, pages = "2957--2960", year = 1992 } @ARTICLE{Yakovlev85, author = "Yakovlev, Alexandre", title = "Designing Self-Timed Systems", journal= "VLSI Systems Design", volume = 6, pages = "70--90", month = sep, year = 1985 } @TECHREPORT{Yakovlev89b, author = "Yakovlev, Alexandre V.", title = "A Relation-based Approach to Analysing Semantics of Asynchronous Hardware Specifications", institution= "University of Newcastle upon Tyne", number = "No. 286", month = nov, year = 1989 } @INPROCEEDINGS{Yakovlev92, author = "Yakovlev, Alexandre V.", title = "On Limitations and Extensions of {STG} model for Designing Asynchronous Control Circuits", pages = "396--400", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Yakovlev92a, author = "A. Yakovlev and L. Lavagno and A. Sangiovanni-Vincentelli", title = "A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis", pages = "104--111", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @INPROCEEDINGS{Yakovlev93, author = "A. V. Yakovlev and A. Petrov and L. Rosenblum", title = "Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs", pages = "71--85", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @ARTICLE{Yakovlev93a, author = "A. Yakovlev", title = "Structural technique for fault-masking in asynchronous interfaces", pages = "81--91", journal= ieepte, volume = "E-140", number = 2, month = mar, year = 1993 } @ARTICLE{Yakovlev94, author = "Alexandre Yakovlev and Alexei Petrov and Luciano Lavagno", title = "A Low Latency Asynchronous Arbitration Circuit", pages = "372--377", journal= ieeevlsi, volume = 2, number = 3, month = sep, year = 1994 } @ARTICLE{Yakovlev95, author = "Alexandre V. Yakovlev and Albert M. Koelmans and Luciano Lavagno", title = "High-Level Modeling and Design of Asynchronous Interface Logic", pages = "32--40", journal= ieeedt, volume = 12, number = 1, month = "Spring", year = 1995 } @INPROCEEDINGS{Yakovlev95a, author = "A. Yakovlev and V. Varshavsky and V. Marakhovsky and A. Semenov", title = "Designing an Asynchronous Pipeline Token Ring Interface", pages = "32--41", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Yamasaki89, author = "Tetsuo Yamasaki and Kenji Shima and Shinji Komori and Hidehiro Takata and Toshiyuki Tamura and Fumiyasu Asai and Takio Ohno and Osamu Tomisawa and Hiroaki Terada", title = "{VLSI} Implementation of a Variable-Length Pipeline Scheme for Data-Driven Processors", pages = "933--937", journal= ieeejssc, volume = 24, number = 4, month = aug, year = 1989 } @INPROCEEDINGS{Yantchev93, author = "J. T. Yantchev and I. Nedelchev", title = "Implementation of Packet Switching Devices as Delay-Insensitive Circuits", booktitle= "Proc. Research on Integrated Systems '93", publisher= mit, year = 1993 } @INPROCEEDINGS{Yantchev95, author = "J. T. Yantchev and C. G. Huang and M. B. Josephs and I. M. Nedelchev", title = "Low-Latency Asynchronous {FIFO} Buffers", pages = "24--31", booktitle= adm, publisher= icsp, month = may, year = 1995 } @ARTICLE{Yenersoy79, author = "O. Yenersoy", title = "Synthesis of asynchronous machines using mixed-operation mode", journal= ieeetc, pages = "325--329", volume = 28, number = 4, year = 1979 } @INPROCEEDINGS{Yetter92, author = "Jeff Yetter and Bob Miller and William Jaffe and Eric DeLano", title = "A 100{MHz} Superscalar {PA-RISC} {CPU}/Coprocessor Chip", booktitle= "1992 Symposium on VLSI Circuits Digest of Technical Papers", pages = "12--13", year = 1992 } @INPROCEEDINGS{Ykman93, author = "Chantal Ykman-Couvreur and Bill Lin and Gert Goossens and Hugo De Man", title = "Synthesis and optimization of asynchronous controllers based on extended lock graph theory", pages = "512--517", booktitle= edac, publisher= icsp, month = feb, year = 1993 } @TECHREPORT{Ykman94, author = "Chantal Ykman-Couvreur and Bill Lin and Hugo de Man", title = "Assassin: A synthesis system for asynchronous control circuits", institution="IMEC", note = "User and Tutorial manual", month = sep, year = 1994 } @INPROCEEDINGS{Ykman95, author = "Chantal Ykman-Couvreur and Bill Lin", title = "Optimised State Assignment for Asynchronous Circuit Synthesis", pages = "118--127", booktitle= adm, publisher= icsp, month = may, year = 1995 } @INPROCEEDINGS{Yoeli87, author = "Yoeli, Michael", title = "Specification and Verification of Asynchronous Circuits Using Marked Graphs", editor = "Voss, K. and Genrich, H. J. and Rozenberg, G.", booktitle= "Concurrency and Nets, Advances in {P}etri Nets", publisher= springer, pages = "605--622", year = 1987 } @INPROCEEDINGS{Yoneda96, author = "T. Yoneda and T. Yoshikawa", title = "Using partial orders for trace theoretic verification of asynchronous circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 } @INPROCEEDINGS{Yu92, author = "Meng-Lin Yu and P. A. Subrahmanyan", title = "A path oriented approach for reducing hazards in asynchronous designs", booktitle= dac, pages = "239--244", year = 1992 } @INPROCEEDINGS{Yu93, author = "Meng-Lin Yu and P. A. Subrahmanyan", title = "Hazard-free Asynchronous Circuit Synthesis", pages = "87--105", editor = "S. Furber and M. Edwards", booktitle= adm, series = ifip, volume = "A-28", publisher= esp, year = 1993 } @INPROCEEDINGS{Yun92, author = "Kenneth Y. Yun and David L. Dill and Steven M. Nowick", title = "Synthesis of {3D} Asynchronous State Machines", pages = "346--350", booktitle= iccd, publisher= icsp, month = oct, year = 1992 } @INPROCEEDINGS{Yun92a, author = "Kenneth Y. Yun and David L. Dill", title = "Automatic Synthesis of {3D} Asynchronous State Machines", pages = "576--580", booktitle= iccad, publisher= icsp, month = nov, year = 1992 } @INPROCEEDINGS{Yun93, author = "Kenneth Y. Yun and David L. Dill and Steven M. Nowick", title = "Practical Generalizations of Asynchronous State Machines", pages = "525--530", booktitle= edac, publisher= icsp, month = feb, year = 1993 } @INPROCEEDINGS{Yun93a, author = "Kenneth Y. Yun and David L. Dill", title = "Unifying Synchronous/Asynchronous State Machine Synthesis", booktitle= iccad, pages = "255--260", publisher= icsp, month = nov, year = 1993 } @PHDTHESIS{Yun94, author = "Kenneth Yi Yun", title = "Synthesis of Asynchronous Controllers for Heterogeneous Systems", school = "Stanford University", month = aug, year = 1994 } @INPROCEEDINGS{Yun94a, author = "Kenneth Y. Yun and Bill Lin and David L. Dill and Srinivas Devadas", title = "Performance-driven Synthesis of Asynchronous Controllers", pages = "550--557", booktitle= iccad, month = nov, year = 1994 } @INPROCEEDINGS{Yun96, author = "K. Y. Yun and P. A. Beerel and J. Arceo", title = "High-Performance Asynchronous Pipeline Circuits", booktitle= async, publisher= icsp, month = mar, year = 1996 }