Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Diederik Verkest' in GoogleThis author has not been identified. Look up 'Luc J. M. Claesen' in GoogleThis author has not been identified. Look up 'Hugo De Man' in Google

runs on WebDSL