// See LICENSE.txt for license details.
package examples

import chisel3.iotesters.{PeekPokeTester, Driver, ChiselFlatSpec}

class div32Tests(c: div32) extends PeekPokeTester(c) {
  for (t <- 0 until 16) {
    val rnd0 = rnd.nextInt(16)
    val rnd1 = rnd.nextInt(16)
    poke(c.io.in1,   rnd0)
    poke(c.io.in2,   rnd1)
    step(1)
    val rsum = rnd0/rnd1
    expect(c.io.out, rsum)
  }
}

class div32Tester extends ChiselFlatSpec {
  behavior of "div32"
  backends foreach {backend =>
    it should s"correctly add randomly generated numbers $backend" in {
      Driver(() => new div32, backend)(c => new div32Tests(c)) should be (true)
    }
  }
}