yosys/tests/verilog/parameters_across_files.ys at 640b9927fae23d3127cc9ecb56ccbc8a2c66afbe - mirrors/yosys - Libre-Chip.org

mirrors/yosys

mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 09:55:20 +00:00

Zachary Snow 640b9927fa sv: allow globals in one file to depend on globals in another

This defers the simplification of globals so that globals in one file
may depend on globals in other files. Adds a simplify() call downstream
because globals are appended at the end.

2021-03-12 11:22:41 -05:00

21 lines

306 B

Plaintext

Raw Blame History

 read_verilog -sv <<EOF
 parameter Q = 1;
 EOF
 read_verilog -sv <<EOF
 parameter P = Q;
 module top(
     output integer out
 );
     assign out = P;
     always @*
         assert (out == 1);
 endmodule
 EOF
 hierarchy
 proc
 flatten
 opt -full
 select -module top
 sat -verify -seq 1 -tempinduct -prove-asserts -show-all