qor

Here is 1 public repository matching this topic...

QoR-driven RTL optimisation agent: a candidate's area/depth number is meaningless until equivalence to the reference netlist is proven

optimization eda rtl synthesis yosys qor formal-equivalence

To associate your repository with the qor topic, visit your repo's landing page and select "manage topics."