| 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 |