Bhaskar Bose Steven D. Johnson Shyamsundar Pullela Integrating Boolean Verification with Formal Derivation. 139-146 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#BoseJP93