00001 00002 void check_netlist(netlist_t *netlist); 00003 void levelize_and_check_for_combinational_loop_and_liveness(short ast_based, netlist_t *netlist);