Institute of Computing Technology, Chinese Academy IR
分面浏览:作者 |
当前检索式 | ((ALL:Abstraction-guided simulation)) |
限定条件 | ((出处:IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS) AND (作者:Li, Huawei) AND (作者:Wang, Tiancheng) AND (资助项目:National Natural Science Foundation of China[61176040]) AND (资助项目:National Natural Science Foundation of China[61432017])) |
Li, Huawei 2 | Li, Xiaowei 2 | Lv, Tao 2 |
Wang, Tiancheng 2 | Kundu, Sandip 1 | Wang, Jian 1 |
Zhou, Yanhong 1 |