Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.

Tun Li Yang Guo Sikun Li Dan Zhu Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. 175-184 2005 conf/micai/2005 MICAI http://dx.doi.org/10.1007/11579427_18 db/conf/micai/micai2005.html#LiGLZ05