diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 19:44:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 19:44:26 -0700 |
| commit | 8929132951202312033766593fb9f22e868745d1 (patch) | |
| tree | e457fa32b2fc455f2dcf9303d45f75cc5e60c11d | |
| parent | cad47254a01a1de62b91c2a2b91435e1cfa5b527 (diff) | |
| download | abc-8929132951202312033766593fb9f22e868745d1.tar.gz abc-8929132951202312033766593fb9f22e868745d1.tar.bz2 abc-8929132951202312033766593fb9f22e868745d1.zip | |
Updating readme.
| -rw-r--r-- | readme | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,4 +1,4 @@ -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. @@ -101,10 +101,11 @@ add these steps in the readme to help folks compiling this on Solaris." 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 |