sciPROVE: C++ Based Verification Environment for IP and SoC Design1 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'U. Badelt' in GoogleThis author has not been identified. Look up 'H. Kühl' in GoogleThis author has not been identified. Look up 'Martin Radetzki' in Google

runs on WebDSL