


MATCH_PRIM(3ICD)	    03/18/88		 MATCH_PRIM(3ICD)



NNNNAAAAMMMMEEEE
     match_prim - standard primitive element file for match

DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
     Before _m_a_t_c_h (1ICD) starts comparing both the nominal and
     actual networks, the _s_t_a_n_d_a_r_d _p_r_i_m_i_t_i_v_e _e_l_e_m_e_n_t _f_i_l_e 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 permuta-
     tion 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.  Indi-
     vidual ports are not permutable.

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

AAAAUUUUTTTTHHHHOOOORRRR
     T. Vogel, I. Widya

FFFFIIIILLLLEEEESSSS
     ICDPATH/lib/process/_p_r__n_a_m_e/match_prim (standard primitive element file)

SSSSEEEEEEEE AAAALLLLSSSSOOOO
     match (1ICD), matchprim (1ICD)



		   The Nelsis IC Design System			1






MATCH_PRIM(3ICD)	    03/18/88		 MATCH_PRIM(3ICD)



     T. Vogel, "Connectivity Verification based on Netlist Com-
     parison", Delft University of Technology.
     A.C. de Graaf, A.J. van Genderen, "SLS: Switch-Level Simula-
     tor Users Manual", Delft University of Technology.



















































2		   The Nelsis IC Design System



