David L. Dill
2 published titles
Trace theory for automatic hierarchical verification of speed-independent circuits
1 edition
- ISBN: 0262041014
- MIT Press
- 1989
- Details
Synchronization design for digital systems
(Contributor)
1 edition
- ISBN: 0792391284
- Kluwer Academic
- 1991
- Details
