U. Badelt, H. Kühl, Martin Radetzki. sciPROVE: C++ Based Verification Environment for IP and SoC Design1. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 617-627, ECSI, 2003. [doi]
Abstract is missing.