Title :
Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222)
Abstract :
The following topics were dealt with: low-power circuits and architectures; VLSI circuits; VLSI arithmetic; testing; communication systems; CAD; formal verification; and design databases
Keywords :
VLSI; circuit CAD; database management systems; digital arithmetic; formal verification; integrated circuit design; integrated circuit testing; telecommunication equipment; CAD; VLSI arithmetic; VLSI circuits; communication systems; design databases; formal verification; low-power circuits; testing;
Conference_Titel :
VLSI, 1998. Proceedings of the 8th Great Lakes Symposium on
Conference_Location :
Lafayette, LA, USA
Print_ISBN :
0-8186-8409-7
DOI :
10.1109/GLSV.1998.665189