358 search results - page 22 / 72 » A Verification Methodology for Model Fields |
DAC
2008
ACM
16 years 24 days ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
134
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
ENVSOFT
2006
14 years 11 months ago
2006
: The Minerals Management Service Pipeline Oil Spill Volume Estimation Model (POSVEM) is a computer-based methodology to estimate discharges from seafloor pipelines. The system is ...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
100
click to vote
AHS
2007
IEEE
15 years 3 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...