The Application of Formal Technology on Fixed-Point Arithmetic SystemC Designs Author(s): Sven Beyer, Dominik Straßer, and David Kelf Download
