GongJie Liu

According to our database, GongJie Liu authored at least 3 papers in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

MA2TG: A Functional Test Program Generator for Microprocessor Verification.

Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li

Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming.

Tun Li, Yang Guo, GongJie Liu, Sikun Li

Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.

Tun Li, Yang Guo, Sikun Li, GongJie Liu

Proceedings of the Automated Technology for Verification and Analysis, 2005