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

by Victor Khomenko , Maciej Koutny , Alex Yakovlev
Citations:22 - 6 self