Sciweavers

TSE
2002
95views more  TSE 2002»
13 years 4 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...
FAC
2000
124views more  FAC 2000»
13 years 4 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman