Trace theory for automatic hierarchical verification of speed-independent circuits /

Trace theory for automatic hierarchical verification of speed-independent circuits /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Dill, David L.
Formaat: Boek
Taal:English
Gepubliceerd in: Cambridge, Mass. : MIT Press, c1989.
Reeks:ACM distinguished dissertations
Onderwerpen:
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.

CARM 1 Store

Exemplaargegevens van CARM 1 Store
Plaatsingsnummer: A2:AJ21E0 C04632
Kopie 1 Beschikbaar  Plaats een reservatie

Gelijkaardige items