| read_verilog scrambler.v | |
| hierarchy; proc;; | |
| cd scrambler | |
| submod -name xorshift32 xs %c %ci %D %c %ci:+[D] %D %ci*:-$dff xs %co %ci %d | |
| cd .. | |
| show -prefix scrambler_p01 -format pdf -notitle scrambler | |
| show -prefix scrambler_p02 -format pdf -notitle xorshift32 | |
| echo on | |
| cd xorshift32 | |
| rename n2 in | |
| rename n1 out | |
| eval -set in 1 -show out | |
| eval -set in 270369 -show out | |
| sat -set out 632435482 | |