Pattern.create do
  IDCODE = 0b0010
  DEBUG  = 0b1000

  ss "Some basic shift operations to verify functionality"
  dut.jtag.write_ir(0x0, size: 4)
  dut.jtag.read_ir(0x0, size: 4)
  dut.jtag.write_ir(0xA, size: 4)
  dut.jtag.read_ir(0xA, size: 4)
  dut.jtag.write_ir(0xE, size: 4)
  dut.jtag.read_ir(0xE, size: 4)

  ss "Switch to slower timeset"
  tester.set_timeset("func", 200)

  dut.jtag.write_ir(0x5, size: 4)
  dut.jtag.read_ir(0x5, size: 4)

  ss "Read the IDCODE value"
  dut.jtag.write_ir(IDCODE, size: 4)
  dut.jtag.read_dr(0x149511C3, size: 32)

  ss "Now try and shift in an out of the device DR"
  dut.jtag.write_ir(0x0, size: 4)
  dut.jtag.write_dr(0x1111_2222_3333_4444, size: 66)
  # Should not have been applied when not selected
  dut.jtag.read_dr(0, size: 66)

  dut.jtag.write_ir(DEBUG, size: 4)
  dut.jtag.write_dr(0x1111_2222_3333_4444, size: 66)
  dut.jtag.read_dr(0x1111_2222_3333_4444, size: 66)

  ss "Now try and read and write a register"
  dut.cmd.write!(0x1234_5678)
  dut.cmd.read!(0x1234_5678)

  tester.simulator.poke("dut.cmd", 0x1122_3344)
  dut.cmd.read!(0x1122_3344)

  ss "Test storing a register"
  dut.cmd.write!(0x2244_6688)
  dut.cmd.store!

  capture_value = tester.simulator.peek("origen.pins.tdo.memory")
  unless capture_value == 0x11662244 # 0x2244_6688 reversed
    if capture_value
      fail "Captured #{capture_value.to_hex} instead of 0x11662244!"
    else
      fail "Nothing captured instead of 0x11662244!"
    end
  end

  ss "Test sync of a register"
  dut.cmd.write(0) # Make Origen forget the actual value
  dut.cmd.sync
  unless dut.cmd.data == 0x2244_6688
    fail "CMD register did not sync from simulation"
  end

  ss "Do some operations with the counter, just for fun"
  dut.ctrl.write!(0b11) # Reset the counter
  dut.count.read!(0x0)
  dut.ctrl.write!(0b1)  # Start counting
  100.cycles
  dut.ctrl.write!(0b0)  # Stop counting
  dut.count.read!(0xAB)

  ss "Verify that pin group read/write works"
  dut.pins(:din_port).drive!(0x1234_5678)
  dut.data_in.read!(0x1234_5678)

  dut.data_out.write!(0)
  dut.pins(:dout).assert!(0)
  dut.pins(:dout).dont_care
  dut.data_out.write!(0x5555_AAAA)
  dut.pins(:dout).assert!(0x5555_AAAA)
  dut.pins(:dout).dont_care

  ss "Verify that tying off pins works"
  dut.p.p1.assert!(0)
  dut.p.p2.assert!(1)
  dut.p.p3.assert!(0)
  dut.p.p4.assert!(0xF)
end