TR 2019-2020
| 实验室编号 | 题 目 | 作 者 |
| ISCAS-SKLCS-19-01 | Contention-Aware Mapping and Scheduling Optimization for Noc-Based Mpsocs | Rongjie Yan, Yupeng Zhou, Anyu Cai, Yige Yan, Minghao Yin |
| ISCAS-SKLCS-19-02 | Weak Well Founded Sets and Their Application to Formal Verification | Wenhui Zhang |
| ISCAS-SKLCS-20-01 | A Virtual Fiber-based Constitute Model for Isotropic and Anisotropic Nonlinear Materials | Xuehui Liu, Hao He |