Sinossi
Covers chip designs, mathematical proof versus simulation, automatic verification of sequential circuit designs, and microprocessor specification and verification
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.