Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT (2004)

by Victor Khomenko , Maciej Koutny , Alex Yakovlev
Citations:17 - 7 self