Abc-verifier

Tool for sequential logic synthesis and formal verification

Project website

The package has no detailed description

unstable

channel

0.62

version

Yes

supported

No

broken

Free

license

46

platforms