Header menu logo issie

TestParser Module

Types

Type Description

ErrorInfoJson

ExtraErrorInfoJson

Input

PortInfo

codegenInput

codegenOutput

Functions and values

Function or value Description

dummyProject

Full Usage: dummyProject

Returns: Project
Returns: Project

errorCheck ast linesIndex src dst

Full Usage: errorCheck ast linesIndex src dst

Parameters:
    ast : VerilogInput
    linesIndex : int list
    src : string
    dst : string

Returns: int
ast : VerilogInput
linesIndex : int list
src : string
dst : string
Returns: int

errorInfoToJson errorInfo

Full Usage: errorInfoToJson errorInfo

Parameters:
Returns: ErrorInfoJson
errorInfo : ErrorInfo
Returns: ErrorInfoJson

executeCommand command1 args1 dst

Full Usage: executeCommand command1 args1 dst

Parameters:
    command1 : string
    args1 : List<string>
    dst : Option<string>

Compile or run a verilog file with Icarus, writing stdout to dst. This used to spawn the program here. That single call was the last thing dragging node's child process module into the renderer bundle - and it is exactly the shape a bridge must not offer, since "run this command with these arguments" is the whole capability back again. (Spelled without the module name on purpose: grepping the built bundle for a stray require is how this class of problem gets found, and a comment that matches the search is a false lead.) Main runs it instead, from a closed pair of programs; see Bridge.runDevTool. Fire and forget, as this always was: every caller ignored the result.

command1 : string
args1 : List<string>
dst : Option<string>

formatSimulationError error

Full Usage: formatSimulationError error

Parameters:
    error : exn

Returns: string
error : exn
Returns: string

genDriver inputs

Full Usage: genDriver inputs

Parameters:
Returns: string

Generate a top level module for a given DUT, return the Verilog module as a string inputs stores the label and width of each input and output and the width and label of the output ports

inputs : Input
Returns: string

genDriverFiles ()

Full Usage: genDriverFiles ()

Parameters:
    () : unit

() : unit

getSemanticErrors ast linesIndex

Full Usage: getSemanticErrors ast linesIndex

Parameters:
Returns: ErrorInfo list
ast : VerilogInput
linesIndex : int list
Returns: ErrorInfo list

getSemanticErrorsWithLoadedComponents loadedComps ast linesIndex

Full Usage: getSemanticErrorsWithLoadedComponents loadedComps ast linesIndex

Parameters:
Returns: ErrorInfo list
loadedComps : LoadedComponent list
ast : VerilogInput
linesIndex : int list
Returns: ErrorInfo list

heapLimitSize

Full Usage: heapLimitSize

Returns: float
Returns: float

heapUsage

Full Usage: heapUsage

Returns: float
Returns: float

icarusCompile src dst driver

Full Usage: icarusCompile src dst driver

Parameters:
    src : string
    dst : string
    driver : string

src : string
dst : string
driver : string

icarusCompileTestCases ()

Full Usage: icarusCompileTestCases ()

Parameters:
    () : unit

() : unit

icarusRun src dst

Full Usage: icarusRun src dst

Parameters:
    src : string
    dst : string

src : string
dst : string

icarusRunTestCases ()

Full Usage: icarusRunTestCases ()

Parameters:
    () : unit

() : unit

mbHeap ()

Full Usage: mbHeap ()

Parameters:
    () : unit

Returns: float
() : unit
Returns: float

measureMem action

Full Usage: measureMem action

Parameters:
    action : unit -> unit

Returns: float * float

Returns (before, after) heap in MB, with a forced GC before each snapshot

action : unit -> unit
Returns: float * float

parseFile src dst

Full Usage: parseFile src dst

Parameters:
    src : string
    dst : string

Returns: VerilogInput * int list
src : string
dst : string
Returns: VerilogInput * int list

printSemanticErrors src errors

Full Usage: printSemanticErrors src errors

Parameters:
src : string
errors : ErrorInfo list

project

Full Usage: project

Returns: Project
Returns: Project

replaceTypeToString replaceType

Full Usage: replaceTypeToString replaceType

Parameters:
Returns: string
replaceType : ReplaceType
Returns: string

runCodeGenTests arg1

Full Usage: runCodeGenTests arg1

Parameters:
    arg0 : 'a

Returns: int
arg0 : 'a
Returns: int

runCompilerTests arg1

Full Usage: runCompilerTests arg1

Parameters:
    arg0 : 'a

arg0 : 'a

runMemoryTests ()

Full Usage: runMemoryTests ()

Parameters:
    () : unit

() : unit

runPerformanceTests ()

Full Usage: runPerformanceTests ()

Parameters:
    () : unit

() : unit

semanticErrorTests arg1

Full Usage: semanticErrorTests arg1

Parameters:
    arg0 : 'a

Returns: int * int
arg0 : 'a
Returns: int * int

simulateAST ast src dst loadedComps

Full Usage: simulateAST ast src dst loadedComps

Parameters:
Returns: int
ast : VerilogInput
src : string
dst : string
loadedComps : LoadedComponent list
Returns: int

standardDev list

Full Usage: standardDev list

Parameters:
    list : float list

Returns: float
list : float list
Returns: float

stringAppend str1 str2

Full Usage: stringAppend str1 str2

Parameters:
    str1 : string
    str2 : string

Returns: string
str1 : string
str2 : string
Returns: string

stringToReplaceType replaceType

Full Usage: stringToReplaceType replaceType

Parameters:
    replaceType : string

Returns: ReplaceType
replaceType : string
Returns: ReplaceType

testInput

Full Usage: testInput

Returns: Input
Returns: Input

unzip4 xs

Full Usage: unzip4 xs

Parameters:
    xs : ('a * 'b * 'c * 'd) list

Returns: 'a list * 'b list * 'c list * 'd list
xs : ('a * 'b * 'c * 'd) list
Returns: 'a list * 'b list * 'c list * 'd list

unzip5 lst

Full Usage: unzip5 lst

Parameters:
    lst : ('a * 'b * 'c * 'd * 'e) list

Returns: 'a list * 'b list * 'c list * 'd list * 'e list
lst : ('a * 'b * 'c * 'd * 'e) list
Returns: 'a list * 'b list * 'c list * 'd list * 'e list

unzip6 xs

Full Usage: unzip6 xs

Parameters:
    xs : ('a * 'b * 'c * 'd * 'e * 'f) list

Returns: 'a list * 'b list * 'c list * 'd list * 'e list * 'f list
xs : ('a * 'b * 'c * 'd * 'e * 'f) list
Returns: 'a list * 'b list * 'c list * 'd list * 'e list * 'f list

usedHeapSize

Full Usage: usedHeapSize

Returns: float
Returns: float

Type something to start searching.