abcBridge
Version 0.15 revision 0 uploaded by RobertDockins.
Package meta
- Synopsis
- Bindings for ABC, A System for Sequential Synthesis and Verification
- Description
Bindings for ABC focused on creating And-Inverter Graphs (AIG) and then performing synthesis and equivalence checking.
- Author
- Galois Inc.
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2010-2015 Galois Inc.
- Homepage
- n/a
- Maintainer
- jhendrix@galois.com, rdockins@galois.com
- Package URL
- n/a
- Stability
- n/a