Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Khomenko, V
Koutny, Maciej
Yakovlev, A

status

accepted

publication date

January 1, 2004

published in

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. Journal

presented at event

Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. Conference