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