@inproceedings{DAC-1999-GanaiAK,
	author        = "Malay K. Ganai and Adnan Aziz and Andreas Kuehlmann",
	booktitle     = "{Proceedings of the 36th Design Automation Conference}",
	doi           = "10.1145/309847.309965",
	pages         = "385--390",
	publisher     = "{ACM Press}",
	title         = "{Enhancing Simulation with BDDs and ATPG}",
	year          = 1999,
}