Sciweavers

ICCAD
2008
IEEE
140views Hardware» more  ICCAD 2008»
14 years 9 months ago
Correct-by-construction microarchitectural pipelining
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
Timothy Kam, Michael Kishinevsky, Jordi Cortadella...