358 search results - page 22 / 72 » A Verification Methodology for Model Fields |
76
Voted
DAC
2008
ACM
15 years 10 months 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...
115
Voted
FMCAD
2006
Springer
15 years 1 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 9 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 1 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...
AHS
2007
IEEE
15 years 1 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...