Go to the source code of this file.
Functions | |
void | read_blif (char *blif_file) |
void read_blif | ( | char * | blif_file | ) |
Definition at line 74 of file read_blif.c.
00075 { 00076 00077 int done; 00078 char buffer[BUFSIZE]; /* for storing the tokens */ 00079 00080 /* initialize the string caches that hold the aliasing of module nets and input pins */ 00081 output_nets_sc = sc_new_string_cache(); 00082 input_nets_sc = sc_new_string_cache(); 00083 00084 blif_netlist = allocate_netlist(); 00085 /*Opening the blif file */ 00086 blif = my_fopen (blif_file, "r", 0); 00087 00088 00089 #ifdef debug_mode 00090 printf("reading top level module"); 00091 #endif 00092 00093 /* create the top level module */ 00094 create_top_driver_nets("top"); 00095 00096 /* Extracting the netlist by reading the blif file */ 00097 00098 linenum = 0; 00099 done = 0; 00100 while (!done && (my_fgets(buffer, BUFSIZE, blif) != NULL) ) 00101 { 00102 read_tokens(buffer,&done,blif_file);/* read one token at a time */ 00103 } 00104 00105 fclose (blif); 00106 00107 #ifdef debug_mode 00108 printf("\nreading look_for_clock\n"); 00109 #endif 00110 /* now look for high-level signals */ 00111 00112 look_for_clocks(); 00113 /* not need as simulator does't propogates clock signal */ 00114 }