---
_id: '29945'
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Lucas David
  full_name: Reuter, Lucas David
  last_name: Reuter
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Wiersema T, Reuter LD, Platzner M. Search Space Characterization
    for Approximate Logic Synthesis . In: <i>2022 59th ACM/IEEE Design Automation
    Conference (DAC)</i>.'
  apa: Witschen, L. M., Wiersema, T., Reuter, L. D., &#38; Platzner, M. (n.d.). Search
    Space Characterization for Approximate Logic Synthesis . <i>2022 59th ACM/IEEE
    Design Automation Conference (DAC)</i>. 2022 59th ACM/IEEE Design Automation Conference
    (DAC), San Francisco, USA.
  bibtex: '@inproceedings{Witschen_Wiersema_Reuter_Platzner, title={Search Space Characterization
    for Approximate Logic Synthesis }, booktitle={2022 59th ACM/IEEE Design Automation
    Conference (DAC)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Reuter,
    Lucas David and Platzner, Marco} }'
  chicago: Witschen, Linus Matthias, Tobias Wiersema, Lucas David Reuter, and Marco
    Platzner. “Search Space Characterization for Approximate Logic Synthesis .” In
    <i>2022 59th ACM/IEEE Design Automation Conference (DAC)</i>, n.d.
  ieee: L. M. Witschen, T. Wiersema, L. D. Reuter, and M. Platzner, “Search Space
    Characterization for Approximate Logic Synthesis ,” presented at the 2022 59th
    ACM/IEEE Design Automation Conference (DAC), San Francisco, USA.
  mla: Witschen, Linus Matthias, et al. “Search Space Characterization for Approximate
    Logic Synthesis .” <i>2022 59th ACM/IEEE Design Automation Conference (DAC)</i>.
  short: 'L.M. Witschen, T. Wiersema, L.D. Reuter, M. Platzner, in: 2022 59th ACM/IEEE
    Design Automation Conference (DAC), n.d.'
conference:
  end_date: 2022-07-14
  location: San Francisco, USA
  name: 2022 59th ACM/IEEE Design Automation Conference (DAC)
  start_date: 2022-07-10
date_created: 2022-02-22T07:51:38Z
date_updated: 2022-02-22T07:51:42Z
department:
- _id: '78'
language:
- iso: eng
project:
- _id: '1'
  name: 'SFB 901: SFB 901'
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
  name: 'SFB 901 - B4: SFB 901 - Subproject B4'
publication: 2022 59th ACM/IEEE Design Automation Conference (DAC)
publication_status: accepted
status: public
title: 'Search Space Characterization for Approximate Logic Synthesis '
type: conference
user_id: '49051'
year: '2022'
...
---
_id: '29865'
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Matthias
  full_name: Artmann, Matthias
  last_name: Artmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Wiersema T, Artmann M, Platzner M. MUSCAT: MUS-based Circuit
    Approximation Technique. In: <i>Design, Automation and Test in Europe (DATE)</i>.'
  apa: 'Witschen, L. M., Wiersema, T., Artmann, M., &#38; Platzner, M. (n.d.). MUSCAT:
    MUS-based Circuit Approximation Technique. <i>Design, Automation and Test in Europe
    (DATE)</i>. Design, Automation and Test in Europe (DATE), Online.'
  bibtex: '@inproceedings{Witschen_Wiersema_Artmann_Platzner, title={MUSCAT: MUS-based
    Circuit Approximation Technique}, booktitle={Design, Automation and Test in Europe
    (DATE)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Artmann, Matthias
    and Platzner, Marco} }'
  chicago: 'Witschen, Linus Matthias, Tobias Wiersema, Matthias Artmann, and Marco
    Platzner. “MUSCAT: MUS-Based Circuit Approximation Technique.” In <i>Design, Automation
    and Test in Europe (DATE)</i>, n.d.'
  ieee: 'L. M. Witschen, T. Wiersema, M. Artmann, and M. Platzner, “MUSCAT: MUS-based
    Circuit Approximation Technique,” presented at the Design, Automation and Test
    in Europe (DATE), Online.'
  mla: 'Witschen, Linus Matthias, et al. “MUSCAT: MUS-Based Circuit Approximation
    Technique.” <i>Design, Automation and Test in Europe (DATE)</i>.'
  short: 'L.M. Witschen, T. Wiersema, M. Artmann, M. Platzner, in: Design, Automation
    and Test in Europe (DATE), n.d.'
conference:
  location: Online
  name: Design, Automation and Test in Europe (DATE)
date_created: 2022-02-16T16:22:23Z
date_updated: 2022-02-22T07:52:01Z
department:
- _id: '78'
language:
- iso: eng
project:
- _id: '1'
  name: 'SFB 901: SFB 901'
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
  name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '52'
  name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: Design, Automation and Test in Europe (DATE)
publication_status: accepted
status: public
title: 'MUSCAT: MUS-based Circuit Approximation Technique'
type: conference
user_id: '49051'
year: '2022'
...
---
_id: '34041'
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
citation:
  ama: Witschen LM. <i>Frameworks and Methodologies for Search-Based Approximate Logic
    Synthesis</i>.; 2022. doi:<a href="https://doi.org/10.17619/UNIPB/1-1649">10.17619/UNIPB/1-1649</a>
  apa: Witschen, L. M. (2022). <i>Frameworks and Methodologies for Search-based Approximate
    Logic Synthesis</i>. <a href="https://doi.org/10.17619/UNIPB/1-1649">https://doi.org/10.17619/UNIPB/1-1649</a>
  bibtex: '@book{Witschen_2022, title={Frameworks and Methodologies for Search-based
    Approximate Logic Synthesis}, DOI={<a href="https://doi.org/10.17619/UNIPB/1-1649">10.17619/UNIPB/1-1649</a>},
    author={Witschen, Linus Matthias}, year={2022} }'
  chicago: Witschen, Linus Matthias. <i>Frameworks and Methodologies for Search-Based
    Approximate Logic Synthesis</i>, 2022. <a href="https://doi.org/10.17619/UNIPB/1-1649">https://doi.org/10.17619/UNIPB/1-1649</a>.
  ieee: L. M. Witschen, <i>Frameworks and Methodologies for Search-based Approximate
    Logic Synthesis</i>. 2022.
  mla: Witschen, Linus Matthias. <i>Frameworks and Methodologies for Search-Based
    Approximate Logic Synthesis</i>. 2022, doi:<a href="https://doi.org/10.17619/UNIPB/1-1649">10.17619/UNIPB/1-1649</a>.
  short: L.M. Witschen, Frameworks and Methodologies for Search-Based Approximate
    Logic Synthesis, 2022.
