I have noticed that there are issues with taking an EBLIF netlist generated by Yosys and using SpyDrNet to transform it into an EDF or Verilog netlist and trying to run the new netlist through Vivado
EDF errors in Vivado
Port directions are undefined for GND and VCC
Instances are Black Boxes so their contents are not defined
Verilog errors in Vivado
Syntax errors for wires and instances
Issues taking an EDF or Verilog netlist and using SpyDrNet to transform it into an EBLIF netlist
The error for both the EDF and Verilog netlist is the same and stems from composing the EBLIF netlist
I have noticed that there are issues with taking an EBLIF netlist generated by Yosys and using SpyDrNet to transform it into an EDF or Verilog netlist and trying to run the new netlist through Vivado
EDF errors in Vivado
Verilog errors in Vivado
Issues taking an EDF or Verilog netlist and using SpyDrNet to transform it into an EBLIF netlist The error for both the EDF and Verilog netlist is the same and stems from composing the EBLIF netlist