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

Cite this paper

@inproceedings{Khomenko2004LogicSF, title={Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT}, author={Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, booktitle={ACSD}, year={2004} }