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