PUBLICATIONS ON THERMAL STRESSES
- 期刊名称Journal of Thermal Stresses
- 作者Hetnarski, Richard B.
- 卷第3卷
- 期第1期
- 印刷ISSN0149-5739
- 电子ISSN1521-074X
- 文件大小158.94KB
- 发表时间1980-01
- DOI10.1080/01495738008926959
- 页码153-156
Path-Directed Abstraction and Refinement for SAT-Based Design DebuggingKeng, Brian; Veneris, Andreas · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013
[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Scaling VLSI design debugging with interpolationKeng, Brian; Veneris, Andreas · 2009
[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Automated debugging of missing assumptionsKeng, Brian; Qin, Evean; Veneris, Andreas; Le, Bao · 2014
[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Path directed abstraction and refinement in SAT-based design debuggingKeng, Brian; Veneris, Andreas · 2012
[IEEE 2010 11th International Workshop on Microprocessor Test and Verification (MTV) - Austin, Texas, USA (2010.12.13-2010.12.15)] 2010 11th International Workshop on Microprocessor Test and Verification - An Automated Framework for Correction and Debug of PSL AssertionsKeng, Brian; Veneris, Andreas; Safarpour, Sean · 2010
[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - A succinct memory model for automated design debuggingKeng, Brian; Mangassarian, Hratch; Veneris, Andreas · 2008
[IEEE 2011 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011 - Yokohama, Japan (2011.01.25-2011.01.28)] 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) - From RTL to silicon: The case for automated debugVeneris, Andreas; Keng, Brian; Safarpour, Sean · 2011