Publication

Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT (2004)

Author(s): Khomenko V, Koutny M, Yakovlev A

      • Conference Name: 4th International Conference on Application of Concurrency to System Design (ACSD 2004)
      • Pages: 16-25
      • Publisher: IEEE
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
      Staff

      Professor Alex Yakovlev
      Professor of Computer System Design