1 2 3 4 5 6 7
circuit HasDeadCode : module HasDeadCode : input i : UInt<1> output o : UInt<1> wire a : UInt<1> a <= not(i) o <= i