GongJie Liu

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Tun Li, Yang Guo, GongJie Liu, Sikun Li
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD (2005)
Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li
MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD (2005)
Tun Li, Yang Guo, Sikun Li, GongJie Liu
Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA (2005)