Normal view
MARC view
Integrated circuits Verification (Topical Term)
Machine generated authority record.
Work cat.: (): Hachtel, Gary D. 397970, Logic synthesis and verification algorithms /, c1996