date_created: 2022-11-09T06:26:22Z
date_updated: 2023-01-19T06:41:22Z
department:
- _id: '78'
doi: 10.17619/UNIPB/1-1649
language:
- iso: eng
project:
- _id: '1'
  name: 'SFB 901: SFB 901'
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
  name: 'SFB 901 - B4: SFB 901 - Subproject B4'
status: public
supervisor:
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
title: Frameworks and Methodologies for Search-based Approximate Logic Synthesis
type: dissertation
user_id: '15504'
year: '2022'
...
---
_id: '21953'
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Masood
  full_name: Raeisi Nafchi, Masood
  last_name: Raeisi Nafchi
- first_name: Arne
  full_name: Bockhorn, Arne
  last_name: Bockhorn
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Wiersema T, Raeisi Nafchi M, Bockhorn A, Platzner M. Timing Optimization
    for Virtual FPGA Configurations. In: Hannig F, Derrien S, Diniz P, Chillet D,
    eds. <i>Proceedings of International Symposium on Applied Reconfigurable Computing
    (ARC’21)</i>. Reconfigurable Computing: Architectures, Tools, and Applications.
    Springer Lecture Notes in Computer Science. doi:<a href="https://doi.org/10.1007/978-3-030-79025-7_4">10.1007/978-3-030-79025-7_4</a>'
  apa: Witschen, L. M., Wiersema, T., Raeisi Nafchi, M., Bockhorn, A., &#38; Platzner,
    M. (n.d.). Timing Optimization for Virtual FPGA Configurations. In F. Hannig,
    S. Derrien, P. Diniz, &#38; D. Chillet (Eds.), <i>Proceedings of International
    Symposium on Applied Reconfigurable Computing (ARC’21)</i>. Springer Lecture Notes
    in Computer Science. <a href="https://doi.org/10.1007/978-3-030-79025-7_4">https://doi.org/10.1007/978-3-030-79025-7_4</a>
  bibtex: '@inproceedings{Witschen_Wiersema_Raeisi Nafchi_Bockhorn_Platzner, series={Reconfigurable
    Computing: Architectures, Tools, and Applications}, title={Timing Optimization
    for Virtual FPGA Configurations}, DOI={<a href="https://doi.org/10.1007/978-3-030-79025-7_4">10.1007/978-3-030-79025-7_4</a>},
    booktitle={Proceedings of International Symposium on Applied Reconfigurable Computing
    (ARC’21)}, publisher={Springer Lecture Notes in Computer Science}, author={Witschen,
    Linus Matthias and Wiersema, Tobias and Raeisi Nafchi, Masood and Bockhorn, Arne
    and Platzner, Marco}, editor={Hannig, Frank and Derrien, Steven and Diniz, Pedro
    and Chillet, Daniel}, collection={Reconfigurable Computing: Architectures, Tools,
    and Applications} }'
  chicago: 'Witschen, Linus Matthias, Tobias Wiersema, Masood Raeisi Nafchi, Arne
    Bockhorn, and Marco Platzner. “Timing Optimization for Virtual FPGA Configurations.”
    In <i>Proceedings of International Symposium on Applied Reconfigurable Computing
    (ARC’21)</i>, edited by Frank Hannig, Steven Derrien, Pedro Diniz, and Daniel
    Chillet. Reconfigurable Computing: Architectures, Tools, and Applications. Springer
    Lecture Notes in Computer Science, n.d. <a href="https://doi.org/10.1007/978-3-030-79025-7_4">https://doi.org/10.1007/978-3-030-79025-7_4</a>.'
  ieee: 'L. M. Witschen, T. Wiersema, M. Raeisi Nafchi, A. Bockhorn, and M. Platzner,
    “Timing Optimization for Virtual FPGA Configurations,” in <i>Proceedings of International
    Symposium on Applied Reconfigurable Computing (ARC’21)</i>, Virtual conference,
    doi: <a href="https://doi.org/10.1007/978-3-030-79025-7_4">10.1007/978-3-030-79025-7_4</a>.'
  mla: Witschen, Linus Matthias, et al. “Timing Optimization for Virtual FPGA Configurations.”
    <i>Proceedings of International Symposium on Applied Reconfigurable Computing
    (ARC’21)</i>, edited by Frank Hannig et al., Springer Lecture Notes in Computer
    Science, doi:<a href="https://doi.org/10.1007/978-3-030-79025-7_4">10.1007/978-3-030-79025-7_4</a>.
  short: 'L.M. Witschen, T. Wiersema, M. Raeisi Nafchi, A. Bockhorn, M. Platzner,
    in: F. Hannig, S. Derrien, P. Diniz, D. Chillet (Eds.), Proceedings of International
    Symposium on Applied Reconfigurable Computing (ARC’21), Springer Lecture Notes
    in Computer Science, n.d.'
conference:
  end_date: 2021-07-01
  location: Virtual conference
  name: International Symposium on Applied Reconfigurable Computing
  start_date: 2021-06-29
date_created: 2021-05-04T14:18:46Z
date_updated: 2022-02-14T11:03:09Z
department:
- _id: '78'
doi: 10.1007/978-3-030-79025-7_4
editor:
- first_name: Frank
  full_name: Hannig, Frank
  last_name: Hannig
- first_name: Steven
  full_name: Derrien, Steven
  last_name: Derrien
- first_name: Pedro
  full_name: Diniz, Pedro
  last_name: Diniz
