Performance Aspects of Correctness-oriented Synthesis Flows

Fritjof Bornebusch, Christoph Lüth, Christoph Lüth, Robert Wille, Robert Wille, Robert Wille, Rolf Drechsler, Rolf Drechsler

2021

Abstract

When designing electronic circuits, available synthesis flows either focus on accelerating the synthesized circuit or correctness. In the quest for ever-faster hardware designs, the correctness of these designs is often neglected. Thus, designers need to trade-off between correctness and performance. The question is how large the trade-off is? This work presents a systematic comparison of two representative synthesis flows, the LegUp HLS framework as a representative for flows focusing on hardware acceleration, and a flow based on the proof assistant Coq focusing on correctness. For evaluation purposes, a 32-bit MIPS processor synthesized using the two flows, and the final HDL implementations are compared regarding their performance. Our evaluation allows a quantitative analysis of the trade-off, showing that correctness-oriented synthesis flows are competitive concerning performance.

Paper Citation

in Harvard Style

Bornebusch F., Lüth C., Wille R. and Drechsler R. (2021). Performance Aspects of Correctness-oriented Synthesis Flows.In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-487-9, pages 76-86. DOI: 10.5220/0010235100760086

in Bibtex Style

@conference{modelsward21,
author={Fritjof Bornebusch and Christoph Lüth and Robert Wille and Rolf Drechsler},
title={Performance Aspects of Correctness-oriented Synthesis Flows},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={76-86},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010235100760086},
isbn={978-989-758-487-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Performance Aspects of Correctness-oriented Synthesis Flows
SN - 978-989-758-487-9
AU - Bornebusch F.
AU - Lüth C.
AU - Wille R.
AU - Drechsler R.
PY - 2021
SP - 76
EP - 86
DO - 10.5220/0010235100760086