Erratum
- 期刊名称Journal of Research on Adolescence
- 卷第7卷
- 期第1期
- 印刷ISSN1050-8392
- 电子ISSN1532-7795
- 文件大小38.12KB
- 发表时间1997-01
- DOI10.1207/s15327795jra0701_6
- 页码107-107
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