00001 #ifndef SIMULATE_BLIF_H
00002 #define SIMULATE_BLIF_H
00003
00004 #define line_t struct line_t_t
00005
00006 #define INPUT_VECTOR_FILE_NAME "input_vectors"
00007 #define OUTPUT_VECTOR_FILE_NAME "output_vectors"
00008
00009 void simulate_blif (char *test_vector_file_name, netlist_t *netlist);
00010 void simulate_new_vectors (int num_test_vectors, netlist_t *netlist);
00011
00012 line_t
00013 {
00014 int number_of_pins;
00015 int max_number_of_pins;
00016 npin_t **pins;
00017 char *name;
00018 int type;
00019 };
00020
00021
00022 #endif
00023
