Title :
Proceedings Ninth Great Lakes Symposium on VLSI
Abstract :
The following topics were dealt with. Testing; design; delay modelling; nanoelectronics; logic synthesis; MEMS; verification; and low power electronics
Keywords :
VLSI; delays; formal verification; integrated circuit design; integrated circuit modelling; integrated circuit testing; logic design; low-power electronics; micromechanical devices; nanotechnology; IC design; MEMS; delay modelling; logic synthesis; low power electronics; nanoelectronics; testing; verification;
Conference_Titel :
VLSI, 1999. Proceedings. Ninth Great Lakes Symposium on
Conference_Location :
Ypsilanti, MI, USA
Print_ISBN :
0-7695-0104-4
DOI :
10.1109/GLSV.1999.757363