Initial version of donated sources by Avertec, 3.4p5.
[tas-yagle.git] / distrib / sources / behvhdl / bvl_lib.h
1 /* ###--------------------------------------------------------------### */
2 /* file : bvl202.h */
3 /* date : Oct 1999 */
4 /* version : v201 */
5 /* author : Pirouz BAZARGAN SABET v113 */
6 /* modif Stephane PICAULT, Anthony LESTER */
7 /* contents : defines and structure definitions used in BVL library */
8 /* ###--------------------------------------------------------------### */
9
10 #ifndef BEH_BVLDEF
11 #define BEH_BVLDEF
12
13 /* ###--------------------------------------------------------### */
14 /* defines */
15 /* ###--------------------------------------------------------### */
16
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 */
20
21 /* ###--------------------------------------------------------### */
22 /* functions */
23 /* ###--------------------------------------------------------### */
24
25 /* New interface */
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);
31
32 /* Old interface */
33
34 struct befig *vhdlloadbefig (befig_list *ptbefig, char *figname, unsigned int trace_mode);
35 void vhdlsavebefig (befig_list *ptbefig, unsigned int trace_mode);
36
37 /* For display of individual behavioural objects */
38
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);
56
57 #endif
58