[IEEE APCCAS 2010-2010 IEEE Asia Pacific Conference on Circuits and Systems - Kuala Lumpur, Malaysia (2010.12.6-2010.12.9)] 2010 IEEE Asia Pacific Conference on Circuits and Systems - Jitter generation and capture using phase-domain sigma-delta encoding
- 作者Aouini, Sadok; Chuai, Kun; Roberts, Gordon W.
- 文件大小1747.08KB
- 发表时间2010
- DOI10.1109/APCCAS.2010.5774871
- 页码52-55
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