Automated design debugging in a testbench-based verification environment

Mehdi Dehbashi; André Sülflow; Görschwin Fey

doi:10.1016/j.micpro.2012.09.004

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

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

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

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

Abstraction and Refinement Techniques in Automated Design Debugging

2007 Design, Automation & Test in Europe Conference & Exhibition ◽

10.1109/date.2007.364455 ◽

2007 ◽

Cited By ~ 15

Author(s):

Sean Safarpour ◽

Andreas Veneris

Keyword(s):

Automated Design ◽

Design Debugging

Download Full-text

Improvement of the methods applied for automated design of heavy-duty power gears of drilling equipment

Automation Telemechanization and Communication in Oil Industry ◽

10.33285/0132-2222-2019-8(553)-38-43 ◽

2019 ◽

pp. 38-43

Author(s):

K.V. Syzrantseva ◽

◽

D.T. Babichev ◽

A.F. Badertdinova ◽

◽

...

Keyword(s):

Automated Design ◽

Heavy Duty ◽

Drilling Equipment

Download Full-text

Automated Design, Implementation and Adaptation of the Generalized Predictive Controller

10.23919/acc.1989.4790493 ◽

1989 ◽

Cited By ~ 2

Author(s):

A. M. Lalonde ◽

D. J. Cooper

Keyword(s):

Automated Design ◽

Predictive Controller

Download Full-text

Faculty Opinions recommendation of Automated Design of Diverse Stand-Alone Riboswitches.

Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature ◽

10.3410/f.736188012.793563034 ◽

2019 ◽

Author(s):

Ming Chen Hammond

Keyword(s):

Automated Design

Download Full-text

Automated Design of Displays for Technical Data

10.21236/ada226729 ◽

1990 ◽

Cited By ~ 1

Author(s):

Stephen Westfold ◽

Cordell Green ◽

David Zimmerman

Keyword(s):

Automated Design ◽

Technical Data

Download Full-text