Zijian Zhou

According to our database, Zijian Zhou authored at least 10 papers between 1995 and 2004.

Collaborative distances:

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

2004

MDG-Based State Enumeration By Retiming And Circuit Transformation.

Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou

J. Circuits Syst. Comput., 2004

1999

Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.

Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed

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

1997

Multiway Decision Graphs for Automated Hardware Verification.

Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny

Formal Methods Syst. Des., 1997

Verification with Abstract State Machines Using MDGs.

Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

1996

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.

Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.

Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.

Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

MDG Tools for the Verification of RTL Designs.

K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Partitioning transition relations efficiently and automatically.

Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

State enumeration with abstract descriptions of state machines.

Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song

Proceedings of the Correct Hardware Design and Verification Methods, 1995