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

by Victor Khomenko , Maciej Koutny , Alex Yakovlev
Citations:18 - 5 self