Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level. Viswanath, V., Vasudevan, S., & Abraham, J. A. J. Low Power Electron., 5(3):339–353, 2009.
Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level [link]Paper  doi  bibtex   
@article{DBLP:journals/jolpe/ViswanathVA09,
  author       = {Vinod Viswanath and
                  Shobha Vasudevan and
                  Jacob A. Abraham},
  title        = {Dedicated Rewriting: Automatic Verification of Low Power Transformations
                  in Register Transfer Level},
  journal      = {J. Low Power Electron.},
  volume       = {5},
  number       = {3},
  pages        = {339--353},
  year         = {2009},
  url          = {https://doi.org/10.1166/jolpe.2009.1034},
  doi          = {10.1166/JOLPE.2009.1034},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolpe/ViswanathVA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0