EqMap is Verilog-to-Verilog tool that attempts to superoptimize FPGA technology mapping using E-Graphs. Our experiments show that equality saturation techniques can improve cut selection and ultimately produce smaller circuits than the commercial tools.

You might also want to check out the docs or the ICCAD publication.

• rustup
  • Crates (fetched automatically)
    • egg, safety-net, good_lp, bitvec, clap, indicatif, sv-parser, serde_json
• Yosys 0.33
• Optional CBC Solver

• VSCode Extensions
  • Rust Analyzer Extension
  • VerilogHDL Extension
• RTL Tools
  • Verilator
  • Verible

First, check the prerequisites for building. For basic functionality, you will need the Rust toolchain and a Yosys 0.33 install. Linux is preferred, but MacOS and WSL should work without much trouble.

cargo build

cargo run --release -- tests/verilog/mux_reg.v # Sanity check

You can also try to synthesize your own verilog module my_file.v, but it must confirm to a strict subset of Verilog. For example, the module must have a flat hierarchy and all top-level ports must be 1 bit signals.

source utils/setup.sh # Add eqmap script to PATH

eqmap my_file.v

Use --help to get an overview of all the options the compiler has:

You will likely want to use the --report flag to measure improvements in LUT count and circuit depth. You can also try compiling with the exact_highs feature, which will enable --exact highs as a EqMap flag.

The project has three conditionally compiled features:

1. egraph_fold (deprecated)
2. exact_cbc (used for ILP exact synthesis, requires CBC)
3. exact_highs (used for ILP exact synthesis, using HiGHS)
4. cut_analysis (on by default)
5. graph_dumps (enables the serialization module and --dump-graph argument)

To build with any of these features enabled:

source utils/setup.sh

You can generate most of the documentation with cargo doc.