Login / Signup

Comparing Layouts with HDL Models: A Formal Verification Technique.

Timothy KamP. A. Subrahmanyam
Published in: ICCD (1992)
Keyphrases
  • formal verification
  • model checking
  • statistical models
  • data sets
  • complex systems
  • hidden markov models
  • software engineering
  • model selection
  • metamodel
  • graph theory