Pastāsti draugiem par šo preci:
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation David L. Dill
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation
David L. Dill
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.
181 pages, Ill.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2003. gada 17. marts |
| ISBN13 | 9780262541572 |
| Izdevēji | MIT Press Ltd |
| Lapas | 181 |
| Izmēri | 216 × 279 × 25 mm · 430 g |
| Valoda | Angļu |