379 search results - page 15 / 76 » A Generative Approach to Change-Driven Consistency in Multi-... |
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
102
click to vote
CP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
105
click to vote
FDL
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...