Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 2 of 2 on Sys. 80 (March 1997): 315-325. 8. DL Dill. Trace Theory for Automatic Hierarchical....
" Sys. 80 (March 1997): 315-325. 8. DL Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. "
Logically Determined Design: Clockless System Design with NULL Convention Logic - Page 284
by Karl M. Fant - 2005 - 250 pages
Limited preview - About this book

Formal Methods in Computer-Aided Design: Third International Conference ...

Warren A. Jr. Hunt, Steven D. Johnson - Computers - 2000 - 537 pages
..."Executable Protocol Specification in ESL." Formal Methods in Computer- Aided Design (FMCAD'OO). 2000. 8. DL Dill. Trace theory for automatic hierarchical verification of speed-independent circuits. ACM Distinguished Dissertations. MIT Press, 1989. 9. A. Goel, WR Lee. "Formal Verification of an IBM...
Limited preview - About this book

Computer Science Reconsidered: The Invocation Model of Process Expression

Karl M. Fant - Technology & Engineering - 2007 - 285 pages
...purposely avoids concurrency, computer science must embrace concurrency in its foundations. REFERENCES 1. DL Dill. Trace Theory for Automatic Hierarchical Verification...SpeedIndependent Circuits. Cambridge: MIT Press, 1989, pp. 2, 3. 2. M. Ben-Ari. Principles of Concurrent Programming. Englewood Cliffs, NJ: Prentice Hall International,...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search