Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / 3a344e9cd677117f13985ae865e6fd2b8e746d09 / hw / formal / lec_sv2v.do
  1. a07394d [util/syn_yosys] fix yosys/sv2v flow by Zachary Snow · 4 years, 8 months ago
  2. 03a87c0 [util/syn_yosys] Add file lists to syn_yosys flow and run LEC on full design by Nils Graf · 4 years, 9 months ago
  3. 42ae6fc [formal] updated sv2v synthesis/lec flow by Zachary Snow · 4 years, 10 months ago
  4. 03cf29f [util/syn_yosys] Add LEC script to check Verilog generated by sv2v by Nils Graf · 6 years ago