GongJie Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2005
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ATVA | Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. | Tun Li, Yang Guo, Sikun Li, GongJie Liu |
| 2005 | DSD | Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. | Tun Li, Yang Guo, GongJie Liu, Sikun Li |
| 2005 | DSD | MA2TG: A Functional Test Program Generator for Microprocessor Verification. | Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li |