Browser policy: we strive to support all recent and popular browsers for proper functioning; using a less recent browser, this site may suffer from visual defects, as well as minor functional defects. | |
| |
home > documentation
| |  print |
MATCH_PRIMNAMEDESCRIPTIONEXAMPLEFILESSEE ALSONAME |
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.
|
|
|
|
