@inproceedings{DAC-2000-AagaardJKKS,
	author        = "Mark Aagaard and Robert B. Jones and Roope Kaivola and Katherine R. Kohatsu and Carl-Johan H. Seger",
	booktitle     = "{Proceedings of the 37th Design Automation Conference}",
	doi           = "10.1145/337292.337388",
	pages         = "201--206",
	publisher     = "{ACM}",
	title         = "{Formal verification of iterative algorithms in microprocessors}",
	year          = 2000,
}