Correctness proofs of parameterized hardware modules in the Cathedral-II synthesis environment (1990)

by D Verkest, P Johannes, L Claesen, H De Man
Venue:In Proceedings of the European Design Automation Conference. IEEE Computer