Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL
暂无分享,去创建一个
Giovanni Squillero | Artur Jutman | Anton Tsertov | Michele Portolan | Aleksa Damljanovic | Ernesto Sanchez
[1] Matteo Sonza Reorda,et al. Automatic generation of stimuli for fault diagnosis in IEEE 1687 networks , 2016, 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS).
[2] Matteo Sonza Reorda,et al. A suite of IEEE 1687 benchmark networks , 2016, 2016 IEEE International Test Conference (ITC).
[3] Hans-Joachim Wunderlich,et al. Modeling, verification and pattern generation for reconfigurable scan networks , 2012, 2012 IEEE International Test Conference.
[4] Hans-Joachim Wunderlich,et al. Test Strategies for Reconfigurable Scan Networks , 2016, 2016 IEEE 25th Asian Test Symposium (ATS).
[5] Farrokh Ghani Zadegan,et al. Design automation for IEEE P1687 , 2011, 2011 Design, Automation & Test in Europe.
[6] Hans-Joachim Wunderlich,et al. Structure-Oriented Test of Reconfigurable Scan Networks , 2017, 2017 IEEE 26th Asian Test Symposium (ATS).
[7] Pascal Raiola,et al. Specification and verification of security in reconfigurable scan networks , 2017, 2017 22nd IEEE European Test Symposium (ETS).
[8] Matteo Sonza Reorda,et al. Test of Reconfigurable Modules in Scan Networks , 2018, IEEE Transactions on Computers.
[9] Hans-Joachim Wunderlich,et al. Reconfigurable Scan Networks: Modeling, Verification, and Optimal Pattern Generation , 2015, TODE.