Automatically adjusting system level designs after RTL/gate-level ECO. - Qinhao Wang; Yusuke Kimura; Masahiro Fujita (HLDVT, 2016)

Methods of equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs. - Qinhao Wang; Yusuke Kimura; Masahiro Fujita (ISQED, 2017)

Template based synthesis for high performance computing. - Masahiro Fujita; Yusuke Kimura; Qinhao Wang (VLSI-SoC, 2017)

High-Level Engineering Change Through Programmable Datapath and SMT Solvers. - Qinhao Wang; Amir Masoud Gharehbaghi; Takeshi Matsumoto; Masahiro Fujita (ISCAS, 2019)