351 search results - page 21 / 71 » Plug-and-Play Architectural Design and Verification |
TVLSI
2008
14 years 9 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
81
Voted
DAC
1998
ACM
15 years 10 months ago
1998
ACM
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
FPL
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we present a verification platform designed for HyperTransport 3.x (HT3) applications. HyperTransport 3.x is a very low latency and high bandwidth chip-tochip interc...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...