Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk
A methodology for formal design of hardware control with application to cache coherence protocols
DAC, 2000.
@inproceedings{DAC-2000-EisnerSHNNV,
author = "Cindy Eisner and Irit Shitsevalov and Russ Hoover and Wayne G. Nation and Kyle L. Nelson and Ken Valk",
booktitle = "{Proceedings of the 37th Design Automation Conference}",
doi = "10.1145/337292.337757",
pages = "724--729",
publisher = "{ACM}",
title = "{A methodology for formal design of hardware control with application to cache coherence protocols}",
year = 2000,
}