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