Per Bjesse
Automatic Verification of Combinatorial and Pipelined FFT
CAV, 1999.
@inproceedings{CAV-1999-Bjesse, author = "Per Bjesse", booktitle = "{Proceedings of the 11th International Conference on Computer Aided Verification}", doi = "10.1007/3-540-48683-6_33", isbn = "3-540-66202-2", pages = "380--393", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Automatic Verification of Combinatorial and Pipelined FFT}", volume = 1633, year = 1999, }