64 search results - page 1 / 13 » A formal approach for specification-driven AMS behavioral mo... |
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
VLSID
2002
IEEE
14 years 4 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
ET
1998
13 years 4 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...