Visibility enhancement for silicon debug
暂无分享,去创建一个
Yu-Chin Hsu | Fur-Shing Tsai | Ying-Tsai Chang | Wells Jong | Y. Hsu | F. Tsai | Wells Jong | Ying-Tsai Chang
[1] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[2] Kaizhong Zhang,et al. Algorithms for Approximate Graph Matching , 1995, Inf. Sci..
[3] Hong Hao,et al. Structured design-for-debug-the SuperSPARC II methodology and implementation , 1995, Proceedings of 1995 IEEE International Test Conference (ITC).
[4] J.R. Burch,et al. Robust latch mapping for combinational equivalence checking , 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
[5] Adnan Aziz,et al. Enhancing simulation with BDDs and ATPG , 1999, DAC '99.
[6] Valeria Bertacco,et al. Cycle-based symbolic simulation of gate-level synchronous circuits , 1999, DAC '99.
[7] Bart Vermeulen,et al. Test and debug strategy of the PNX8525 Nexperia/sup TM/ digital video platform system chip , 2001, Proceedings International Test Conference 2001 (Cat. No.01CH37260).
[8] Robert F. Damiano,et al. A practical and efficient method for compare-point matching , 2002, DAC '02.
[9] Bassam Tabbara,et al. Advanced techniques for RTL debugging , 2003, DAC '03.
[10] Ahmad A. Al-Yamani,et al. ELF-Murphy data on defects and tests sets , 2004, 22nd IEEE VLSI Test Symposium, 2004. Proceedings..
[11] Sandeep Kumar Goel,et al. Automatic generation of breakpoint hardware for silicon debug , 2004, Proceedings. 41st Design Automation Conference, 2004..
[12] Gérard Memmi,et al. A reconfigurable design-for-debug infrastructure for SoCs , 2006, 2006 43rd ACM/IEEE Design Automation Conference.