diff options
Diffstat (limited to 'development/berkeley-abc/README')
-rw-r--r-- | development/berkeley-abc/README | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/development/berkeley-abc/README b/development/berkeley-abc/README new file mode 100644 index 0000000000..2b4f1bc91f --- /dev/null +++ b/development/berkeley-abc/README @@ -0,0 +1,13 @@ + ABC is a growing software system for synthesis and verification of +binary sequential logic circuits appearing in synchronous hardware +designs. ABC combines scalable logic optimization based on +And-Inverter Graphs (AIGs), optimal-delay DAG-based technology +mapping for look-up tables and standard cells, and innovative +algorithms for sequential synthesis and verification. + + ABC provides an experimental implementation of these algorithms +and a programming environment for building similar applications. +Future development will focus on improving the algorithms and making +most of the packages stand-alone. This will allow the user to +customize ABC for their needs as if it were a tool-box rather than +a complete tool. |