sciPROVE: C++ Based Verification Environment for IP and SoC Design1.

U. Badelt, H. Khl, Martin Radetzki

Browse the full FDL paper archive.