MATCH_PRIM

NAME
DESCRIPTION
EXAMPLE
FILES
SEE ALSO

NAME

match_prim - standard primitive element file for match

DESCRIPTION

Before match (1ICD) starts comparing both the nominal and actual networks, the standard primitive element file is read. This file contains the descriptions of the primitive network elements. Each primitive network element contains a description of the allowed permutations on its ports. The permutability description consists of a list of the permutation classes enclosed by parentheses. Each permutation class is a list of ports. All ports which are members of the same permutation class are fully interchangeable. Individual ports are not permutable.

EXAMPLE

As an example, the standard primitive element descriptions are given below.

Primitive network nenh ( terminal g, d, s )
{
    perm { (g), (d,s) };
}

Primitive network penh ( terminal g, d, s )
{
    perm { (g), (d,s) };
}

Primitive network ndep ( terminal g, d, s )
{
    perm { (g), (d,s) };
}

Primitive network res ( terminal a, b )
{
    perm { (a, b) };
}

Primitive network cap ( terminal a, b )
{
    perm { (a, b) };
}

FILES

ICDPATH/share/lib/process/pr_name/match_prim

(standard primitive element file)

SEE ALSO

match (1ICD), matchprim (1ICD)
T. Vogel, "Connectivity Verification based on Netlist Comparison", Delft University of Technology.
A.C. de Graaf, A.J. van Genderen, "SLS: Switch-Level Simulator Users Manual", Delft University of Technology.