abc-verifier
abc-verifier 0.62
Tool for sequential logic synthesis and formal verification
https://people.eecs.berkeley.edu/~alanmi/abcMIT License
main program: abcprograms: abc
Platforms (46)
armv7l-linuxm68k-linuxm68k-netbsdi686-cygwinmips-linuxriscv64-netbsdriscv32-netbsdx86_64-solaris
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