Trace theory for automatic hierarchical verification of speed-independent circuits
Trace theory for automatic hierarchical verification of speed-independent circuits
Tallennettuna:
| Ulkoasu |
163 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Cambridge (MA) :
MIT Press,
1989.
|
| Opinnäyte | Väitöskirja : Carnegie-Mellon University, 1988 |
| Sarja | ACM distinguished dissertations |
| Luokitus | |
| Lisätiedot | David L. Dill. |
| ISBN |
0-262-04101-4 |
| Hae kokoteksti | |