1 
2 /* ###---------------------------------------------------------------### */
3 /*                                                                       */
4 /* file         : mvl_utdef.h                                             */
5 /* date         : Nov  6 91                                              */
6 /* author       : L.A.TABUSSE 						 */
7 /*                                                                       */
8 /* content      : declaration of external functions and global variables */
9 /*                used by yacc                                           */
10 /*                                                                       */
11 /* ###---------------------------------------------------------------### */
12 
13 
14 #define MVL_ROTDFN    1			/* root model			 */
15 #define MVL_CHDDFN    2			/* child model			 */
16 
17 
18 #define MVL_ICNDFN     1                /* input 	port             */
19 #define MVL_OCNDFN     2                /* output 	port             */
20 #define MVL_BCNDFN     3                /* inout 	port             */
21 
22 #define MVL_BITDFN     8                /* bit 		type             */
23 #define MVL_MUXDFN    16                /* mux_bit 	type             */
24 #define MVL_WORDFN    24                /* wor_bit 	type             */
25 #define MVL_RBIDFN    32                /* reg_bit 	type             */
26 #define MVL_BTVDFN    40                /* bit_vector 	type             */
27 #define MVL_MXVDFN    48                /* mux_vector 	type             */
28 #define MVL_WRVDFN    56                /* wor_vector 	type             */
29 #define MVL_RGVDFN    64                /* reg_vector 	type             */
30 #define MVL_CVTDFN    72                /* convertion 	type             */
31 #define MVL_BOLDFN    80                /* boolean	type           	 */
32 
33 #define MVL_NORDFN   128                /* non guarded 	signal           */
34 #define MVL_BUSDFN   256                /* guarded 	signal (bus)     */
35 #define MVL_REGDFN   384                /* guarded 	signal (register)*/
36 
37 #define MVL_MODMSK     7                /* signal mode  mask (3 bits)    */
38 #define MVL_TYPMSK   120                /* signal type  mask (4 bits)    */
39 #define MVL_GRDMSK   896                /* signal guard mask (3 bits)    */
40 
41 #define MVL_NAMDFN 0
42 #define MVL_NEWDFN 1
43 
44 #define MVL_MODDFN     0		/* mod_val field of dct_recrd	 */
45 #define MVL_SIGDFN     1		/* sig_val field of dct_recrd	 */
46 #define MVL_CCNDFN     2		/* ccn_val field of dct_recrd	 */
47 #define MVL_RNGDFN     3		/* rng_val field of dct_recrd	 */
48 #define MVL_LBLDFN     4		/* lbl_val field of dct_recrd	 */
49 #define MVL_WMXDFN     5                /* wmx_val field of dct_recrd    */
50 #define MVL_WMNDFN     6                /* wmn_val field of dct_recrd    */
51 #define MVL_PNTDFN     7                /* pnt_val field of dct_recrd    */
52 
53 #define MVL_ALODFN     60		/* minimal size of allocation	 */
54 					/* for dct_entry and dct_recrd	 */
55 #define MVL_HSZDFN     97		/* number of entry points in the */
56 					/* dictionnary			 */
57 #define MVL_MXRDFN 30
58