Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study.

Harald Rue

Browse the full FMCAD paper archive.