Books · Search
Systems engineering · Computer-aided design
Hardware/software co-design
1997
Formal Methods for Vlsi Design
1990
Computer-aided design · Asynchronous circuits
Self-timed design
1993
Application specific integrated circuits · Computer-aided design
A formal approach to hardware design
1994
Program Specification
1982
Very large scale integration · Testing
Formal methods for VLSI design
Specifications · Congresses
Program specification
Platon
1975
Platon: user's manual
1976
