Synthesis Of Asynchronous Controllers For Heterogeneous Systems

Synthesis Of Asynchronous Controllers For Heterogeneous Systems (1994)

Cached

Download Links

by Kenneth Yi Yun

Citations:

BibTeX

@MISC{Yun94synthesisof,
    author = {Kenneth Yi Yun},
    title = {Synthesis Of Asynchronous Controllers For Heterogeneous Systems},
    year = {1994}
}

Bookmark

OpenURL

Abstract

Citations

3118	Communicating Sequential Processes - Hoare - 1985
2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
648	Petri Net Theory and Modeling of Systems - Peterson - 1981
234	Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits, ACM Distinguished Dissertations - Dill - 1989
191	Synthesis of Self-Timed VLSI Circuits From GraphTheoretic Specifications - Chu - 1987
145	Asynchronous Sequential Switching Circuits - Unger - 1969
144	Programming in VLSI: From communicating processes to delay-insensitive circuits - Martin - 1990
127	Performance Analysis and Optimization of Asynchronous Circuits - Burns - 1991
101	Compiling communicating processes into delay-insensitive VLSI circuits - Martin - 1986
76	Synthesis of timed asynchronous circuits - Myers, Meng - 1993
75	The design of an asynchronous microprocessor - Martin, Burns, et al. - 1989
73	Automatic gate-level synthesis of speed independent circuits - Beerel, Meng - 1992
73	Anomalous behavior of synchronizer and arbiter circuits - Chaney, Molnar - 1973
67	Logic Design Principles with Emphasis on Testable Semicustom Circuits - McCluskey - 1986
67	Logic Synthesis for VLSI Design - Rudell - 1989
66	Automatic Synthesis of Burst-Mode Asynchronous Controllers - Nowick - 1993
64	Algorithms for Synthesis and Testing of Asynchronous Circuits - Lavagno, Sangiovanni-Vincentelli - 1993
61	Exact two-level minimization of hazard-free logic with multiple-input changes - Nowick, Dill - 1995
52	Synthesis of asynchronous state machines using a local clock - Nowick, Dill - 1991
51	The Post Office experience: Designing a large asynchronous chip - Coates, Davis, et al. - 1993
49	Translating concurrent programs into delay-insensitive circuits - Brunvand, Sproull
49	Synthesis of delayinsensitive modules - Molnar, Fang, et al. - 1985
47	A formal approach to designing delay-insensitive circuits - Ebergen - 1991
46	The synthesis of sequential switching circuits - Huffman - 1964
43	The Design of a Self-timed Circuit for Distributed Mutual Exclusion - Martin
40	Asynchronous datapaths and the design of an asynchronous adder - Martin - 1992
39	detection in combinational and sequential switching circuits - Hazard - 1965
38	Synthesis of 3D asynchronous state machines - Yun, Dill, et al. - 1992
37	The Design and Implementation of an Asynchronous Microprocessor - Paver - 1994
36	A Method for Minimizing the Number of Internal States in Incompletely Specified Machines - Grasselli, Luccio - 1965
32	Practical asynchronous controller design - Nowick, Yun, et al. - 1992
29	Synchronization Design for Digital Systems - Meng - 1990
29	Automatic technology mapping for generalized fundamental-mode asynchronous designs - Siegel, Micheli, et al. - 1993
28	Internal State Assignment for Asynchronous Sequential Machines - Tracey - 1966
27	SHILPA: A high-level synthesis system for self-timed circuits - Akella, Gopalakrishnan - 1992
26	UCLOCK: automated design of highperformance unclocked state machines - Nowick, Coates - 1994
22	Designing an asynchronous communications chip - Marshall, Coates, et al. - 1994
22	The design of a highperformance cache controller: a case study in asynchronous synthesis - Nowick, Dean, et al. - 1993
21	Automatic Synthesis of Fast Compact Self-Timed Control Circuits - Coates, Davis, et al. - 1993
20	et al. A 200MHz 64b dual-issue cmos microprocessor - Dobberpuhl - 1989
18	Elimination of static and dynamic hazards for multiple input changes in combinational switching circuits - Bredeson, Hulina - 1972
18	The NSR processor - Brunvand - 1993
18	Automated compilation of concurrent programs into self-timed circuits - Burns - 1988
18	Automatic synthesis of 3D asynchronous finite-state machines - Yun, Dill - 1992
17	Synthesis and optimization of asynchronous controllers based on extended lock graph theory - Ykman-Couvreur, Lin, et al. - 1993
17	Unifying synchronous/asynchronous state machine synthesis - Yun, Dill - 1993
16	Synthesis of multiple input change hazard-free combinational switching circuits without feedback - Bredeson - 1975
16	Synthesis of hazard-free multilevel logic under multiple-input changes from binary decision diagrams - Lin, Devadas
14	A unified approach to combinational hazards - Beister - 1974
14	Introduction to VLSI Systems, chapter 7 - Conway - 1980