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

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

class mul32Tests(c: mul32) 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(63,0), rsum)
  }
}

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