- first_name: Daniel
  full_name: Chillet, Daniel
  last_name: Chillet
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Proceedings of International Symposium on Applied Reconfigurable Computing
  (ARC'21)
publication_status: accepted
publisher: Springer Lecture Notes in Computer Science
series_title: 'Reconfigurable Computing: Architectures, Tools, and Applications'
status: public
title: Timing Optimization for Virtual FPGA Configurations
type: conference
user_id: '3118'
year: '2021'
...
---
_id: '17358'
abstract:
- lang: eng
  text: 'Approximate circuits trade-off computational accuracy against improvements
    in hardware area, delay, or energy consumption. IP core vendors who wish to create
    such circuits need to convince consumers of the resulting approximation quality.
    As a solution we propose proof-carrying approximate circuits: The vendor creates
    an approximate IP core together with a certificate that proves the approximation
    quality. The proof certificate is bundled with the approximate IP core and sent
    off to the consumer. The consumer can formally verify the approximation quality
    of the IP core at a fraction of the typical computational cost for formal verification.
    In this paper, we first make the case for proof-carrying approximate circuits
    and then demonstrate the feasibility of the approach by a set of synthesis experiments
    using an exemplary approximation framework.'
article_type: original
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Witschen LM, Wiersema T, Platzner M. Proof-carrying Approximate Circuits. <i>IEEE
    Transactions On Very Large Scale Integration Systems</i>. 2020;28(9):2084-2088.
    doi:<a href="https://doi.org/10.1109/TVLSI.2020.3008061">10.1109/TVLSI.2020.3008061</a>
  apa: Witschen, L. M., Wiersema, T., &#38; Platzner, M. (2020). Proof-carrying Approximate
    Circuits. <i>IEEE Transactions On Very Large Scale Integration Systems</i>, <i>28</i>(9),
    2084–2088. <a href="https://doi.org/10.1109/TVLSI.2020.3008061">https://doi.org/10.1109/TVLSI.2020.3008061</a>
  bibtex: '@article{Witschen_Wiersema_Platzner_2020, title={Proof-carrying Approximate
    Circuits}, volume={28}, DOI={<a href="https://doi.org/10.1109/TVLSI.2020.3008061">10.1109/TVLSI.2020.3008061</a>},
    number={9}, journal={IEEE Transactions On Very Large Scale Integration Systems},
    publisher={IEEE}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner,
    Marco}, year={2020}, pages={2084–2088} }'
  chicago: 'Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Proof-Carrying
    Approximate Circuits.” <i>IEEE Transactions On Very Large Scale Integration Systems</i>
    28, no. 9 (2020): 2084–88. <a href="https://doi.org/10.1109/TVLSI.2020.3008061">https://doi.org/10.1109/TVLSI.2020.3008061</a>.'
  ieee: L. M. Witschen, T. Wiersema, and M. Platzner, “Proof-carrying Approximate
    Circuits,” <i>IEEE Transactions On Very Large Scale Integration Systems</i>, vol.
    28, no. 9, pp. 2084–2088, 2020.
  mla: Witschen, Linus Matthias, et al. “Proof-Carrying Approximate Circuits.” <i>IEEE
    Transactions On Very Large Scale Integration Systems</i>, vol. 28, no. 9, IEEE,
    2020, pp. 2084–88, doi:<a href="https://doi.org/10.1109/TVLSI.2020.3008061">10.1109/TVLSI.2020.3008061</a>.
  short: L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large
    Scale Integration Systems 28 (2020) 2084–2088.
date_created: 2020-07-06T11:21:30Z
date_updated: 2022-01-06T06:53:09Z
department:
- _id: '78'
doi: 10.1109/TVLSI.2020.3008061
funded_apc: '1'
intvolume: '        28'
issue: '9'
keyword:
- Approximate circuit synthesis
- approximate computing
- error metrics
- formal verification
- proof-carrying hardware
language:
- iso: eng
page: 2084 - 2088
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '1'
  name: SFB 901
publication: IEEE Transactions On Very Large Scale Integration Systems
publication_identifier:
  eissn:
  - 1557-9999
  issn:
  - 1063-8210
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Proof-carrying Approximate Circuits
type: journal_article
user_id: '49051'
volume: 28
year: '2020'
...
---
_id: '20748'
abstract:
- lang: eng
  text: "On the circuit level, the design paradigm Approximate Computing seeks to
    trade off computational accuracy against a target metric, e.g., energy consumption.
    This trade-off is possible for many applications due to their inherent resiliency
    against inaccuracies.\r\nIn the past, several automated approximation frameworks
    have been presented, which either utilize designated approximation techniques
    or libraries to replace approximable circuit parts with inaccurate versions. The
    frameworks invoke a search algorithm to iteratively explore the search space of
    performance degraded circuits, and validate their quality individually. \r\nIn
    this paper, we propose to reverse this procedure. Rather than exploring the search
    space, we delineate the approximate parts of the search space which are guaranteed
    to lead to valid approximate circuits. Our methodology is supported by formal
    verification and independent of approximation techniques. Eventually, the user
    is provided with quality bounds of the individual approximable circuit parts.
    Consequently, our approach guarantees that any approximate circuit which implements
    these parts within the determined quality constraints satisfies the global quality
    constraints, superseding a subsequent quality verification.\r\nIn our experimental
    results, we present the runtimes of our approach."
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Witschen LM, Wiersema T, Platzner M. Search Space Characterization for AxC
    Synthesis. <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.
  apa: Witschen, L. M., Wiersema, T., &#38; Platzner, M. (n.d.). Search Space Characterization
    for AxC Synthesis. <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.
  bibtex: '@article{Witschen_Wiersema_Platzner, title={Search Space Characterization
    for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)},
    author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }'
  chicago: Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Search
    Space Characterization for AxC Synthesis.” <i>Fifth Workshop on Approximate Computing
    (AxC 2020)</i>, n.d.
  ieee: L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization
    for AxC Synthesis,” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.
    .
  mla: Witschen, Linus Matthias, et al. “Search Space Characterization for AxC Synthesis.”
    <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.
  short: L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing
    (AxC 2020) (n.d.).
