Description

From the ABC Developer's site: 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.

Version

• 161025

Authorized Users

• CIRCE account holders
• RRA account holders
• SC account holders

Platforms

• CIRCE cluster
• RRA cluster
• SC cluster

Modules

ABC requires the following module file to run:

• apps/abc/161025

• See Modules for more information.

Running ABC on CIRCE

The ABC user guide is essential to understanding the application and making the most of it. The guide and this page should help you to get started with your simulations. Please refer to the Documentation section for a link to the guide.

• Note on CIRCE: Make sure to run your jobs from your $WORK directory!
• Note: Scripts are provided as examples only. Your SLURM executables, tools, and options may vary from the example below. For help on submitting jobs to the queue, see our SLURM User’s Guide.

Documentation

Home Page, User Guides, and Manuals

• ABC Home Page:
  • https://people.eecs.berkeley.edu/~alanmi/abc/

Benchmarks, Known Tests, Examples, Tutorials, and Other Resources

• The ABC Quick Start Guide
  • /apps/abc/161025/docs/ABC_GettingStarted.pdf
• ABC Examples
  • /apps/abc/161025/test/

More Job Information

See the following for more detailed job submission information:

• SLURM User’s Guide
• Scheduling and Dispatch Policies
• Advanced Submit Techniques

Reporting Bugs

Report bugs with ABC to the IT Help Desk: rc-help@usf.edu