Abstraction and Refinement Techniques in Automated Design Debugging

Seventh International Workshop on Microprocessor Test and Verification (MTV'06) ◽

10.1109/mtv.2006.1 ◽

2006 ◽

Cited By ~ 4

Author(s):

Sean Safarpour ◽

Andreas Veneris

Keyword(s):

Automated Design ◽

Design Debugging

Download Full-text

Automated Design Debugging in a Testbench-Based Verification Environment

2011 14th Euromicro Conference on Digital System Design ◽

10.1109/dsd.2011.67 ◽

2011 ◽

Cited By ~ 13

Author(s):

Mehdi Dehbashi ◽

Andre Sulflow ◽

Gorschwin Fey

Keyword(s):

Automated Design ◽

Design Debugging

Download Full-text

Automated Design Debugging With Abstraction and Refinement

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2009.2030593 ◽

2009 ◽

Vol 28 (10) ◽

pp. 1597-1608 ◽

Cited By ~ 13

Author(s):

S. Safarpour ◽

A. Veneris

Keyword(s):

Automated Design ◽

Design Debugging

Download Full-text

Automated Design Debugging With Maximum Satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2010.2061270 ◽

2010 ◽

Vol 29 (11) ◽

pp. 1804-1817 ◽

Cited By ~ 51

Author(s):

Yibin Chen ◽

Sean Safarpour ◽

Joao Marques-Silva ◽

Andreas Veneris

Keyword(s):

Automated Design ◽

Maximum Satisfiability ◽

Design Debugging

Download Full-text

A succinct memory model for automated design debugging

2008 IEEE/ACM International Conference on Computer-Aided Design ◽

10.1109/iccad.2008.4681564 ◽

2008 ◽

Author(s):

Brian Keng ◽

Hratch Mangassarian ◽

Andreas Veneris

Keyword(s):

Automated Design ◽

Memory Model ◽

Design Debugging

Download Full-text

Automated design debugging in a testbench-based verification environment

Microprocessors and Microsystems ◽

10.1016/j.micpro.2012.09.004 ◽

2013 ◽

Vol 37 (2) ◽

pp. 206-217 ◽

Cited By ~ 10

Author(s):

Mehdi Dehbashi ◽

André Sülflow ◽

Görschwin Fey

Keyword(s):

Automated Design ◽

Design Debugging

Download Full-text