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

System	Target	Derivation	Build status
`x86_64-linux`		/gnu/store/9jfpcxw031qv11070l8f9a6hcxik9qgg-abc-0.0-1-5ae4b975c.drv
`i686-linux`		/gnu/store/vxj1vqfpafkwz92hgsvbkpj4b4g0vgc6-abc-0.0-1-5ae4b975c.drv

Linter	Message	Location
formatting Look for formatting issues in the source	line 83 is way too long (95 characters)	gnu/packages/fpga.scm (line: 83, column: 0)