420 search results - page 44 / 84 » A Small Test Generator for Large Designs |
MICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
Many problems in laparoscopic surgery are due to the poor degrees of freedom of movement (DOF) in controlling forceps and laparoscopes. The Multi-DOF forceps manipulator we have ne...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Rapid growth in the scientific literature makes it increasingly difficult for scientists to keep abreast of findings outside their own narrowing fields of expertise. To help biome...