The Application of Formal Technology on Fixed-Point Arithmetic SystemC Designs

Author(s):
Sven Beyer, Dominik Straßer, and David Kelf
Location:
Europe
Year:
2015
Type:
Paper
Format:
pdf