source: vis_dev/vl2mv-2.3/src/parser/verilog.h @ 54

Last change on this file since 54 was 18, checked in by cecile, 13 years ago

vl2mv added
File size: 3.3 KB
Line 
1#ifndef _VERILOG_H
2#define _VERILOG_H
3
4EXTERN int empty_file_stack ARGS((void));
5EXTERN int  find_macro ARGS((char *str));
6EXTERN int find_not_macro ARGS((char *str));
7EXTERN void lex_panic ARGS((char *mesg));
8EXTERN void pushd ARGS((char *filename));
9EXTERN void popd ARGS((void));
10
11EXTERN int yyparse ARGS((void));
12
13EXTERN void compile_error ARGS((char* str));
14EXTERN void semantic_error ARGS((char *str));
15EXTERN void internal_error ARGS((char *str));
16EXTERN void Translate_Warning ARGS((char *str));
17EXTERN void Translate_Notice ARGS((char *str));
18EXTERN void chk_mp_definitions ARGS((st_table *undefined));
19EXTERN int str_matchtail ARGS((char *str, char *pat));
20
21EXTERN void vl_exit ARGS((int code));
22EXTERN int lcm ARGS((int u, int v));
23EXTERN void collect_quasi ARGS((char *name));
24EXTERN void dup_info_var_in_st ARGS((st_table *vars));
25EXTERN void reset_cond_list_in_st ARGS((st_table *vars));
26EXTERN void reset_mvar_latch ARGS((FILE *file, int non_block_var,
27                                   vl_id_range *id_sym,
28                                   int lo, int hi, char *lname));
29EXTERN void instantiate_mvar_latch ARGS((FILE *file,
30                                         int non_block_var,
31                                         int mark_sel_var, int lo, int hi,
32                                         vl_id_range *id_sym,
33                                         vl_id_range *orig_id_sym,
34                                         var_info *lhsvar,
35                                         char *lname));
36EXTERN void instantiate_bin_scalar_latch ARGS((FILE *file,
37                                               int non_block_var,
38                                               int mark_sel_var,
39                                               vl_id_range *id_sym,
40                                               vl_id_range *orig_id_sym,
41                                               var_info *lhsvar,
42                                               char *lname));
43EXTERN void instantiate_bin_vector_latch ARGS((FILE *file,
44                                               int non_block_var,
45                                               int mark_sel_var,
46                                               int lo, int hi,
47                                               vl_id_range *id_sym,
48                                               vl_id_range *orig_id_sym,
49                                               var_info *lhsvar,
50                                               char *lname));
51EXTERN void reset_bin_scalar_latch ARGS((FILE *file, int non_block_var,
52                                         vl_id_range *id_sym, char *lname));
53EXTERN void reset_bin_vector_latch ARGS((FILE *file, int non_block_var,
54                                         vl_id_range *id_sym,
55                                         int lo, int hi, char *lname));
56EXTERN void create_mvar_nondeterminism ARGS((FILE *file,
57                                             st_table *resultant_vars,
58                                             char *var_name,
59                                             vl_id_range *id_sym,
60                                             int lo, int hi, 
61                                             array_t *controls,
62                                             array_t *vars_array));
63EXTERN void create_bin_scalar_nondeterminism ARGS((FILE *file,
64                                                   st_table *resultant_vars,
65                                                   char *var_name,
66                                                   vl_id_range *id_sym, 
67                                                   array_t *controls,
68                                                   array_t *vars_array));
69EXTERN void create_bin_vector_nondeterminism ARGS((FILE *file,
70                                                   st_table *resultant_vars,
71                                                   char *var_name, 
72                                                   vl_id_range *id_sym,
73                                                   int lo, int hi,
74                                                   array_t *controls,
75                                                   array_t *vars_array));
76
77EXTERN void collect_latch ARGS((char *name));
78EXTERN int drive_strength ARGS((int strength0, int strength1));
79EXTERN void extract_delay_strength ARGS((lsList delay_strength,
80                                         vl_delay **delay,
81                                         int *strength));
82EXTERN void insert_instances ARGS((lsList inst_list, void *inst_master));
83EXTERN void associate_symbolic_value ARGS((vl_lval *lval, vl_expr *expr));
84EXTERN void push_open_file ARGS((char *fname));
85EXTERN void register_vl2mv_synClock ARGS((char *cname, int edge, int pi, float rho));
86EXTERN void encodebit ARGS((char *instr, int *part1, int *part0));
87EXTERN void pop_close_file ARGS(());
88
89
90#endif /* _VERILOG_H */
Note: See TracBrowser for help on using the repository browser.