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