Reliable Verification of Digital Implemented Filters Against Frequency Specifications.

Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire

Browse the full ARITH paper archive.