date_created: 2020-12-15T15:13:49Z
date_updated: 2022-01-06T06:54:35Z
ddc:
- '000'
department:
- _id: '78'
file:
- access_level: closed
  content_type: application/pdf
  creator: witschen
  date_created: 2020-12-15T15:11:06Z
  date_updated: 2020-12-15T15:11:06Z
  file_id: '20749'
  file_name: witschen20_axc.pdf
  file_size: 250870
  relation: main_file
  success: 1
file_date_updated: 2020-12-15T15:11:06Z
has_accepted_license: '1'
language:
- iso: eng
page: '2'
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '1'
  name: SFB 901
publication: Fifth Workshop on Approximate Computing (AxC 2020)
publication_status: accepted
status: public
title: Search Space Characterization for AxC Synthesis
type: preprint
user_id: '3118'
year: '2020'
...
---
_id: '3585'
abstract:
- lang: eng
  text: Existing approaches and tools for the generation of approximate circuits often
    lack generality and are restricted to certain circuit types, approximation techniques,
    and quality assurance methods. Moreover, only few tools are publicly available.
    This hinders the development and evaluation of new techniques for approximating
    circuits and their comparison to previous approaches. In this paper, we ﬁrst analyze
    and classify related approaches and then present CIRCA, our ﬂexible framework
    for search-based approximate circuit generation. CIRCA is developed with a focus
    on modularity and extensibility. We present the architecture of CIRCA with its
    clear separation into stages and functional blocks, report on the current prototype,
    and show initial experiments.
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Hassan
  full_name: Ghasemzadeh Mohammadi, Hassan
  id: '61186'
  last_name: Ghasemzadeh Mohammadi
- first_name: Muhammad
  full_name: Awais, Muhammad
  id: '64665'
  last_name: Awais
  orcid: https://orcid.org/0000-0003-4148-2969
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA:
    Towards a Modular and Extensible Framework for Approximate Circuit Generation.
    <i>Microelectronics Reliability</i>. 2019;99:277-290. doi:<a href="https://doi.org/10.1016/j.microrel.2019.04.003">10.1016/j.microrel.2019.04.003</a>'
  apa: 'Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., &#38;
    Platzner, M. (2019). CIRCA: Towards a Modular and Extensible Framework for Approximate
    Circuit Generation. <i>Microelectronics Reliability</i>, <i>99</i>, 277–290. <a
    href="https://doi.org/10.1016/j.microrel.2019.04.003">https://doi.org/10.1016/j.microrel.2019.04.003</a>'
  bibtex: '@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner_2019, title={CIRCA:
    Towards a Modular and Extensible Framework for Approximate Circuit Generation},
    volume={99}, DOI={<a href="https://doi.org/10.1016/j.microrel.2019.04.003">10.1016/j.microrel.2019.04.003</a>},
    journal={Microelectronics Reliability}, publisher={Elsevier}, author={Witschen,
    Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais,
    Muhammad and Platzner, Marco}, year={2019}, pages={277–290} }'
  chicago: 'Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi,
    Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework
    for Approximate Circuit Generation.” <i>Microelectronics Reliability</i> 99 (2019):
    277–90. <a href="https://doi.org/10.1016/j.microrel.2019.04.003">https://doi.org/10.1016/j.microrel.2019.04.003</a>.'
  ieee: 'L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner,
    “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,”
    <i>Microelectronics Reliability</i>, vol. 99, pp. 277–290, 2019.'
  mla: 'Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible
    Framework for Approximate Circuit Generation.” <i>Microelectronics Reliability</i>,
    vol. 99, Elsevier, 2019, pp. 277–90, doi:<a href="https://doi.org/10.1016/j.microrel.2019.04.003">10.1016/j.microrel.2019.04.003</a>.'
  short: L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner,
    Microelectronics Reliability 99 (2019) 277–290.
date_created: 2018-07-20T14:08:49Z
date_updated: 2022-01-06T06:59:25Z
department:
- _id: '78'
doi: 10.1016/j.microrel.2019.04.003
intvolume: '        99'
keyword:
- Approximate Computing
- Framework
- Pareto Front
- Accuracy
language:
- iso: eng
page: 277-290
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Microelectronics Reliability
publication_identifier:
  issn:
  - 0026-2714
publication_status: published
publisher: Elsevier
status: public
title: 'CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit
  Generation'
type: journal_article
user_id: '49051'
volume: 99
year: '2019'
...
---
_id: '16853'
abstract:
- lang: eng
  text: State-of-the-art frameworks for generating approximate circuits usually rely
    on information gained through circuit synthesis and/or verification to explore
    the search space and to find an optimal solution. Throughout the process, a large
    number of circuits may be subject to processing, leading to considerable runtimes.
    In this work, we propose a search which takes error bounds and pre-computed impact
    factors into account to reduce the number of invoked synthesis and verification
    processes. In our experimental results, we achieved speed-ups of up to 76x while
    area savings remain comparable to the reference search method, simulated annealing.
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Hassan
  full_name: Ghasemzadeh Mohammadi, Hassan
  id: '61186'
  last_name: Ghasemzadeh Mohammadi
- first_name: Matthias
  full_name: Artmann, Matthias
  last_name: Artmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search:
    A Fast Technique for the Synthesis of Approximate Circuits. <i>Fourth Workshop
    on Approximate Computing (AxC 2019)</i>.'
  apa: 'Witschen, L. M., Ghasemzadeh Mohammadi, H., Artmann, M., &#38; Platzner, M.
    (n.d.). Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.
    <i>Fourth Workshop on Approximate Computing (AxC 2019)</i>.'
  bibtex: '@article{Witschen_Ghasemzadeh Mohammadi_Artmann_Platzner, title={Jump Search:
    A Fast Technique for the Synthesis of Approximate Circuits}, journal={Fourth Workshop
    on Approximate Computing (AxC 2019)}, author={Witschen, Linus Matthias and Ghasemzadeh
    Mohammadi, Hassan and Artmann, Matthias and Platzner, Marco} }'
  chicago: 'Witschen, Linus Matthias, Hassan Ghasemzadeh Mohammadi, Matthias Artmann,
    and Marco Platzner. “Jump Search: A Fast Technique for the Synthesis of Approximate
    Circuits.” <i>Fourth Workshop on Approximate Computing (AxC 2019)</i>, n.d.'
  ieee: 'L. M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, and M. Platzner, “Jump
    Search: A Fast Technique for the Synthesis of Approximate Circuits,” <i>Fourth
    Workshop on Approximate Computing (AxC 2019)</i>. .'
  mla: 'Witschen, Linus Matthias, et al. “Jump Search: A Fast Technique for the Synthesis
    of Approximate Circuits.” <i>Fourth Workshop on Approximate Computing (AxC 2019)</i>.'
  short: L.M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, M. Platzner, Fourth
    Workshop on Approximate Computing (AxC 2019) (n.d.).
