- [ ] Look into the feasibility of using tech mappings in yosys to change the outputs to somthing that equivelence can be proven on - [ ] Actually do it or explain why it isnt realistic - [ ] nextpnr has a miter circuit in nextpnr-machxo2 if this works then great if not then comment in yosys asking why it doesnt May be possible to change nextpnr engine but I am concerned that is then not testing "nextpnr" also was told that pnr is very "basic"
May be possible to change nextpnr engine but I am concerned that is then not testing "nextpnr" also was told that pnr is very "basic"