#include 	"head.h"
#include	"io_generator/c17.h"					//io_generator中需要包含对PI_WIDTH,PO_WIDTH的全局定义,如: extern const int PI_WIDTH = 36;




//#include   "io_generator_vec/c1908_vec.h"				//如果有对应Verilog, 可以在aag_to_rtl里面直接生成2个文件	
//#define INPUT_AIG							//io_generator是否可以用uint按位操作进行加速,也即是否包含_vec后缀的另一个io_generator
//#define SINGLE_BITS							//io_generator是否包含每一个bit单独的io_generator_o{x}

#define SEARCH_PARTITION						//BSD算法搜索partition策略
#define ACCURACY_FIRST						//精度优先算法: 慢且面积冗余大，在精度是瓶颈时使用，不作为默认选项。

extern const int parameter_input_bit_width 	= PI_WIDTH +5  ;	
int parameter_output_bit_width			= PO_WIDTH;			


extern const int	parameter_search_iterations	= 10; 		//最大设计次数
extern const int	parameter_test_ios 		= 1000000;	//测试要求多少样本
extern const int	parameter_max_samples 		= 1000;		//BSD每一个节点最多进行多少次采样,至少为64
extern const double 	parameter_early_stop_accuracy	= 1;		//允许的错误率,如果完全不允许，设为1; 	
									//没有特殊需要不要设到<1，会慢一些。
									//0.5以下无意义，建议至少设到0.8吧.
extern const bool 	parameter_early_stop_oneway	= 1;		//如果设为1，只允许0->1 的错误，不允许1->0的错误
extern const int	parameter_io_file_lines		= 2;		//在sample_input.set文件中，保存了最少parameter_use_io_file行input;保证每次采样，都能采到这些样本。

extern const int 	parameter_num_threads		= 64;		//线程数

