VLSI asynchronous systems: specification and synthesis
References (48)
- et al.
High Level VLSI Synthesis
(1991) - et al.
High-Level Synthesis: Introduction to Chip and System Design
(1992) - et al.
The high-level synthesis of digital systems
Micropipelines
Comm. ACM
(June 1989)- et al.
An Introduction to VLSI Systems
(1980) - et al.
Some recent asynchronous system design methodologies
Communicating Sequential Processes
(1985)Communication and Concurrency
(1989)Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits
(1989)Translating Programs into Delay Insensitive Circuits
(1989)
A correctness criterion for asynchronous circuit verification and optimization
Compiling Occam into Field-Programmable Gate Arrays
Programming in VLSI: From communicating processes to delay-insensitive circuits
Handshake circuits: an intermediary between communicating processes and VLSI
PhD thesis
Translating concurrent communicating programs into asynchronous circuits
Shilpa: A high-level synthesis system for self-timed circuits
Synthesis of hazard-free control circuits from asynchronous finite state machine specifications
Practical asynchronous controller design
The post office experience
How DEC developed Alpha
Automatic synthesis of asynchronous circuits from high-level specifications
IEEE Trans. Comput.-Aided Des.
A zero-overhead self-timed 160 ns 54 bit CMOS divider
IEEE J. Sol. State Circ.
Cited by (3)
Survey of selfclocked controllers
1995, Microelectronics JournalController synthesis using data-driven clocks
1995, Microelectronics JournalRetargeting a hardware compiler using protocol converters
1996, Formal Aspects of Computing
- 1
Ganesh Gopalakrishnan received an MTech degree in electrical engineering from the Indian Institute of Technology, Kanpur, India, in 1980, and a PhD degree in computer science from the State University of New York, Stony Brook, New York, in 1986. Currently he is an Assistant Professor with the Department of Computer Science, University of Utah, Salt Lake City, UT, USA. Previously he was a visiting Assistant Professor at the University of Calgary, Canada, for one year, and has spent a summer at the Bell Laboratories, Murray Hill, NJ. His interests are in applying formal methods to the design of synchronous and asynchronous VLSI systems, and also in programming languages.
- 2
Venkatesh Akella received an ME degree in electrical communication engineering from the Indian Institute of Science, Bengalore, India, in 1985 and a PhD degree in computer science from the University of Utah, in 1992. Currently he is an Assistant Professor with the Department of Electrical Engineering and Computer Science, University of California, Davis, CA, USA. His research interests are in programming languages and VLSI design.