@inproceedings{DAC-2007-ChengCW07a,
	author        = "Lei Cheng and Deming Chen and Martin D. F. Wong",
	booktitle     = "{Proceedings of the 44th Design Automation Conference}",
	doi           = "10.1145/1278480.1278705",
	pages         = "910--915",
	publisher     = "{IEEE}",
	title         = "{DDBDD: Delay-Driven BDD Synthesis for FPGAs}",
	year          = 2007,
}