Sciweavers

WSC
2008
14 years 2 months ago
Design Of Experiments: Overview
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
Jack P. C. Kleijnen
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
14 years 5 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
DATE
2005
IEEE
144views Hardware» more  DATE 2005»
14 years 6 months ago
An Accurate SER Estimation Method Based on Propagation Probability
In this paper, we present an accurate but very fast soft error rate (SER) estimation technique for digital circuits based on error propagation probability (EPP) computation. Exper...
Ghazanfar Asadi, Mehdi Baradaran Tahoori
FDL
2008
IEEE
14 years 7 months ago
Contradiction Analysis for Constraint-based Random Simulation
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
Daniel Große, Robert Wille, Robert Siegmund,...
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
14 years 7 months ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco