Pattern-based verification of connections to intellectual property cores.

Ilia Polian Wolfgang Günther Bernd Becker

Published in: Integr. (2003)

Keyphrases

intellectual property
patent search
clef ip
model checking
patent information
information technology
patent documents
real time
information systems
web pages
e government
formal methods
signature verification
formal verification
level parallelism