23 search results - page 1 / 5 » Algebraic Models of Superscalar Microprocessor Implementatio... |
NADA
1998
Springer
13 years 10 months ago
1998
Springer
CALCO
2007
Springer
14 years 10 hour ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
DATE
2003
IEEE
13 years 11 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
SC
2005
ACM
13 years 11 months ago
2005
ACM
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
IFM
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...