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