abc-verifier
abc-verifier 0.62
Tool for sequential logic synthesis and formal verification
https://people.eecs.berkeley.edu/~alanmi/abcMIT License Modern Variant
main program: abcprograms: abc
Platforms (45)
x86_64-linuxarmv7l-linuxarmv7a-netbsdaarch64-darwinx86_64-solarisi686-linuxarmv7l-netbsdmicroblaze-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ abc-verifier ];
Ad-hoc shell
nix-shell -p abc-verifier
Flake (nix run)
nix run nixpkgs#abc-verifier