@inproceedings{currie-dac2000,
	author = "David W. Currie and Alan J. Hu and Sreeranga Rajan and Masahiro Fujita",
	title = "Automatic Formal Verification of {DSP} Software",
	booktitle = "37th ACM/IEEE Design Automation Conference",
	year = "2000",
	pages = "130--135"
}