A methodology for formal design of hardware control with application to cache coherence protocols.

Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk

Browse the full DAC paper archive.