Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.

Carna Radojicic Christoph Grimm Florian Schupfer Michael Rathmair

Published in: VLSI Design (2013)

Keyphrases

complex systems
low power
computer vision
low cost
high speed
model checking
formal methods
asynchronous circuits