Media type: E-Article Title: Automatic correction of logic bugs in hardware design: Partial logic synthesis Contributor: Fujita, Masahiro Published: Elsevier BV, 2018 Published in: Procedia Computer Science, 125 (2018), Seite 790-800 Language: English DOI: 10.1016/j.procs.2017.12.101 ISSN: 1877-0509 Origination: Footnote: Access State: Open Access