VcdReplayTester 1.0-SNAPSHOT_2017-09-14 - firrtl

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 'run-main firrtl_interpreter.VcdReplayTester -fs src/test/resources/VcdAdder.fir \
-vcd src/test/resources/VcdAdder.vcd'

Source: VcdReplayTester.scala

Linear Supertypes

LazyLogging, AnyRef, Any

Type Hierarchy

Instance Constructors

new VcdReplayTester(optionsManager: VcdReplayTesterOptions)

optionsManager
Used to set various options

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def checkClock(timeIndex: Int): Unit
def checkValue(wire: Wire, newValue: BigInt): Unit
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val dutName: String
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
val inputs: Set[String]
val interpreter: FirrtlTerp
val interpreterOptions: InterpreterOptions
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val logger: Logger

Definition Classes
LazyLogging
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def run(): Unit
var runVerbose: Boolean
def setInitialValues(): Unit
def setInputs(timeIndex: Int): Unit
def setValue(wire: Wire, newValue: BigInt): Unit
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def testWires(timeIndex: Int): Unit
val tester: InterpretiveTester
val timeStamps: Array[Long]
def toString(): String

Definition Classes
AnyRef → Any
val vcd: VCD
val vcdCircuitState: CircuitState
val vcdTesterOptions: VcdReplayOptions
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

VcdReplayTester

Related Docs: object VcdReplayTester | package firrtl_interpreter

class VcdReplayTester extends LazyLogging

Instance Constructors

new VcdReplayTester(optionsManager: VcdReplayTesterOptions)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def checkClock(timeIndex: Int): Unit

def checkValue(wire: Wire, newValue: BigInt): Unit

def clone(): AnyRef

val dutName: String

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

val inputs: Set[String]

val interpreter: FirrtlTerp

val interpreterOptions: InterpreterOptions

final def isInstanceOf[T0]: Boolean

val logger: Logger

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def run(): Unit

var runVerbose: Boolean

def setInitialValues(): Unit

def setInputs(timeIndex: Int): Unit

def setValue(wire: Wire, newValue: BigInt): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def testWires(timeIndex: Int): Unit

val tester: InterpretiveTester

val timeStamps: Array[Long]

def toString(): String

val vcd: VCD

val vcdCircuitState: CircuitState

val vcdTesterOptions: VcdReplayOptions

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped