Formal methods in circuit design

Formal methods in circuit design1993
Details
- First published
- 1993
- OL Work ID
- OL3555264W
Subjects
Very large scale integrationIntegrated circuitsTestingComputer-aided designData processingComputers, circuitsComputersCircuits