220 search results - page 21 / 44 » Estimating functional coverage in bounded model checking |
107
click to vote
JMLR
2012
13 years 1 months ago
2012
Sparse additive models are families of d-variate functions with the additive decomposition f∗ = ∑j∈S f∗ j , where S is an unknown subset of cardinality s d. In this paper,...
ICCD
2003
IEEE
15 years 8 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
88
Voted
WSC
2007
15 years 1 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
CAV
2009
Springer
15 years 5 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
ICC
1997
IEEE
15 years 3 months ago
1997
IEEE
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...