Diederik Verkest, Luc J. M. Claesen, Hugo De Man. Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment. In Gordon Adshead, Jochen A. G. Jess, editors, European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990. pages 62-66, IEEE Computer Society, 1990. [doi]
Abstract is missing.