@article{Falkowski_2004,
    title = {Equivalence checking for digital circuits},
    volume = {23},
    issn = {0278-6648},
    url = {http://dx.doi.org/10.1109/mp.2004.1309785},
    doi = {10.1109/mp.2004.1309785},
    number = {2},
    journal = {IEEE Potentials},
    publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
    author = {Falkowski, B. J.},
    year = {2004},
    month = {apr},
    pages = {21--23},
    date-added = {2025-4-18 18:26:1 +0100}
}

@article{Falkowski_2004, title = {Equivalence checking for digital circuits}, volume = {23}, issn = {0278-6648}, url = {http://dx.doi.org/10.1109/mp.2004.1309785}, doi = {10.1109/mp.2004.1309785}, number = {2}, journal = {IEEE Potentials}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, author = {Falkowski, B. J.}, year = {2004}, month = {apr}, pages = {21--23}, date-added = {2025-4-18 18:26:1 +0100} }