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

収録刊行物

• Proc. of ACSD, 2004

  Proc. of ACSD, 2004 2004