Search Results - acm: b.: hardware/b.6: logic design/b.6.3: design _/b.6.3.0: automatic synthesis

Automatic correction of logic bugs in hardware design: Partial logic synthesis by Fujita, Masahiro

“…Here we consider automatic logic debugging techniques given buggy portions of the incorrect designs…”
Get full text