Liang Zhang

According to our database, Liang Zhang authored at least 7 papers between 2003 and 2006.

Collaborative distances:

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

2006

A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.

Liang Zhang, Indradeep Ghosh, Michael S. Hsiao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2005

Design Verification for Sequential Systems at Various Abstraction Levels.

Liang Zhang

PhD thesis, 2005

Dynamic abstraction using SAT-based BMC.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle

Proceedings of the 42nd Design Automation Conference, 2005

Interleaved Invariant Checking with Dynamic Abstraction.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Incremental deductive & inductive reasoning for SAT-based bounded model checking.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2003

Efficient Sequential ATPG for Functional RTL Circuits.

Liang Zhang, Indradeep Ghosh, Michael S. Hsiao

Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003

Automatic Design Validation Framework for HDL Descriptions via RTL ATPG.

Liang Zhang, Michael S. Hsiao, Indradeep Ghosh

Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003