date_created: 2020-04-25T08:02:07Z
date_updated: 2022-01-06T06:52:57Z
ddc:
- '006'
department:
- _id: '78'
file:
- access_level: closed
  content_type: application/pdf
  creator: witschen
  date_created: 2020-04-25T08:00:35Z
  date_updated: 2020-04-25T08:00:35Z
  file_id: '16854'
  file_name: AxC19_paper_3.pdf
  file_size: 152806
  relation: main_file
  success: 1
file_date_updated: 2020-04-25T08:00:35Z
has_accepted_license: '1'
keyword:
- Approximate computing
- parameter selection
- search space exploration
- verification
- circuit synthesis
language:
- iso: eng
page: '2'
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Fourth Workshop on Approximate Computing (AxC 2019)
publication_status: accepted
status: public
title: 'Jump Search: A Fast Technique for the Synthesis of Approximate Circuits'
type: preprint
user_id: '49051'
year: '2019'
...
---
_id: '10577'
abstract:
- lang: eng
  text: "State-of-the-art frameworks for generating approximate circuits automatically
    explore the search space in an iterative process - often greedily. Synthesis and
    verification processes are invoked in each iteration to evaluate the found solutions
    and to guide the search algorithm. As a result, a large number of approximate
    circuits is subjected to analysis - leading to long runtimes - but only a few
    approximate circuits might form an acceptable solution.\r\n\r\nIn this paper,
    we present our Jump Search (JS) method which seeks to reduce the runtime of an
    approximation process by reducing the number of expensive synthesis and verification
    steps. To reduce the runtime, JS computes impact factors for each approximation
    candidate in the circuit to create a selection of approximate circuits without
    invoking synthesis or verification processes. We denote the selection as path
    from which JS determines the final solution. In our experimental results, JS achieved
    speed-ups of up to 57x while area savings remain comparable to the reference search
    method, Simulated Annealing."
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Hassan
  full_name: Ghasemzadeh Mohammadi, Hassan
  id: '61186'
  last_name: Ghasemzadeh Mohammadi
- first_name: Matthias
  full_name: Artmann, Matthias
  last_name: Artmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search:
    A Fast Technique for the Synthesis of Approximate Circuits. In: <i>Proceedings
    of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>. New York, NY,
    USA: ACM; 2019. doi:<a href="https://doi.org/10.1145/3299874.3317998">10.1145/3299874.3317998</a>'
  apa: 'Witschen, L. M., Ghasemzadeh Mohammadi, H., Artmann, M., &#38; Platzner, M.
    (2019). Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.
    In <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>.
    New York, NY, USA: ACM. <a href="https://doi.org/10.1145/3299874.3317998">https://doi.org/10.1145/3299874.3317998</a>'
  bibtex: '@inproceedings{Witschen_Ghasemzadeh Mohammadi_Artmann_Platzner_2019, place={New
    York, NY, USA}, title={Jump Search: A Fast Technique for the Synthesis of Approximate
    Circuits}, DOI={<a href="https://doi.org/10.1145/3299874.3317998">10.1145/3299874.3317998</a>},
    booktitle={Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI
    ’19}, publisher={ACM}, author={Witschen, Linus Matthias and Ghasemzadeh Mohammadi,
    Hassan and Artmann, Matthias and Platzner, Marco}, year={2019} }'
  chicago: 'Witschen, Linus Matthias, Hassan Ghasemzadeh Mohammadi, Matthias Artmann,
    and Marco Platzner. “Jump Search: A Fast Technique for the Synthesis of Approximate
    Circuits.” In <i>Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI
    ’19</i>. New York, NY, USA: ACM, 2019. <a href="https://doi.org/10.1145/3299874.3317998">https://doi.org/10.1145/3299874.3317998</a>.'
  ieee: 'L. M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, and M. Platzner, “Jump
    Search: A Fast Technique for the Synthesis of Approximate Circuits,” in <i>Proceedings
    of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19</i>, Tysons Corner,
    VA, USA, 2019.'
  mla: 'Witschen, Linus Matthias, et al. “Jump Search: A Fast Technique for the Synthesis
    of Approximate Circuits.” <i>Proceedings of the 2019 on Great Lakes Symposium
    on VLSI  - GLSVLSI ’19</i>, ACM, 2019, doi:<a href="https://doi.org/10.1145/3299874.3317998">10.1145/3299874.3317998</a>.'
  short: 'L.M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, M. Platzner, in: Proceedings
    of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19, ACM, New York, NY,
    USA, 2019.'
conference:
  end_date: 2019-05-11
  location: Tysons Corner, VA, USA
  name: ACM Great Lakes Symposium on VLSI (GLSVLSI)
  start_date: 2019-05-09
date_created: 2019-07-08T15:13:10Z
date_updated: 2022-01-06T06:50:45Z
department:
- _id: '78'
doi: 10.1145/3299874.3317998
keyword:
- Approximate computing
- design automation
- parameter selection
- circuit synthesis
language:
- iso: eng
place: New York, NY, USA
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI '19
publication_identifier:
  isbn:
  - '9781450362528'
