Login / Signup

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?

Prasenjit BasuSayantan DasPallab DasguptaP. P. ChakrabartiChunduri Rama MohanLimor Fix
Published in: DATE (2004)
Keyphrases
  • formal verification
  • model checking
  • architectural design
  • model checker
  • software architecture
  • bounded model checking
  • case study
  • knowledge based systems
  • design space
  • symbolic model checking
  • functional verification