WaveSim Module
Functions and values
Function or value | Description |
|
|
Full Usage:
changeZoom wsModel zoomIn dispatch
Parameters:
WaveSimModel
zoomIn : bool
dispatch : Msg -> unit
|
|
Full Usage:
clkCycleButtons wsModel dispatch
Parameters:
WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
|
|
Full Usage:
displayBigIntOnWave wsModel width waveValues transitions
Parameters:
WaveSimModel
width : int
waveValues : bigint array
transitions : NonBinaryTransition array
Returns: ReactElement list
|
|
Full Usage:
displayUInt32OnWave wsModel width waveValues transitions
Parameters:
WaveSimModel
width : int
waveValues : uint32 array
transitions : NonBinaryTransition array
Returns: ReactElement list
|
|
Full Usage:
generateWaveform ws index wave
Parameters:
WaveSimModel
index : WaveIndexT
wave : Wave
Returns: Wave
|
Called when InitiateWaveSimulation msg is dispatched and when wave simulator is refreshed. Generates or updates the SVG for a specific waveform whetehr needed or not. The SVG depends on cycle width as well as start/stop clocks and design. Assumes that the fast simulation data has not changed and has enough cycles
|
Full Usage:
highlightCircuit fs comps wave dispatch
Parameters:
FastSimulation
comps : ComponentId list
wave : Wave
dispatch : Msg -> Unit
Returns: Unit
|
|
Full Usage:
makeWaveformsWithTimeOut timeOut ws allWaves wavesToBeMade
Parameters:
float option
ws : WaveSimModel
allWaves : Map<WaveIndexT, Wave>
wavesToBeMade : WaveIndexT list
Returns: Map<WaveIndexT, Wave> * int * float option
|
|
Full Usage:
nameRows model wsModel dispatch
Parameters:
Model
wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement list
|
Create label of waveform name for each selected wave. Note that this is generated after calling selectedWaves. Any changes to this function must also be made to valueRows and waveRows, as the order of the waves matters here. This is because the wave viewer is comprised of three columns of many rows, rather than many rows of three columns.
|
Full Usage:
namesColumn model wsModel dispatch
Parameters:
Model
wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
Full Usage:
ramTable wsModel (arg2, arg3)
Parameters:
WaveSimModel
arg1 : FComponentId
arg2 : string
Returns: ReactElement
|
|
Full Usage:
ramTableRow (arg1, arg2, arg3)
Parameters:
string
arg1 : string
arg2 : RamRowType
Returns: ReactElement
|
|
|
|
Full Usage:
refreshButtonAction (arg1, arg2) model dispatch arg5
Parameters:
Component list
arg1 : Connection list
model : Model
dispatch : Msg -> unit
arg4 : 'a
|
|
Full Usage:
refreshWaveSim newSimulation wsModel model
Parameters:
bool
wsModel : WaveSimModel
model : Model
Returns: Model * Cmd<Msg>
|
Major function called after changes to extend simulation and/or redo waveforms. Note that after design change simulation muts be redonne externally, and function called with newSimulation = true. First extend simulation, if needed, with timeout and callback from Spinner if needed. Then remake any waveforms which have changed and not yet been remade. Again if needed with timeOut and callback from Spinner. Spinner (in reality a progress bar) is used if the estimated time to completion is longer than a constant. To get the estimate some initial execution must be completed (1 clock cycle and one waveform).
|
Full Usage:
showWaveforms model wsModel dispatch
Parameters:
Model
wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
Full Usage:
topHalf (arg1, arg2) model dispatch
Parameters:
Component list
arg1 : Connection list
model : Model
dispatch : Msg -> unit
Returns: ReactElement
|
|
|
|
|
Create label of waveform value for each selected wave at a given clk cycle. Note that this is generated after calling selectedWaves. Any changes to this function must also be made to nameRows and waveRows, as the order of the waves matters here. This is because the wave viewer is comprised of three columns of many rows, rather than many rows of three columns. Return required width of values column in pixels, and list of cloumn react elements.
|
Full Usage:
viewWaveSim (arg1, arg2) model dispatch
Parameters:
Component list
arg1 : Connection list
model : Model
dispatch : Msg -> Unit
Returns: ReactElement
|
|
Full Usage:
waveformColumn wsModel dispatch
Parameters:
WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
|
|
Full Usage:
zoomButtons wsModel dispatch
Parameters:
WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|