blob: 00b1e7de450d6b11fca93d76d49f9209beb9d9d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
// See LICENSE for license details.
package chiselTests
import chisel3._
import chisel3.util._
class VendingMachine extends Module {
val io = IO(new Bundle {
val nickel = Input(Bool())
val dime = Input(Bool())
val valid = Output(Bool())
})
val c = UInt(5, width = 3)
val sIdle :: s5 :: s10 :: s15 :: sOk :: Nil = Enum(UInt(), 5)
val state = Reg(init = sIdle)
when (state === sIdle) {
when (io.nickel) { state := s5 }
when (io.dime) { state := s10 }
}
when (state === s5) {
when (io.nickel) { state := s10 }
when (io.dime) { state := s15 }
}
when (state === s10) {
when (io.nickel) { state := s15 }
when (io.dime) { state := sOk }
}
when (state === s15) {
when (io.nickel) { state := sOk }
when (io.dime) { state := sOk }
}
when (state === sOk) {
state := sIdle
}
io.valid := (state === sOk)
}
/*
class VendingMachineTester(c: VendingMachine) extends Tester(c) {
var money = 0
var isValid = false
for (t <- 0 until 20) {
val coin = rnd.nextInt(3)*5
val isNickel = coin == 5
val isDime = coin == 10
// Advance circuit
poke(c.io.nickel, int(isNickel))
poke(c.io.dime, int(isDime))
step(1)
// Advance model
money = if (isValid) 0 else (money + coin)
isValid = money >= 20
// Compare
expect(c.io.valid, int(isValid))
}
}
*/
class VendingMachineSpec extends ChiselPropSpec {
property("VendingMachine should elaborate") {
elaborate { new VendingMachine }
}
ignore("VendingMachineTester should return the correct result") { }
}
|
