About this scholarly article

Proceedings of the European Design Automation Conference, 1990., EDAC. - Correctness proofs of parameterized hardware modules in the Cathedral-II synthesis environment by Verkest, D.; Claesen, L.; De Man, H. is a scholarly article available to read on EtoBox.

Author

Verkest, D.; Claesen, L.; De Man, H.

Publisher

IEEE Comput. Soc. Press

Published

1990

Language

EN