Sign in

Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking.

Sacha LoitzMarkus WedlerChristian BrehmTimo VogtNorbert WehnWolfgang Kunz
Published in: SASP (2008)
Keyphrases
  • case study
  • test bed
  • general purpose
  • low cost
  • formal model
  • formal methods
  • functional analysis
  • machine learning
  • formal analysis
  • formal models
  • provably correct
  • functional properties