A Formal Verification Methodology for IP-based Designs (2004)

by D Karlsson, P Eles, Z Peng
Venue:In Proceedings of EUROMICRO Symposium on Digital System Design