Normal view
MARC view
Integrated circuits Very large scale integration Design and construction Data processing Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Cornell University. Mathematical Sciences Institute. Workshop (1989) 32997, Hardware specification, verification, and synthesis :, 1990.