@inproceedings{Parhi_2012,
    title = {Verifying equivalence of digital signal processing circuits},
    url = {http://dx.doi.org/10.1109/acssc.2012.6488967},
    doi = {10.1109/acssc.2012.6488967},
    booktitle = {2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR)},
    publisher = {IEEE},
    author = {Parhi, Keshab K.},
    year = {2012},
    month = {nov},
    pages = {99–103},
    date-added = {2025-4-18 18:23:40 +0100}
}

@inproceedings{Parhi_2012, title = {Verifying equivalence of digital signal processing circuits}, url = {http://dx.doi.org/10.1109/acssc.2012.6488967}, doi = {10.1109/acssc.2012.6488967}, booktitle = {2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR)}, publisher = {IEEE}, author = {Parhi, Keshab K.}, year = {2012}, month = {nov}, pages = {99–103}, date-added = {2025-4-18 18:23:40 +0100} }