Header menu logo issie

VerilogAST Module

Types

Type Description

ASTNode

ItemDU

Module

StatementDU

Functions and values

Function or value Description

foldAST folder state node

Full Usage: foldAST folder state node

Parameters:
Returns: 'a

Recursively folds over an ASTNode, calling folder at every level. Only explores parts where there are multiple possibilities within a Node

folder : 'a -> ASTNode -> 'a
state : 'a
node : ASTNode
Returns: 'a

getAllExpressions' expressions node

Full Usage: getAllExpressions' expressions node

Parameters:
Returns: ExpressionT list

get rhs expressions from always, continuous assign, case stmt... (all of them)

expressions : List<ExpressionT>
node : ASTNode
Returns: ExpressionT list

getAlwaysAssignments assignments node

Full Usage: getAlwaysAssignments assignments node

Parameters:
Returns: AssignmentT list
assignments : List<AssignmentT>
node : ASTNode
Returns: AssignmentT list

getAlwaysBlocks alwaysBlocks node

Full Usage: getAlwaysBlocks alwaysBlocks node

Parameters:
Returns: AlwaysConstructT list
alwaysBlocks : List<AlwaysConstructT>
node : ASTNode
Returns: AlwaysConstructT list

getAlwaysStatement s

Full Usage: getAlwaysStatement s

Parameters:
Returns: StatementDU

converts StatementT into StatementDU

s : StatementT
Returns: StatementDU

getAssignments' assignments node

Full Usage: getAssignments' assignments node

Parameters:
Returns: AssignmentT list
assignments : List<AssignmentT>
node : ASTNode
Returns: AssignmentT list

getAssignmentsWithLocations assignments node

Full Usage: getAssignmentsWithLocations assignments node

Parameters:
Returns: (AssignmentT * int) list
assignments : List<AssignmentT * int>
node : ASTNode
Returns: (AssignmentT * int) list

getBlockingAssignments assignments node

Full Usage: getBlockingAssignments assignments node

Parameters:
Returns: BlockingAssignT list
assignments : List<BlockingAssignT>
node : ASTNode
Returns: BlockingAssignT list

getBlockingAssignmentsWithLocation assignments node

Full Usage: getBlockingAssignmentsWithLocation assignments node

Parameters:
Returns: (BlockingAssignT * int) list
assignments : List<BlockingAssignT * int>
node : ASTNode
Returns: (BlockingAssignT * int) list

getContAssignments assignments node

Full Usage: getContAssignments assignments node

Parameters:
Returns: AssignmentT list
assignments : List<AssignmentT>
node : ASTNode
Returns: AssignmentT list

getItem item

Full Usage: getItem item

Parameters:
Returns: ASTNode
item : ItemT
Returns: ASTNode

getNonBlockingAssignments assignments node

Full Usage: getNonBlockingAssignments assignments node

Parameters:
Returns: NonBlockingAssignT list
assignments : List<NonBlockingAssignT>
node : ASTNode
Returns: NonBlockingAssignT list

getNonBlockingAssignmentsWithLocation assignments node

Full Usage: getNonBlockingAssignmentsWithLocation assignments node

Parameters:
Returns: (NonBlockingAssignT * int) list
assignments : List<NonBlockingAssignT * int>
node : ASTNode
Returns: (NonBlockingAssignT * int) list

getNumbers numbers node

Full Usage: getNumbers numbers node

Parameters:
Returns: NumberT list
numbers : NumberT list
node : ASTNode
Returns: NumberT list

statementToNode statement

Full Usage: statementToNode statement

Parameters:
Returns: ASTNode
statement : StatementDU
Returns: ASTNode

Type something to start searching.