1 /* ###--------------------------------------------------------------### */
5 /* author : Pirouz BAZARGAN SABET v113 */
6 /* modif Stephane PICAULT, Anthony LESTER */
7 /* contents : defines and structure definitions used in BVL library */
8 /* ###--------------------------------------------------------------### */
13 /* ###--------------------------------------------------------### */
15 /* ###--------------------------------------------------------### */
17 #define BVL_TRACE 0x00000001 /* print messages when parsing */
18 #define BVL_KEEPAUX 0x00000002 /* keep internal signals */
19 #define BVL_CHECKEMPTY 0x00000004 /* check for empty architecture */
21 /* ###--------------------------------------------------------### */
23 /* ###--------------------------------------------------------### */
26 char *vhdfindbefig(char *name
);
27 struct befig
*vhdloadbefig (befig_list
*ptbefig
, char *figname
, unsigned int trace_mode
);
28 void vhdsavebefig (befig_list
*ptbefig
, unsigned int trace_mode
);
29 struct befig
*vbeloadbefig (befig_list
*ptbefig
, char *figname
, unsigned int trace_mode
);
30 void vbesavebefig (befig_list
*ptbefig
, unsigned int trace_mode
);
34 struct befig
*vhdlloadbefig (befig_list
*ptbefig
, char *figname
, unsigned int trace_mode
);
35 void vhdlsavebefig (befig_list
*ptbefig
, unsigned int trace_mode
);
37 /* For display of individual behavioural objects */
39 bepor_list
*print_one_bepor (FILE *fp
, bepor_list
*ptbepor
);
40 void print_one_bebux (FILE *fp
, bebux_list
*ptbebux
, int *numprocess
);
41 void print_one_bebus (FILE *fp
, bebus_list
*ptbebus
, int *numprocess
);
42 void print_one_beaux (FILE *fp
, beaux_list
*ptbeaux
);
43 void print_one_beout (FILE *fp
, beout_list
*ptbeout
);
44 void print_one_bereg (FILE *fp
, bereg_list
*ptbereg
, int *numprocess
);
45 void settimeunit (unsigned char time_unit_char
);
46 void print_one_bevectpor (FILE *fp
, bevectpor_list
*ptbevectpor
);
47 void print_one_bevectbux (FILE *fp
, bevectbux_list
*ptbevectbux
, int *numprocess
);
48 void print_one_bevectbus (FILE *fp
, bevectbus_list
*ptbevectbus
, int *numprocess
);
49 void print_one_bevectaux (FILE *fp
, bevectaux_list
*ptbevectaux
);
50 void print_one_bevectout (FILE *fp
, bevectout_list
*ptbevectout
);
51 void print_one_bevectreg (FILE *fp
, bevectreg_list
*ptbevectreg
, int *numprocess
);
52 char *bvl_vhdlname (char *name
);
53 char *bvl_vectorize (char *name
);
54 void bvl_drivecorresp(char *name
, befig_list
*ptbefig
, int vlog
);
55 ht
*bvl_buildfinalcorrespht(befig_list
*ptbefig
);