Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.

Tun Li Yang Guo Sikun Li GongJie Liu Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. 174-186 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_15 db/conf/atva/atva2005.html#LiGLL05