Cited By
View all- Ting YWang CChang YLin TChang SWang J(2016)Overoptimistic voltage scaling in pre-error AVS systems and learning-based alleviation2016 29th IEEE International System-on-Chip Conference (SOCC)10.1109/SOCC.2016.7905508(350-355)Online publication date: Sep-2016
- Alizadeh BFujita M(2011)Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques2011 12th International Symposium on Quality Electronic Design10.1109/ISQED.2011.5770740(1-6)Online publication date: Mar-2011
- Velev MGao P(2010)Method for formal verification of soft-error tolerance mechanisms in pipelined microprocessorsProceedings of the 12th international conference on Formal engineering methods and software engineering10.5555/1939864.1939894(355-370)Online publication date: 17-Nov-2010
- Show More Cited By