vector clk phi1 phi2
vector clkb phi1_b phi2_b
clock clk 10 00 01 00
clock clkb 01 11 10 11
vector bits bit_3 bit_2 bit_1 bit_0
w clk hold RESET_B bits