Symbolic Error Metric Determination for Approximate Computing

Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler. Symbolic Error Metric Determination for Approximate Computing. In Ralf Wimmer, editor, 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. pages 75-76, Albert-Ludwigs-Universität Freiburg, 2016. [doi]

@inproceedings{Chandrasekharan16,
  title = {Symbolic Error Metric Determination for Approximate Computing},
  author = {Arun Chandrasekharan and Daniel Große and Mathias Soeken and Rolf Drechsler},
  year = {2016},
  doi = {10.6094/UNIFR/10640},
  url = {http://dx.doi.org/10.6094/UNIFR/10640},
  researchr = {https://researchr.org/publication/Chandrasekharan16},
  cites = {0},
  citedby = {0},
  pages = {75-76},
  booktitle = {19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
  editor = {Ralf Wimmer},
  publisher = {Albert-Ludwigs-Universität Freiburg},
  isbn = {978-3-00-052380-9},
}