sciPROVE: C++ Based Verification Environment for IP and SoC Design1. - U. Badelt; H. Kühl; Martin Radetzki (FDL, 2003)