Cited By
View all- Hu WWu LTai YTan JZhang J(2020)A Unified Formal Model for Proving Security and Reliability Properties2020 IEEE 29th Asian Test Symposium (ATS)10.1109/ATS49688.2020.9301533(1-6)Online publication date: 23-Nov-2020
- Yechangunja SShekhar RKumar MTripathi NMittal ARanjan ALiu JMo MDo KChoi JPark SFanucci LTeich J(2016)Sequential analysis driven reset optimization to improve power, area and routabilityProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2971936(551-554)Online publication date: 14-Mar-2016
- Chang KChou HYu HDobbyn DKuo S(2016)Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted AgainIEEE Design & Test10.1109/MDT.2011.7533:6(63-71)Online publication date: Dec-2016
- Show More Cited By