From 7fe61318433a8ecaac80ef2b547a88ab9dc04aec Mon Sep 17 00:00:00 2001
From: Henry Cook
Date: Fri, 6 Nov 2015 13:23:24 -0800
Subject: added elaboration tests for remaining old Chisel3 examples

---
 src/test/scala/chiselTests/Stack.scala | 75 ++++++++++++++++++++++++++++++++++
 1 file changed, 75 insertions(+)
 create mode 100644 src/test/scala/chiselTests/Stack.scala

(limited to 'src/test/scala/chiselTests/Stack.scala')

diff --git a/src/test/scala/chiselTests/Stack.scala b/src/test/scala/chiselTests/Stack.scala
new file mode 100644
index 00000000..0110550d
--- /dev/null
+++ b/src/test/scala/chiselTests/Stack.scala
@@ -0,0 +1,75 @@
+// See LICENSE for license details.
+
+package chiselTests
+import scala.collection.mutable.Stack
+import Chisel._
+
+class ChiselStack(val depth: Int) extends Module {
+  val io = new Bundle {
+    val push    = Bool(INPUT)
+    val pop     = Bool(INPUT)
+    val en      = Bool(INPUT)
+    val dataIn  = UInt(INPUT,  32)
+    val dataOut = UInt(OUTPUT, 32)
+  }
+
+  val stack_mem = Mem(UInt(width = 32), depth)
+  val sp        = Reg(init = UInt(0, width = log2Up(depth+1)))
+  val out       = Reg(init = UInt(0, width = 32))
+
+  when (io.en) {
+    when(io.push && (sp < UInt(depth))) {
+      stack_mem(sp) := io.dataIn
+      sp := sp +% UInt(1)
+    } .elsewhen(io.pop && (sp > UInt(0))) {
+      sp := sp -% UInt(1)
+    }
+    when (sp > UInt(0)) {
+      out := stack_mem(sp -% UInt(1))
+    }
+  }
+  io.dataOut := out
+}
+
+/*
+class StackTester(c: Stack) extends Tester(c) {
+  var nxtDataOut = 0
+  var dataOut = 0
+  val stack = new ScalaStack[Int]()
+
+  for (t <- 0 until 16) {
+    val enable  = rnd.nextInt(2)
+    val push    = rnd.nextInt(2)
+    val pop     = rnd.nextInt(2)
+    val dataIn  = rnd.nextInt(256)
+
+    if (enable == 1) {
+      dataOut = nxtDataOut
+      if (push == 1 && stack.length < c.depth) {
+        stack.push(dataIn)
+      } else if (pop == 1 && stack.length > 0) {
+        stack.pop()
+      }
+      if (stack.length > 0) {
+        nxtDataOut = stack.top
+      }
+    }
+
+    poke(c.io.pop,    pop)
+    poke(c.io.push,   push)
+    poke(c.io.en,     enable)
+    poke(c.io.dataIn, dataIn)
+    step(1)
+    expect(c.io.dataOut, dataOut)
+  }
+}
+*/
+
+class StackSpec extends ChiselPropSpec {
+  
+  property("Stack should elaborate") {
+    elaborate { new ChiselStack(2) }
+  }
+
+  ignore("StackTester should return the correct result") { }
+}
-- 
cgit v1.2.3