mirror of https://github.com/YosysHQ/yosys.git
Fix warnings
This commit is contained in:
parent
c082329af3
commit
a59016b146
|
@ -1,6 +1,6 @@
|
||||||
read_verilog ../common/mul.v
|
read_verilog ../common/mul.v
|
||||||
hierarchy -top top
|
hierarchy -top top
|
||||||
equiv_opt -assert -map +/ice40/cells_sim.v synth_ice40 -dsp # equivalency check
|
equiv_opt -assert -multiclock -map +/ice40/cells_sim.v synth_ice40 -dsp # equivalency check
|
||||||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||||
cd top # Constrain all select calls below inside the top module
|
cd top # Constrain all select calls below inside the top module
|
||||||
select -assert-count 1 t:SB_MAC16
|
select -assert-count 1 t:SB_MAC16
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
Example from: https://www.latticesemi.com/-/media/LatticeSemi/Documents/UserManuals/EI/iCEcube201701UserGuide.ashx?document_id=52071 [p. 74].
|
Example from: https://www.latticesemi.com/-/media/LatticeSemi/Documents/UserManuals/EI/iCEcube201701UserGuide.ashx?document_id=52071 [p. 74].
|
||||||
*/
|
*/
|
||||||
module top(data, addr);
|
module top(data, addr);
|
||||||
output [3:0] data;
|
output reg [3:0] data;
|
||||||
input [4:0] addr;
|
input [4:0] addr;
|
||||||
always @(addr) begin
|
always @(addr) begin
|
||||||
case (addr)
|
case (addr)
|
||||||
|
|
Loading…
Reference in New Issue