Home
People
Research
Publications
Tools
Teaching
Contact
Light
Dark
Automatic
Asynchronous Circuit Design (in Chinese)
Chris Myers
September 2013
Cite
Type
Book
Publication
Tsinghua University Press
asynchronous circuit
Chris Myers
Department Chair / Professor
Related
Computer Aided Synthesis and Verification of Gate-Level Timed Circuits
Asynchronous Circuit Design (in Japanese)
Invited: Advances in formal methods for the design of analog/mixed-signal systems
Using decision diagrams to compactly represent the state space for explicit model checking
A Compositional Minimization Approach for Large Asynchronous Design Verification
Cite
×
