Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.

Tun Li, Yang Guo, Sikun Li, GongJie Liu

Browse the full ATVA paper archive.