Skip to content

A
abc
Commit 89291329 by Alan Mishchenko
Options

Updating readme.

parent cad47254
Showing with 4 additions and 3 deletions
readme
ABC: System for Sequential Logic Synthesis and Formal Verification ABC: System for Sequential Logic Synthesis and Formal Verification
ABC is always changing but the current snapshot is believed to be stable. ABC is always changing but the current snapshot is believed to be stable.
...@@ -101,10 +101,11 @@ add these steps in the readme to help folks compiling this on Solaris." ...@@ -101,10 +101,11 @@ add these steps in the readme to help folks compiling this on Solaris."
Final remarks: Final remarks:
Unfortunately, there is no regression test. Good luck! Unfortunately, there is no comprehensive regression test. Good luck!
Alan Mishchenko <alanmi@eecs.berkeley.edu> This system is maintained by Alan Mishchenko <alanmi@eecs.berkeley.edu>. Consider also
using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz
This file was last modified on Oct 6, 2012 This file was last modified on Oct 6, 2012
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment