7 search results - page 2 / 2 » Specification and verification of pipelining in the ARM2 RIS... |
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...
TVLSI
2008
13 years 4 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...