Back to Results
First PageMeta Content
Formal methods / Electronic design automation / Logic simulation / Electronic design / Simulation / Computer simulation / Integrated circuit design / Software bug / Software development process / Electronic engineering / Electronics / Logic design


Large-Scale Hardware Simulation: Modeling and Veri cation Strategies Douglas W. Clark 1
Add to Reading List

Document Date: 2005-08-12 16:55:44

Open Document

File Size: 463,14 KB

Share Result on Facebook

Company

Douglas W. Clark 1 Digital Equipment Corporation / /

/

Facility

Carnegie-Mellon University / Harvard University / /

IndustryTerm

translation tools / ultimate hardware / computing / bus protocol / actual hardware / computer hardware / integratedcircuit chips / /

Organization

Carnegie-Mellon University / Harvard University / Computer Science Department / Aiken Computation Lab / /

/

Position

higher-level model / the designer / separate model for comparison / representative / designer / model and advocate / /

Technology

one chip / VLSI chip / Simulation / bus protocol / integrated circuits / CAD / /

SocialTag