mirror of https://github.com/YosysHQ/yosys.git
21 lines
315 B
Plaintext
21 lines
315 B
Plaintext
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
|
|
|
|
hierarchy -auto-top
|
|
select -assert-any top
|
|
select -assert-any sub
|
|
select -assert-none foo
|