Psl Builtin

The diagrams below draw one box per node kind, with one port per field. The edge colours say how a link is held; they are listed in full on the Fields page.

digraph { rankdir="LR" nodesep=0.1 node [shape=point width=0.06 color="#888a85"] edge [fontname="monospace" fontsize=10 minlen=3] l0a -> l0b [label="owned" color="#000000"] l1a -> l1b [label="ref" color="#3465a4" style=dashed] l2a -> l2b [label="maybe ref" color="#3465a4" style=dotted] l3a -> l3b [label="of ref" color="#3465a4" style=dashed] l4a -> l4b [label="of maybe ref" color="#3465a4" style=dotted] l5a -> l5b [label="forward ref" color="#f57900" style=dashed] l6a -> l6b [label="maybe forward ref" color="#f57900" style=dotted] l7a -> l7b [label="chain" color="#4e9a06"] l8a -> l8b [label="chain next" color="#4e9a06" style=bold] }

Iir_Kind_Psl_Prev

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Expression

Field5

Iir

owned

Expression for an various nodes.

Count_Expression

Field2

Iir

owned

—

Clock_Expression

Field4

Iir

owned

—

Default_Clock

Field3

PSL_Node

ref

Reference to outer or default_clock node.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Psl_Prev" [style=filled fillcolor="#eeeeec" label="{Psl_Prev|{<Type> Type|<Expression> Expression|<Count_Expression> Count_Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"] "Psl_Prev__Type" [shape=box label="Iir"] "Psl_Prev":Type -> "Psl_Prev__Type" [color="#3465a4" style=dashed] "Psl_Prev__Expression" [shape=box label="Iir"] "Psl_Prev":Expression -> "Psl_Prev__Expression" [color="#000000"] "Psl_Prev__Count_Expression" [shape=box label="Iir"] "Psl_Prev":Count_Expression -> "Psl_Prev__Count_Expression" [color="#000000"] "Psl_Prev__Clock_Expression" [shape=box label="Iir"] "Psl_Prev":Clock_Expression -> "Psl_Prev__Clock_Expression" [color="#000000"] "Psl_Prev__Default_Clock" [shape=box label="PSL_Node"] "Psl_Prev":Default_Clock -> "Psl_Prev__Default_Clock" [color="#3465a4" style=dashed] }

Iir_Kind_Psl_Stable

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Expression

Field5

Iir

owned

Expression for an various nodes.

Clock_Expression

Field4

Iir

owned

—

Default_Clock

Field3

PSL_Node

ref

Reference to the outer or default_clock node.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Psl_Stable" [style=filled fillcolor="#eeeeec" label="{Psl_Stable|{<Type> Type|<Expression> Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"] "Psl_Stable__Type" [shape=box label="Iir"] "Psl_Stable":Type -> "Psl_Stable__Type" [color="#3465a4" style=dashed] "Psl_Stable__Expression" [shape=box label="Iir"] "Psl_Stable":Expression -> "Psl_Stable__Expression" [color="#000000"] "Psl_Stable__Clock_Expression" [shape=box label="Iir"] "Psl_Stable":Clock_Expression -> "Psl_Stable__Clock_Expression" [color="#000000"] "Psl_Stable__Default_Clock" [shape=box label="PSL_Node"] "Psl_Stable":Default_Clock -> "Psl_Stable__Default_Clock" [color="#3465a4" style=dashed] }

Iir_Kind_Psl_Rose

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Expression

Field5

Iir

owned

Expression for an various nodes.

Clock_Expression

Field4

Iir

owned

—

Default_Clock

Field3

PSL_Node

ref

Reference to the outer or default_clock node.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Psl_Rose" [style=filled fillcolor="#eeeeec" label="{Psl_Rose|{<Type> Type|<Expression> Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"] "Psl_Rose__Type" [shape=box label="Iir"] "Psl_Rose":Type -> "Psl_Rose__Type" [color="#3465a4" style=dashed] "Psl_Rose__Expression" [shape=box label="Iir"] "Psl_Rose":Expression -> "Psl_Rose__Expression" [color="#000000"] "Psl_Rose__Clock_Expression" [shape=box label="Iir"] "Psl_Rose":Clock_Expression -> "Psl_Rose__Clock_Expression" [color="#000000"] "Psl_Rose__Default_Clock" [shape=box label="PSL_Node"] "Psl_Rose":Default_Clock -> "Psl_Rose__Default_Clock" [color="#3465a4" style=dashed] }

Iir_Kind_Psl_Fell

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Expression

Field5

Iir

owned

Expression for an various nodes.

Clock_Expression

Field4

Iir

owned

—

Default_Clock

Field3

PSL_Node

ref

Reference to the outer or default_clock node.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Psl_Fell" [style=filled fillcolor="#eeeeec" label="{Psl_Fell|{<Type> Type|<Expression> Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"] "Psl_Fell__Type" [shape=box label="Iir"] "Psl_Fell":Type -> "Psl_Fell__Type" [color="#3465a4" style=dashed] "Psl_Fell__Expression" [shape=box label="Iir"] "Psl_Fell":Expression -> "Psl_Fell__Expression" [color="#000000"] "Psl_Fell__Clock_Expression" [shape=box label="Iir"] "Psl_Fell":Clock_Expression -> "Psl_Fell__Clock_Expression" [color="#000000"] "Psl_Fell__Default_Clock" [shape=box label="PSL_Node"] "Psl_Fell":Default_Clock -> "Psl_Fell__Default_Clock" [color="#3465a4" style=dashed] }

Iir_Kind_Psl_Onehot

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Expression

Field5

Iir

owned

Expression for an various nodes.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Psl_Onehot" [style=filled fillcolor="#eeeeec" label="{Psl_Onehot|{<Type> Type|<Expression> Expression|<Expr_Staticness> Expr_Staticness}}"] "Psl_Onehot__Type" [shape=box label="Iir"] "Psl_Onehot":Type -> "Psl_Onehot__Type" [color="#3465a4" style=dashed] "Psl_Onehot__Expression" [shape=box label="Iir"] "Psl_Onehot":Expression -> "Psl_Onehot__Expression" [color="#000000"] }

Iir_Kind_Psl_Onehot0

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Expression

Field5

Iir

owned

Expression for an various nodes.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Psl_Onehot0" [style=filled fillcolor="#eeeeec" label="{Psl_Onehot0|{<Type> Type|<Expression> Expression|<Expr_Staticness> Expr_Staticness}}"] "Psl_Onehot0__Type" [shape=box label="Iir"] "Psl_Onehot0":Type -> "Psl_Onehot0__Type" [color="#3465a4" style=dashed] "Psl_Onehot0__Expression" [shape=box label="Iir"] "Psl_Onehot0":Expression -> "Psl_Onehot0__Expression" [color="#000000"] }