Qinhao Wang

According to our database1, Qinhao Wang authored at least 4 papers between 2016 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
High-Level Engineering Change Through Programmable Datapath and SMT Solvers.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

2017
Template based synthesis for high performance computing.
Proceedings of the 2017 IFIP/IEEE International Conference on Very Large Scale Integration, 2017

Methods of equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs.
Proceedings of the 18th International Symposium on Quality Electronic Design, 2017

2016
Automatically adjusting system level designs after RTL/gate-level ECO.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016


  Loading...