scholarly journals Automated Design Debugging in a Testbench-Based Verification Environment

2011 ◽  
Author(s):  
Mehdi Dehbashi ◽  
Andre Sulflow ◽  
Gorschwin Fey
Keyword(s):  
Automated Design ◽  
Design Debugging

scholarly journals Automated Design Debugging With Maximum Satisfiability

2010 ◽  
Vol 29 (11) ◽  
pp. 1804-1817 ◽  
Author(s):  
Yibin Chen ◽  
Sean Safarpour ◽  
Joao Marques-Silva ◽  
Andreas Veneris
Keyword(s):  
Automated Design ◽  
Maximum Satisfiability ◽  
Design Debugging

scholarly journals Automated design debugging in a testbench-based verification environment

2013 ◽  
Vol 37 (2) ◽  
pp. 206-217 ◽  
Author(s):  
Mehdi Dehbashi ◽  
André Sülflow ◽  
Görschwin Fey
Keyword(s):  
Automated Design ◽  
Design Debugging

Automated Design of Displays for Technical Data

1990 ◽  
Author(s):  
Stephen Westfold ◽  
Cordell Green ◽  
David Zimmerman
Keyword(s):  
Automated Design ◽  
Technical Data
Sign in / Sign up

Export Citation Format

Share Document