Nextpnr #5
Description
- 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"