Sciweavers

4074 search results - page 47 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
86
Voted
HOST
2008
IEEE
15 years 4 months ago
Hardware Trojan Detection Using Path Delay Fingerprint
—Trusted IC design is a recently emerged topic since fabrication factories are moving worldwide in order to reduce cost. In order to get a low-cost but effective hardware Trojan ...
Yier Jin, Yiorgos Makris
68
Voted
WSC
2004
14 years 11 months ago
Bayesian Methods for Discrete Event Simulation
Bayesian methods are now used in a variety of ways in discrete-event simulation. Applications include input modeling, response surface modeling, uncertainty analysis, and experime...
Stephen E. Chick
MICRO
2007
IEEE
108views Hardware» more  MICRO 2007»
15 years 4 months ago
FPGA-Accelerated Simulation Technologies (FAST): Fast, Full-System, Cycle-Accurate Simulators
This paper describes FAST, a novel simulation methodology that can produce simulators that (i) are orders of magnitude faster than comparable simulators, (ii) are cycleaccurate, (...
Derek Chiou, Dam Sunwoo, Joonsoo Kim, Nikhil A. Pa...
DFT
2005
IEEE
90views VLSI» more  DFT 2005»
15 years 3 months ago
On the Modeling and Analysis of Jitter in ATE Using Matlab
This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually an...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
DAC
2003
ACM
15 years 10 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson