2607 search results - page 6 / 522 » On the Architecture of System Verification Environments |
FDL
2005
IEEE
14 years 28 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
RCC
2002
13 years 7 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
ECBS
2007
IEEE
13 years 9 months ago
2007
IEEE
In today’s computing environment, unauthorized accesses and misuse of critical data can be catastrophic to personal users, businesses, emergency services, and even national defe...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE