12981 search results - page 209 / 2597 » Model Checking (Abstract) |
131
click to vote
DAC
2008
ACM
16 years 4 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...
130
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...
DAC
1999
ACM
16 years 4 months ago
1999
ACM
DAC
2002
ACM
16 years 4 months ago
2002
ACM
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...