Login / Signup
Qinhao Wang
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 4
Top Topics
Computational Science
Modulo Theories
Software Environment
Sat Solvers
Top Venues
ISQED
VLSI-SoC
HLDVT
ISCAS
</>
Publications
</>
Qinhao Wang
,
Amir Masoud Gharehbaghi
,
Takeshi Matsumoto
,
Masahiro Fujita
High-Level Engineering Change Through Programmable Datapath and SMT Solvers.
ISCAS
(2019)
Masahiro Fujita
,
Yusuke Kimura
,
Qinhao Wang
Template based synthesis for high performance computing.
VLSI-SoC
(2017)
Qinhao Wang
,
Yusuke Kimura
,
Masahiro Fujita
Methods of equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs.
ISQED
(2017)
Qinhao Wang
,
Yusuke Kimura
,
Masahiro Fujita
Automatically adjusting system level designs after RTL/gate-level ECO.
HLDVT
(2016)