diff options
| author | azidar | 2015-05-19 20:16:53 -0700 |
|---|---|---|
| committer | azidar | 2015-05-19 20:16:53 -0700 |
| commit | 0faab2b1efb266bc8000b11a474438401ff5af83 (patch) | |
| tree | 495f90290e9602535fc8e57f04dc620b0c6864ed /test/passes/jacktest/VendingMachine.fir | |
| parent | 8feaa0a5ae0479b4063771202d7ad0e93d39c247 (diff) | |
Updated tests
Diffstat (limited to 'test/passes/jacktest/VendingMachine.fir')
| -rw-r--r-- | test/passes/jacktest/VendingMachine.fir | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/passes/jacktest/VendingMachine.fir b/test/passes/jacktest/VendingMachine.fir new file mode 100644 index 00000000..10784964 --- /dev/null +++ b/test/passes/jacktest/VendingMachine.fir @@ -0,0 +1,30 @@ +; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s +;CHECK: Done! +circuit VendingMachine : + module VendingMachine : + output valid : UInt<1> + input nickel : UInt<1> + input dime : UInt<1> + + reg state : UInt<3> + on-reset state := UInt<3>(0) + node T_22 = eq(state, UInt<3>(0)) + when T_22 : + when nickel : state := UInt<3>(1) + when dime : state := UInt<3>(2) + node T_23 = eq(state, UInt<3>(1)) + when T_23 : + when nickel : state := UInt<3>(2) + when dime : state := UInt<3>(3) + node T_24 = eq(state, UInt<3>(2)) + when T_24 : + when nickel : state := UInt<3>(3) + when dime : state := UInt<3>(4) + node T_25 = eq(state, UInt<3>(3)) + when T_25 : + when nickel : state := UInt<3>(4) + when dime : state := UInt<3>(4) + node T_26 = eq(state, UInt<3>(4)) + when T_26 : state := UInt<3>(0) + node T_27 = eq(state, UInt<3>(4)) + valid := T_27 |
