Automated Design Debugging in a Testbench-Based Verification Environment.

Mehdi Dehbashi André Sülflow Görschwin Fey

Published in: DSD (2011)

Keyphrases

automated design
evolutionary design
engineering design
model checking
security protocols
artificial immune algorithm
information systems
sensor networks
computational intelligence
control system
dynamic environments
lightweight