Verilog testcase 1.0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0
main.top.mid1.sub1: x = 1
main.top.mid2.sub3: x = 0
main.top.mid2.sub3: x = 1
main.top.mid1.sub1: x = 0