Login / Signup

Functional verification of complete sequential behaviors: A formal treatment of discrepancies between system-level and RTL descriptions.

Carlos Ivan Castro MarquezMarius StrumJiang Chau Wang
Published in: IDT (2013)
Keyphrases
  • formal treatment
  • functional verification
  • high level
  • power consumption
  • information systems
  • case study
  • natural language
  • hardware and software