@@techreport{yang1991logic,
	title={Logic Synthesis and Optimization Benchmarks User Guide: Version 3.0},
	author={Yang, S.},
	year={1991},
	publisher={Microelectronics Center of North Carolina (MCNC)}
	institution = {MCNC Technical Report},
	month = jan,
}