Title :
System-level design verification in the AT&T Computer Division: tools
Author :
Abramovici, M. ; Kulikowski, J. ; Miller, D.T. ; Menon, P.R.
Author_Institution :
AT&T Bell Lab., Naperville, IL, USA
Abstract :
The authors present the CAD tools used for system-level design verification (DV) in the AT&T computer division. They discuss features of the tools for building and preparing the model of the system, developing tests, simulation, static timing analysis, results analysis, and circuit comparison. While a good simulator is an essential component, many other tools are required. Although some of them provide only relatively minor capabilities, together they form an integrated set of tools that greatly simplify the designers´ work and make possible successful completion of system-level DV projects
Keywords :
virtual machines; AT&T Computer Division; CAD tools; circuit comparison; integrated set; results analysis; simulation; simulator; static timing analysis; system-level design verification; Analytical models; Buildings; Circuit analysis; Circuit simulation; Circuit testing; Computational modeling; Design automation; System testing; System-level design; Timing;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1989. ICCD '89. Proceedings., 1989 IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-1971-6
DOI :
10.1109/ICCD.1989.63426
