Sciweavers

Share
DAC
2006
ACM
10 years 5 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
ISQED
2008
IEEE
117views Hardware» more  ISQED 2008»
10 years 6 months ago
A Basis for Formal Robustness Checking
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and ef´Čücient methods to measure this robustness are ...
Görschwin Fey, Rolf Drechsler
DAC
2008
ACM
11 years 24 days ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...
books