Language

Package: abc @ 0.0-1-5ae4b975c

Synopsis

Sequential logic synthesis and formal verification

Description

ABC is a program for sequential logic synthesis and formal verification.

Home page
http://people.eecs.berkeley.edu/~alanmi/abc/
Location
gnu/packages/fpga.scm (line: 52, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings