Assertion-based verification of signal processing systems with affine arithmetic.

Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm

Browse the full FDL paper archive.