Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental sat

Journal

• Proc. of ACSD, 2004

  Proc. of ACSD, 2004 2004