Haitao Yang

Affiliations:

National University of Defense Technology, Sixty-third Research Institute, Nanjing, China

According to our database¹, Haitao Yang authored at least 6 papers between 2020 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

A Hybrid Method for Equivalence Checking Between System Level and RTL.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2022

2021

A Path-Based Equivalence Checking Method Between System Level and RTL Descriptions Using Machine Learning.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2021

DssEC: A Deep State Sequence Based Equivalence Checker.

[BibT_eX]

[DOI]

Proceedings of the CSAE 2021: The 5th International Conference on Computer Science and Application Engineering, Sanya, China, October 19, 2021

2020

Multi-thread Simulation-based Equivalence Checking between SIM and RTI.

[BibT_eX]

[DOI]

Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2020

Validating GCSE in the scheduling of high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Asian Test Symposium, 2020

Haitao Yang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...