Correctness proofs of parameterized hardware modules in the Cathedral-II synthesis environment | IEEE Conference Publication | IEEE Xplore