The Application of Formal Technology on Fixed Point Arithmetic SystemC Designs

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