Correct-by-construction microarchitectural pipelining.

Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms

Browse the full ICCAD paper archive.