@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" }