• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.

Carna RadojicicChristoph GrimmFlorian SchupferMichael Rathmair
Published in: VLSI Design (2013)
Keyphrases
  • complex systems
  • low power
  • computer vision
  • low cost
  • high speed
  • model checking
  • formal methods
  • asynchronous circuits