Formal verification of hardware design
Formal verification of hardware design
- California IEEE computer society Press 1990
- ix,326p.
Hardware Engineering
Computer Aided Design
621.381952 / Y4F
Hardware Engineering
Computer Aided Design
621.381952 / Y4F