Fast Bit-Accurate C++ Datatypes For Functional System Verification and Synthesis.

Andrs Takach, Simon Waters, Peter Gutberlet

Browse the full FDL paper archive.