Andrés Takach, S. Waters, P. Gutberlet. Fast Bit-Accurate C++ Datatypes For Functional System Verification and Synthesis. In Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings. pages 337-345, ECSI, 2004. [doi]
Abstract is missing.