Automated Debugging of Verilog Designs

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)695-723
JournalInternational journal of software engineering and knowledge engineering
Volume22
Issue number5
DOIs
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Experimental

Cite this