package iotesters
- Alphabetic
- Public
- Protected
Package Members
- package experimental
Type Members
- abstract class AdvTester[+T <: Module] extends PeekPokeTester[T]
- trait AdvTests extends PeekPokeTests
- class ChiselFlatSpec extends AnyFlatSpec with ChiselRunners with Matchers
Spec base class for BDD-style testers.
- class ChiselPropSpec extends AnyPropSpec with ChiselRunners with ScalaCheckPropertyChecks
Spec base class for property-based testers.
- trait ChiselRunners extends Assertions
Common utility functions for Chisel unit tests.
- class CommandEditor extends AnyRef
This function applies a last chance method of making final alteration of the ivl/vcs command line.
This function applies a last chance method of making final alteration of the ivl/vcs command line. Alterations are made from a text file containing ed style regex substitutions s/regex-pattern/substitution/ or more generally s<<separator>>regex-pattern<<separator>>substitution<<separator>> if the file begins with the line verbose, the substitution parsing and operation will be logged to stdout
- trait EditableBuildCSimulatorCommand extends AnyRef
An EditableBuildCSimulatorCommand provides methods for assembling a system command string from provided flags and editing specifications.
An EditableBuildCSimulatorCommand provides methods for assembling a system command string from provided flags and editing specifications. This is a trait to facilitate expansion (for more C-based simulators) and testing.
- abstract class Exerciser extends BasicTester
experimental version of a Tester that allows arbitrary testing circuitry to be run in some order
- abstract class HWIOTester extends BasicTester
provide common facilities for step based testing and decoupled interface testing
- trait HasTesterOptions extends AnyRef
- class IOAccessor extends AnyRef
named access and type information about the IO bundle of a module used for building testing harnesses
- abstract class OrderedDecoupledHWIOTester extends HWIOTester
Base class supports implementation of test circuits of modules that use Decoupled inputs and either Decoupled or Valid outputs Multiple decoupled inputs are supported.
Base class supports implementation of test circuits of modules that use Decoupled inputs and either Decoupled or Valid outputs Multiple decoupled inputs are supported. Testers that subclass this will be strictly ordered. Input will flow into their devices asynchronously but in order they were generated be compared in the order they are generated
class XTimesXTester extends [[OrderedDecoupledHWIOTester]] { val device_under_test = new XTimesY test_block { for { i <- 0 to 10 j <- 0 to 10 } { input_event(device_under_test.io.in.x -> i, device_under_test.in.y -> j) output_event(device_under_test.io.out.z -> i*j) } } }
an input event is a series of values that will be gated into the decoupled input interface at the same time an output event is a series of values that will be tested at the same time independent small state machines are set up for input and output interface all inputs regardless of interfaces are submitted to the device under test in the order in which they were created likewise, all outputs regardless of which interface are tested in the same order that they were created
Example: - abstract class PeekPokeTester[+T <: Module] extends AnyRef
- trait PeekPokeTests extends AnyRef
- trait Pokeable[-T] extends AnyRef
- Annotations
- @implicitNotFound()
- trait Processable extends AnyRef
- class ReplOptionsManager extends InterpreterOptionsManager with HasChiselExecutionOptions with HasReplConfig
- abstract class SteppedHWIOTester extends HWIOTester
Use a UnitTester to construct a test harness for a chisel module this module will be canonically referred to as the device_under_test, often simply as c in a unit test, and also dut The UnitTester is used to put series of values (as chisel3.Vec's) into the ports of the dut io which are INPUT At specified times it check the dut io OUTPUT ports to see that they match a specific value The vec's are assembled through the following API poke, expect and step, pokes
Use a UnitTester to construct a test harness for a chisel module this module will be canonically referred to as the device_under_test, often simply as c in a unit test, and also dut The UnitTester is used to put series of values (as chisel3.Vec's) into the ports of the dut io which are INPUT At specified times it check the dut io OUTPUT ports to see that they match a specific value The vec's are assembled through the following API poke, expect and step, pokes
class Adder(width:Int) extends Module { val io = new Bundle { val in0 : UInt(INPUT, width=width) val in1 : UInt(INPUT, width=width) val out : UInt(OUTPUT, width=width) } } class AdderTester extends UnitTester { val device_under_test = Module( new Adder(32) ) testBlock { poke(c.io.in0, 5) poke(c.io.in1, 7) expect(c.io.out, 12) } }
Example: - case class TesterOptions(isGenVerilog: Boolean = false, isGenHarness: Boolean = false, isCompiling: Boolean = false, isRunTest: Boolean = false, isVerbose: Boolean = false, displayBase: Int = 10, testerSeed: Long = System.currentTimeMillis, testCmd: Seq[String] = Seq.empty, moreVcsFlags: Seq[String] = Seq.empty, moreVcsCFlags: Seq[String] = Seq.empty, vcsCommandEdits: String = "", backendName: String = "treadle", logFileName: String = "", waveform: Option[File] = None, moreIvlFlags: Seq[String] = Seq.empty, moreIvlCFlags: Seq[String] = Seq.empty, ivlCommandEdits: String = "", moreVlogFlags: Seq[String] = Seq.empty, moreVsimCFlags: Seq[String] = Seq.empty, moreVsimFlags: Seq[String] = Seq.empty, moreVsimDoCmds: Seq[String] = Seq.empty, vsimCommandEdits: String = "", generateVcdOutput: String = "", generateFsdbOutput: String = "") extends ComposableOptions with Product with Serializable
- class TesterOptionsManager extends ExecutionOptionsManager with HasTesterOptions with HasInterpreterSuite with HasChiselExecutionOptions with HasFirrtlOptions with HasTreadleSuite
Deprecated Type Members
- trait HasTreadleOptions extends AnyRef
- Annotations
- @deprecated
- Deprecated
(Since version 20210301) Use Driver#execute[T <: Module](args: Array[String], dut: () => T)
- trait HasTreadleSuite extends ExecutionOptionsManager with HasFirrtlOptions with HasTreadleOptions
- Annotations
- @deprecated
- Deprecated
(Since version 20210301) Use Driver#execute[T <: Module](args: Array[String], dut: () => T)
- case class TreadleOptions(writeVCD: Boolean = false, enableCoverage: 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 = 0, clockInfo: Seq[ClockInfo] = Seq.empty, resetName: String = "reset", callResetAtStartUp: Boolean = false, symbolsToWatch: Seq[String] = Seq.empty, memoryToVcd: Seq[String] = Seq.empty, saveFirrtlAtLoad: Boolean = false) extends ComposableOptions with Product with Serializable
- Annotations
- @deprecated
- Deprecated
(Since version 20210301) Use Driver#execute[T <: Module](args: Array[String], dut: () => T)
- class TreadleOptionsManager extends ExecutionOptionsManager with HasTreadleSuite
- Annotations
- @deprecated
- Deprecated
(Since version 20210301) Use Driver#execute[T <: Module](args: Array[String], dut: () => T)
Value Members
- object CommandEditor
- object Driver
- object DriverCompatibility
This provides components of a compatibility wrapper around Chisel's removed
chisel3.Driver
.This provides components of a compatibility wrapper around Chisel's removed
chisel3.Driver
.Primarily, this object includes Phases that generate firrtl.annotations.Annotations derived from the deprecated firrtl.stage.phases.DriverCompatibility.TopNameAnnotation.
- object OrderedDecoupledHWIOTester
- object PeekPokeTester
- object Pokeable
- object TesterOptions extends Serializable
- object VerilatorCppHarnessGenerator
Generates the Module specific verilator harness cpp file for verilator compilation
- object chiselMain
- object chiselMainTest
- object copyIvlFiles
Copies the necessary header files used for iverilog compilation to the specified destination folder
- object copyVerilatorHeaderFiles
Copies the necessary header files used for verilator compilation to the specified destination folder
- object copyVpiFiles
Copies the necessary header files used for verilator compilation to the specified destination folder
- object copyVsimFiles
Copies the necessary header files used for vlog compilation to the specified destination folder
- object genIVLVerilogHarness
Generates the Module specific verilator harness cpp file for verilator compilation
- object genVCSVerilogHarness
Generates the Module specific verilator harness cpp file for verilator compilation
- object genVSIMVerilogHarness
Generates the Module specific vsim harness verilog file for VSIM backend