publication_status: published
publisher: ACM
status: public
title: 'Jump Search: A Fast Technique for the Synthesis of Approximate Circuits'
type: conference
user_id: '49051'
year: '2019'
...
---
_id: '11950'
abstract:
- lang: eng
  text: Advances in electromyographic (EMG) sensor technology and machine learning
    algorithms have led to an increased research effort into high density EMG-based
    pattern recognition methods for prosthesis control. With the goal set on an autonomous
    multi-movement prosthesis capable of performing training and classification of
    an amputee’s EMG signals, the focus of this paper lies in the acceleration of
    the embedded signal processing chain. We present two Xilinx Zynq-based architectures
    for accelerating two inherently different high density EMG-based control algorithms.
    The first hardware accelerated design achieves speed-ups of up to 4.8 over the
    software-only solution, allowing for a processing delay lower than the sample
    period of 1 ms. The second system achieved a speed-up of 5.5 over the software-only
    version and operates at a still satisfactory low processing delay of up to 15
    ms while providing a higher reliability and robustness against electrode shift
    and noisy channels.
author:
- first_name: Alexander
  full_name: Boschmann, Alexander
  last_name: Boschmann
- first_name: Andreas
  full_name: Agne, Andreas
  last_name: Agne
- first_name: Georg
  full_name: Thombansen, Georg
  last_name: Thombansen
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Florian
  full_name: Kraus, Florian
  last_name: Kraus
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Boschmann A, Agne A, Thombansen G, Witschen LM, Kraus F, Platzner M. Zynq-based
    acceleration of robust high density myoelectric signal processing. <i>Journal
    of Parallel and Distributed Computing</i>. 2019;123:77-89. doi:<a href="https://doi.org/10.1016/j.jpdc.2018.07.004">10.1016/j.jpdc.2018.07.004</a>
  apa: Boschmann, A., Agne, A., Thombansen, G., Witschen, L. M., Kraus, F., &#38;
    Platzner, M. (2019). Zynq-based acceleration of robust high density myoelectric
    signal processing. <i>Journal of Parallel and Distributed Computing</i>, <i>123</i>,
    77–89. <a href="https://doi.org/10.1016/j.jpdc.2018.07.004">https://doi.org/10.1016/j.jpdc.2018.07.004</a>
  bibtex: '@article{Boschmann_Agne_Thombansen_Witschen_Kraus_Platzner_2019, title={Zynq-based
    acceleration of robust high density myoelectric signal processing}, volume={123},
    DOI={<a href="https://doi.org/10.1016/j.jpdc.2018.07.004">10.1016/j.jpdc.2018.07.004</a>},
    journal={Journal of Parallel and Distributed Computing}, publisher={Elsevier},
    author={Boschmann, Alexander and Agne, Andreas and Thombansen, Georg and Witschen,
    Linus Matthias and Kraus, Florian and Platzner, Marco}, year={2019}, pages={77–89}
    }'
  chicago: 'Boschmann, Alexander, Andreas Agne, Georg Thombansen, Linus Matthias Witschen,
    Florian Kraus, and Marco Platzner. “Zynq-Based Acceleration of Robust High Density
    Myoelectric Signal Processing.” <i>Journal of Parallel and Distributed Computing</i>
    123 (2019): 77–89. <a href="https://doi.org/10.1016/j.jpdc.2018.07.004">https://doi.org/10.1016/j.jpdc.2018.07.004</a>.'
  ieee: A. Boschmann, A. Agne, G. Thombansen, L. M. Witschen, F. Kraus, and M. Platzner,
    “Zynq-based acceleration of robust high density myoelectric signal processing,”
    <i>Journal of Parallel and Distributed Computing</i>, vol. 123, pp. 77–89, 2019.
  mla: Boschmann, Alexander, et al. “Zynq-Based Acceleration of Robust High Density
    Myoelectric Signal Processing.” <i>Journal of Parallel and Distributed Computing</i>,
    vol. 123, Elsevier, 2019, pp. 77–89, doi:<a href="https://doi.org/10.1016/j.jpdc.2018.07.004">10.1016/j.jpdc.2018.07.004</a>.
  short: A. Boschmann, A. Agne, G. Thombansen, L.M. Witschen, F. Kraus, M. Platzner,
    Journal of Parallel and Distributed Computing 123 (2019) 77–89.
date_created: 2019-07-12T13:13:55Z
date_updated: 2022-01-06T06:51:13Z
department:
- _id: '78'
doi: 10.1016/j.jpdc.2018.07.004
intvolume: '       123'
keyword:
- High density electromyography
- FPGA acceleration
- Medical signal processing
- Pattern recognition
- Prosthetics
language:
- iso: eng
page: 77-89
publication: Journal of Parallel and Distributed Computing
publication_identifier:
  issn:
  - 0743-7315
publication_status: published
publisher: Elsevier
status: public
title: Zynq-based acceleration of robust high density myoelectric signal processing
type: journal_article
user_id: '398'
volume: 123
year: '2019'
...
---
_id: '3586'
abstract:
- lang: eng
  text: Existing approaches and tools for the generation of approximate circuits often
    lack generality and are restricted to certain circuit types, approximation techniques,
    and quality assurance methods. Moreover, only few tools are publicly available.
    This hinders the development and evaluation of new techniques for approximating
    circuits and their comparison to previous approaches. In this paper, we ﬁrst analyze
    and classify related approaches and then present CIRCA, our ﬂexible framework
    for search-based approximate circuit generation. CIRCA is developed with a focus
    on modularity and extensibility. We present the architecture of CIRCA with its
    clear separation into stages and functional blocks, report on the current prototype,
    and show initial experiments.
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Hassan
  full_name: Ghasemzadeh Mohammadi, Hassan
  id: '61186'
  last_name: Ghasemzadeh Mohammadi
