Sciweavers

Share
10 search results - page 1 / 2
» Novel Probabilistic Combinational Equivalence Checking
Sort
View
TVLSI
2008
107views more  TVLSI 2008»
8 years 11 months ago
Novel Probabilistic Combinational Equivalence Checking
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen
TVLSI
2008
151views more  TVLSI 2008»
8 years 11 months ago
Guest Editorial Special Section on Design Verification and Validation
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...
I. Harris, D. Pradhan
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
9 years 3 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a veriļ¬cation 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
CORR
2009
Springer
242views Education» more  CORR 2009»
8 years 9 months ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
ACL
2012
7 years 1 months ago
Detecting Semantic Equivalence and Information Disparity in Cross-lingual Documents
We address a core aspect of the multilingual content synchronization task: the identiļ¬cation of novel, more informative or semantically equivalent pieces of information in two d...
Yashar Mehdad, Matteo Negri, Marcello Federico
books