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