U. Badelt

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

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