TreadleRepl commands

TreadleRepl commands

command	description
load fileName	load/replace the current firrtl file
script fileName	load a script from a text file
run [linesToRun|all|list|reset]	run loaded script
vcd [run|list|test|help]	control vcd input file
record-vcd [<fileName<]|[done]	treadle.vcd loaded script
symbol regex	show symbol information
poke inputSymbol value	set an input port to the given integer value
force symbol value	hold a wire to value (use value clear to clear forced wire)
rpoke regex value	poke value into portSymbols that match regex
peek symbol [offset]	show the current value of the signal
rpeek regex	show the current value of symbols matching the regex
randomize	randomize all symbols except reset)
reset [numberOfSteps]	assert reset (if present) for numberOfSteps (default 1)
reset [b|d|x|h]	Set the output radix to binary, decimal, or hex
step [numberOfSteps]	cycle the clock numberOfSteps (default 1) times, and show state
waitfor symbol value [maxNumberOfSteps]	wait for particular value (default 1) of symbol, up to maxNumberOfSteps (default 100)
depend [childrenOf|parentsOf] signal [depth] | depend compare symbol1 symbol2	show dependency relationship to symbol or between two symbols
show [state|inputs|outputs|firrtl|lofirrtl]	show useful things
display symbol[, symbol, ...]	show computation of symbols
info	show information about the circuit
verbose [true|false|toggle]	set evaluator verbose mode (default toggle) during dependency evaluation
snapshot	save state of engine
restore	restore state of engine from snapshot file
waves symbolName ...	generate wavedrom json for viewing waveforms
history [pattern]	show command history, with optional regex pattern
help	show available commands
quit	exit the engine