Login / Signup
Efficient Pattern-Based Verification of Connections to Intellectual Property Cores.
Ilia Polian
Wolfgang Günther
Bernd Becker
Published in:
MBMV (1) (2001)
Keyphrases
</>
intellectual property
computationally efficient
model checking
decision trees
lightweight
information retrieval
formal methods
formal verification
patent search