MATCH_PRIM(3ICD)

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) };
}

AUTHOR
T. Vogel, I. Widya

FILES
ICDPATH/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.