A Formal Verification Approach for IP-based Designs.

Daniel Karlsson, Petru Eles, Zebo Peng

Browse the full FDL paper archive.