1376 search results - page 138 / 276 » Model-Driven Software Verification |
146
click to vote
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
122
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
116
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
103
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
124
click to vote
FPL
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...