Alice C. Parker, Fadi J. Kurdahi, Mitch J. Mlinar
A general methodology for synthesis and verification of register-transfer designs
DAC, 1984.
@inproceedings{DAC-1984-ParkerKM,
acmid = "800816",
author = "Alice C. Parker and Fadi J. Kurdahi and Mitch J. Mlinar",
booktitle = "{Proceedings of the 21st Design Automation Conference}",
isbn = "0-8186-0542-1",
pages = "329--335",
publisher = "{ACM/IEEE}",
title = "{A general methodology for synthesis and verification of register-transfer designs}",
year = 1984,
}