- first_name: Muhammad
  full_name: Awais, Muhammad
  id: '64665'
  last_name: Awais
  orcid: https://orcid.org/0000-0003-4148-2969
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA:
    Towards a Modular and Extensible Framework for Approximate Circuit Generation.
    <i>Third Workshop on Approximate Computing (AxC 2018)</i>.'
  apa: 'Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., &#38;
    Platzner, M. (n.d.). CIRCA: Towards a Modular and Extensible Framework for Approximate
    Circuit Generation. <i>Third Workshop on Approximate Computing (AxC 2018)</i>.'
  bibtex: '@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA:
    Towards a Modular and Extensible Framework for Approximate Circuit Generation},
    journal={Third Workshop on Approximate Computing (AxC 2018)}, author={Witschen,
    Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais,
    Muhammad and Platzner, Marco} }'
  chicago: 'Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi,
    Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework
    for Approximate Circuit Generation.” <i>Third Workshop on Approximate Computing
    (AxC 2018)</i>, n.d.'
  ieee: 'L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner,
    “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,”
    <i>Third Workshop on Approximate Computing (AxC 2018)</i>. .'
  mla: 'Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible
    Framework for Approximate Circuit Generation.” <i>Third Workshop on Approximate
    Computing (AxC 2018)</i>.'
  short: L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner,
    Third Workshop on Approximate Computing (AxC 2018) (n.d.).
date_created: 2018-07-20T14:10:46Z
date_updated: 2022-01-06T06:59:26Z
ddc:
- '000'
department:
- _id: '78'
file:
- access_level: closed
  content_type: application/pdf
  creator: tobias82
  date_created: 2018-07-20T14:13:31Z
  date_updated: 2018-07-20T14:13:31Z
  file_id: '3587'
  file_name: WitschenWMAP2018.pdf
  file_size: 285348
  relation: main_file
  success: 1
file_date_updated: 2018-07-20T14:13:31Z
has_accepted_license: '1'
keyword:
- Approximate Computing
- Framework
- Pareto Front
- Accuracy
language:
- iso: eng
page: '6'
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Third Workshop on Approximate Computing (AxC 2018)
publication_status: accepted
status: public
title: 'CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit
  Generation'
type: preprint
user_id: '49051'
year: '2018'
...
---
_id: '1165'
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Witschen LM, Wiersema T, Platzner M. Making the Case for Proof-carrying Approximate
    Circuits. <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>. 2018.
  apa: Witschen, L. M., Wiersema, T., &#38; Platzner, M. (2018). Making the Case for
    Proof-carrying Approximate Circuits. <i>4th Workshop On Approximate Computing
    (WAPCO 2018)</i>.
  bibtex: '@article{Witschen_Wiersema_Platzner_2018, title={Making the Case for Proof-carrying
    Approximate Circuits}, journal={4th Workshop On Approximate Computing (WAPCO 2018)},
    author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco}, year={2018}
    }'
  chicago: Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Making
    the Case for Proof-Carrying Approximate Circuits.” <i>4th Workshop On Approximate
    Computing (WAPCO 2018)</i>, 2018.
  ieee: L. M. Witschen, T. Wiersema, and M. Platzner, “Making the Case for Proof-carrying
    Approximate Circuits,” <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>.
    2018.
  mla: Witschen, Linus Matthias, et al. “Making the Case for Proof-Carrying Approximate
    Circuits.” <i>4th Workshop On Approximate Computing (WAPCO 2018)</i>, 2018.
  short: L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing
    (WAPCO 2018) (2018).
date_created: 2018-02-01T14:24:54Z
date_updated: 2022-01-06T06:51:06Z
ddc:
- '000'
department:
- _id: '7'
- _id: '34'
- _id: '78'
file:
- access_level: closed
  content_type: application/pdf
  creator: tobias82
  date_created: 2018-11-26T08:00:53Z
  date_updated: 2018-11-26T08:00:53Z
  file_id: '5821'
  file_name: WitschenWP2018[1].pdf
  file_size: 287224
  relation: main_file
  success: 1
file_date_updated: 2018-11-26T08:00:53Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: 4th Workshop On Approximate Computing (WAPCO 2018)
status: public
title: Making the Case for Proof-carrying Approximate Circuits
type: preprint
user_id: '49051'
year: '2018'
...
---
_id: '1157'
author:
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
citation:
  ama: Witschen LM. <i>A Framework for the Synthesis of Approximate Circuits</i>.
    Universität Paderborn; 2017.
  apa: Witschen, L. M. (2017). <i>A Framework for the Synthesis of Approximate Circuits</i>.
    Universität Paderborn.
  bibtex: '@book{Witschen_2017, title={A Framework for the Synthesis of Approximate
    Circuits}, publisher={Universität Paderborn}, author={Witschen, Linus Matthias},
    year={2017} }'
  chicago: Witschen, Linus Matthias. <i>A Framework for the Synthesis of Approximate
    Circuits</i>. Universität Paderborn, 2017.
  ieee: L. M. Witschen, <i>A Framework for the Synthesis of Approximate Circuits</i>.
    Universität Paderborn, 2017.
  mla: Witschen, Linus Matthias. <i>A Framework for the Synthesis of Approximate Circuits</i>.
    Universität Paderborn, 2017.
  short: L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität
    Paderborn, 2017.
date_created: 2018-02-01T14:21:19Z
date_updated: 2022-01-06T06:51:03Z
department:
- _id: '78'
- _id: '7'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
title: A Framework for the Synthesis of Approximate Circuits
type: mastersthesis
user_id: '477'
year: '2017'
...
---
_id: '10630'
author:
- first_name: Alexander
  full_name: Boschmann, Alexander
  last_name: Boschmann
