We wanted to let you know that our open source equivalence checking tool, kepler-formal,now allows you to define custom technology libraries through a Python script and use them directly for our equivalence checking engine.
As always, we are looking for your feedback, so don’t hesitate to report any issues you find or suggestions you have!
Attached is an example of how we use the custom library Python API to perform equivalence checking on a Xilinx FPGA design.