Login / Signup

Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.

Nicola BombieriAndrea FedeliFranco Fummi
Published in: MEMOCODE (2005)
Keyphrases
  • extended abstract
  • design process
  • hardware and software
  • user interface
  • embedded systems
  • website
  • case study
  • knowledge based systems
  • engineering design
  • modeling language
  • formal methods