- first_name: Georg
  full_name: Thombansen, Georg
  last_name: Thombansen
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Alex
  full_name: Wiens, Alex
  last_name: Wiens
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Boschmann A, Thombansen G, Witschen LM, Wiens A, Platzner M. A Zynq-based
    dynamically reconfigurable high density myoelectric prosthesis controller. In:
    <i>Design, Automation and Test in Europe (DATE)</i>. ; 2017. doi:<a href="https://doi.org/10.23919/DATE.2017.7927137">10.23919/DATE.2017.7927137</a>'
  apa: Boschmann, A., Thombansen, G., Witschen, L. M., Wiens, A., &#38; Platzner,
    M. (2017). A Zynq-based dynamically reconfigurable high density myoelectric prosthesis
    controller. In <i>Design, Automation and Test in Europe (DATE)</i>. <a href="https://doi.org/10.23919/DATE.2017.7927137">https://doi.org/10.23919/DATE.2017.7927137</a>
  bibtex: '@inproceedings{Boschmann_Thombansen_Witschen_Wiens_Platzner_2017, title={A
    Zynq-based dynamically reconfigurable high density myoelectric prosthesis controller},
    DOI={<a href="https://doi.org/10.23919/DATE.2017.7927137">10.23919/DATE.2017.7927137</a>},
    booktitle={Design, Automation and Test in Europe (DATE)}, author={Boschmann, Alexander
    and Thombansen, Georg and Witschen, Linus Matthias and Wiens, Alex and Platzner,
    Marco}, year={2017} }'
  chicago: Boschmann, Alexander, Georg Thombansen, Linus Matthias Witschen, Alex Wiens,
    and Marco Platzner. “A Zynq-Based Dynamically Reconfigurable High Density Myoelectric
    Prosthesis Controller.” In <i>Design, Automation and Test in Europe (DATE)</i>,
    2017. <a href="https://doi.org/10.23919/DATE.2017.7927137">https://doi.org/10.23919/DATE.2017.7927137</a>.
  ieee: A. Boschmann, G. Thombansen, L. M. Witschen, A. Wiens, and M. Platzner, “A
    Zynq-based dynamically reconfigurable high density myoelectric prosthesis controller,”
    in <i>Design, Automation and Test in Europe (DATE)</i>, 2017.
  mla: Boschmann, Alexander, et al. “A Zynq-Based Dynamically Reconfigurable High
    Density Myoelectric Prosthesis Controller.” <i>Design, Automation and Test in
    Europe (DATE)</i>, 2017, doi:<a href="https://doi.org/10.23919/DATE.2017.7927137">10.23919/DATE.2017.7927137</a>.
  short: 'A. Boschmann, G. Thombansen, L.M. Witschen, A. Wiens, M. Platzner, in: Design,
    Automation and Test in Europe (DATE), 2017.'
date_created: 2019-07-10T11:02:56Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.23919/DATE.2017.7927137
language:
- iso: eng
publication: Design, Automation and Test in Europe (DATE)
status: public
title: A Zynq-based dynamically reconfigurable high density myoelectric prosthesis
  controller
type: conference
user_id: '3118'
year: '2017'
...
---
_id: '15873'
author:
- first_name: Alexander
  full_name: Boschmann, Alexander
  last_name: Boschmann
- first_name: Andreas
  full_name: Agne, Andreas
  last_name: Agne
- first_name: Linus Matthias
  full_name: Witschen, Linus Matthias
  id: '49051'
  last_name: Witschen
- first_name: Georg
  full_name: Thombansen, Georg
  last_name: Thombansen
- first_name: Florian
  full_name: Kraus, Florian
  last_name: Kraus
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Boschmann A, Agne A, Witschen LM, Thombansen G, Kraus F, Platzner M. FPGA-based
    acceleration of high density myoelectric signal processing. In: <i>2015 International
    Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>. IEEE; 2016. doi:<a
    href="https://doi.org/10.1109/reconfig.2015.7393312">10.1109/reconfig.2015.7393312</a>'
  apa: 'Boschmann, A., Agne, A., Witschen, L. M., Thombansen, G., Kraus, F., &#38;
    Platzner, M. (2016). FPGA-based acceleration of high density myoelectric signal
    processing. In <i>2015 International Conference on ReConFigurable Computing and
    FPGAs (ReConFig)</i>. Mexiko City, Mexiko: IEEE. <a href="https://doi.org/10.1109/reconfig.2015.7393312">https://doi.org/10.1109/reconfig.2015.7393312</a>'
  bibtex: '@inproceedings{Boschmann_Agne_Witschen_Thombansen_Kraus_Platzner_2016,
    title={FPGA-based acceleration of high density myoelectric signal processing},
    DOI={<a href="https://doi.org/10.1109/reconfig.2015.7393312">10.1109/reconfig.2015.7393312</a>},
    booktitle={2015 International Conference on ReConFigurable Computing and FPGAs
    (ReConFig)}, publisher={IEEE}, author={Boschmann, Alexander and Agne, Andreas
    and Witschen, Linus Matthias and Thombansen, Georg and Kraus, Florian and Platzner,
    Marco}, year={2016} }'
  chicago: Boschmann, Alexander, Andreas Agne, Linus Matthias Witschen, Georg Thombansen,
    Florian Kraus, and Marco Platzner. “FPGA-Based Acceleration of High Density Myoelectric
    Signal Processing.” In <i>2015 International Conference on ReConFigurable Computing
    and FPGAs (ReConFig)</i>. IEEE, 2016. <a href="https://doi.org/10.1109/reconfig.2015.7393312">https://doi.org/10.1109/reconfig.2015.7393312</a>.
  ieee: A. Boschmann, A. Agne, L. M. Witschen, G. Thombansen, F. Kraus, and M. Platzner,
    “FPGA-based acceleration of high density myoelectric signal processing,” in <i>2015
    International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>,
    Mexiko City, Mexiko, 2016.
  mla: Boschmann, Alexander, et al. “FPGA-Based Acceleration of High Density Myoelectric
    Signal Processing.” <i>2015 International Conference on ReConFigurable Computing
    and FPGAs (ReConFig)</i>, IEEE, 2016, doi:<a href="https://doi.org/10.1109/reconfig.2015.7393312">10.1109/reconfig.2015.7393312</a>.
  short: 'A. Boschmann, A. Agne, L.M. Witschen, G. Thombansen, F. Kraus, M. Platzner,
    in: 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig),
    IEEE, 2016.'
conference:
  location: Mexiko City, Mexiko
  name: 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig)
date_created: 2020-02-11T07:48:56Z
date_updated: 2022-01-06T06:52:38Z
department:
- _id: '78'
doi: 10.1109/reconfig.2015.7393312
keyword:
- Electromyography
- Feature extraction
- Delays
- Hardware  Pattern recognition
- Prosthetics
- High definition video
language:
- iso: eng
publication: 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig)
publication_identifier:
  isbn:
  - '9781467394062'
publication_status: published
publisher: IEEE
status: public
title: FPGA-based acceleration of high density myoelectric signal processing
type: conference
user_id: '49051'
year: '2016'
...
