prsim documentation with why-x example
hacknet algorithm for scalable netlist generation