Efficient Pattern-Based Verification of Connections to Intellectual Property Cores - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ilia Polian, Wolfgang Günther, Bernd Becker. Efficient Pattern-Based Verification of Connections to Intellectual Property Cores. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. pages 111-120, MoPress, 2001.

Abstract is missing.

runs on WebDSL