Andrew Seawright, Forrest Brewer
High-Level Symbolic Construction Technique for High Performance Sequential Synthesis
DAC, 1993.
@inproceedings{DAC-1993-SeawrightB,
author = "Andrew Seawright and Forrest Brewer",
booktitle = "{Proceedings of the 30th Design Automation Conference}",
doi = "10.1145/157485.164961",
isbn = "0-89791-577-1",
pages = "424--428",
publisher = "{ACM Press}",
title = "{High-Level Symbolic Construction Technique for High Performance Sequential Synthesis}",
year = 1993,
}