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

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