mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-04 05:19:11 +00:00
27 lines
432 B
Text
27 lines
432 B
Text
read -noverific
|
|
read -vlog2k <<EOT
|
|
module first;
|
|
endmodule
|
|
|
|
(* top *)
|
|
module top(input i, output o);
|
|
sub s0(i, o);
|
|
endmodule
|
|
|
|
(* constant_expression=1+1?2*2:3/3 *)
|
|
module sub(input i, output o);
|
|
assign o = ~i;
|
|
endmodule
|
|
EOT
|
|
design -save read
|
|
|
|
hierarchy -auto-top
|
|
select -assert-any top
|
|
select -assert-any sub
|
|
select -assert-none foo
|
|
|
|
design -load read
|
|
hierarchy
|
|
select -assert-any top
|
|
select -assert-any sub
|
|
select -assert-none foo
|