Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. - Lydia Jaß; Paula Herber (IESS, 2015)