Normal view
MARC view
Integrated circuits Verification. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Dill, David L., author. 21749, Trace theory for automatic hierarchical verification of speed-independent circuits /