5015 search results - page 156 / 1003 » Model Checking a Path |
120
Voted
FIW
2007
15 years 4 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
126
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
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...
126
Voted
FMSD
2010
15 years 1 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
87
Voted
DAC
1999
ACM
16 years 3 months ago
1999
ACM
88
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
