Type Members

1.  abstract class Command extends AnyRef
2.  trait HasTreadleOptions extends AnyRef
3.  trait HasTreadleSuite extends ExecutionOptionsManager with HasFirrtlOptions with HasTreadleOptions
4.  trait HasVcdReplayOptions extends AnyRef
5.  trait ScalaBlackBox extends AnyRef

   This is the template for writing Scala functions that implement the behaviour of a black box.

   This is the template for writing Scala functions that implement the behaviour of a black box. Implementing classes should add internal variables to hold any state information.

6.  abstract class ScalaBlackBoxFactory extends AnyRef

   For each instantiation of an ExtModule the engine needs a separate instance of a BlackBoxImplementation.

   For each instantiation of an ExtModule the engine needs a separate instance of a BlackBoxImplementation. This factory provides it.

   Example:

   1. class ExampleBBFactory extends BlackBoxFactory {
        override def createInstance(instanceName: String, blackBoxName: String): Option[BlackBoxImplementation] = {
          instanceName match {
            case "bb1" => Some(add(new BB1Impl))
            case "bb2" => Some(add(new BB2Impl))
            case "bb3" => Some(add(new BB3Impl))
            case _ => throw Exception(s"ExampleBBBFactory does not know how to create " + instanceName)
          }
        }
      }

7.  case class TreadleOptions(writeVCD: Boolean = false, vcdShowUnderscored: Boolean = false, setVerbose: Boolean = false, setOrderedExec: Boolean = false, allowCycles: Boolean = false, randomSeed: Long = System.currentTimeMillis(), blackBoxFactories: Seq[ScalaBlackBoxFactory] = Seq.empty, maxExecutionDepth: Long = Int.MaxValue, showFirrtlAtLoad: Boolean = false, lowCompileAtLoad: Boolean = true, validIfIsRandom: Boolean = false, rollbackBuffers: Int = 4, clockInfo: Seq[ClockInfo] = Seq.empty, resetName: String = "reset", callResetAtStartUp: Boolean = false, symbolsToWatch: Seq[String] = Seq.empty) extends ComposableOptions with Product with Serializable
8.  class TreadleOptionsManager extends ExecutionOptionsManager with HasTreadleSuite
9.  class TreadleRepl extends AnyRef
10.  class TreadleTester extends AnyRef

    Works a lot like the chisel classic tester compiles a firrtl input string and allows poke, peek, expect and step

    Works a lot like the chisel classic tester compiles a firrtl input string and allows poke, peek, expect and step

    pokes invalidate the underlying circuit peek, expect and step, recompute (re-validate) the circuit before executing

    Important note: port names in LoFirrtl have replaced dot notation with underscore notation so that io.a.b must be referenced as io_a_b

11.  case class VcdReplayOptions(firrtlSourceName: String = "", vcdSourceName: String = "", skipEvents: Int = 0, eventsToRun: Int = -1, testAliasedWires: Boolean = false) extends ComposableOptions with Product with Serializable
12.  class VcdReplayTester extends LazyLogging

    This tester runs a VCD file against a circuit expressed in a firrtl file.

    This tester runs a VCD file against a circuit expressed in a firrtl file. The VCD file should have been produced by running a test harness against the circuit. This test can be used to generate circuit behavior while running symbolic or concolic testing. It can also be used to determine if later changes to a circuit have changed since some original correct **golden** run of the circuit For example use the main below to run the VcdAdder files contained in the src/test/resources directory

    sbt 'runMain treadle.VcdReplayTester -fs src/test/resources/VcdAdder.fir -vcd src/test/resources/VcdAdder.vcd'

13.  class VcdReplayTesterOptions extends TreadleOptionsManager with HasVcdReplayOptions