RECORD
Rule-based High-level Hardware-RTL Synthesis of Algorithms, Virtualizing Machines, and Communication Protocols with FPGAs based on Concurrent Communicating Sequential Processes and the ConPro Synthesis Framework
Hardware Architecture · Submitted 6 Feb 2023
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim Communication and data processing with a broad range of hardware and low-level protocols can be unified and accessed uniquely by introducing virtualization layers implemented directly in hardware on chip.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
Virtualization is the abstraction of details. Algorithms and programming languages provide abstraction, too. Virtualization of hardware and embedded systems is becoming more and more important in heterogeneous environments and networks, e.g., distributed and material-integrated sensor networks. Communication and data processing with a broad range of hardware and low-level protocols can be unified and accessed uniquely by introducing virtualization layers implemented directly in hardware on chip. Hardware design is today still component-driven (like a circuit board), rather than transforming algorithms as an abstraction layer directly into hardware designs. Programs and protocols are algorithms, so do not handle them as devices like in traditional high-level synthesis design flows! Complex reactive systems with dominant and complex control paths play an increasing role in SoC-design. The major contribution to concurrency appears at the control path level. This article gives an in-depth introduction to SoC-design methodology using the Highest-Level Synthesis ConPro compiler framework and a process-oriented programming language that provides a programming model based on concurrently executing and communicating sequential processes (CCSP) with an extensive set of interprocess-communication primitives. Circuits are modelled and programmed on an algorithmic level, more convenient and natural than component-driven designs. Extended case studies of a smart communication protocol router and an advanced stack-based processor providing a programmatical virtualization layer are shown and evaluated. Both are used together as a smart node architecture deployed in high density sensor-actuator-networks, e.g., for material-integrated intelligent systems.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Virtualization is the abstraction of details. | background 1.00 | 0.03 | 0.02 | asserted 1.00 |
| s1 | Algorithms and programming languages provide abstraction, too. | background 1.00 | 0.05 | 0.02 | asserted 1.00 |
| s2 | Virtualization of hardware and embedded systems is becoming more and more important in heterogeneous environments and networks, e.g., distributed and material-integrated sensor networks. | background 1.00 | 0.07 | 0.05 | asserted 0.97 |
| s3 | Communication and data processing with a broad range of hardware and low-level protocols can be unified and accessed uniquely by introducing virtualization layers implemented directly in hardware on chip. | background 0.62 | 0.13 | 0.21 | asserted 0.88 |
| s4 | Hardware design is today still component-driven (like a circuit board), rather than transforming algorithms as an abstraction layer directly into hardware designs. | background 0.63 | 0.08 | 0.07 | asserted 1.00 |
| s5 | Programs and protocols are algorithms, so do not handle them as devices like in traditional high-level synthesis design flows! | gap 0.47 | 0.08 | 0.15 | asserted 0.99 |
| s6 | Complex reactive systems with dominant and complex control paths play an increasing role in SoC-design. | background 1.00 | 0.10 | 0.04 | asserted 0.99 |
| s7 | The major contribution to concurrency appears at the control path level. | background 0.81 | 0.25 | 0.10 | asserted 1.00 |
| s8 | This article gives an in-depth introduction to SoC-design methodology using the Highest-Level Synthesis ConPro compiler framework and a process-oriented programming language that provides a programming model based on concurrently executing and communicating sequential processes (CCSP) with an extensive set of interprocess-communication primitives. | contribution 0.88 | 0.57 | 0.13 | asserted 0.99 |
| s9 | Circuits are modelled and programmed on an algorithmic level, more convenient and natural than component-driven designs. | contribution 0.43 | 0.35 | 0.15 | asserted 1.00 |
| s10 | Extended case studies of a smart communication protocol router and an advanced stack-based processor providing a programmatical virtualization layer are shown and evaluated. | contribution 0.87 | 0.89 | 0.15 | asserted 1.00 |
| s11 | Both are used together as a smart node architecture deployed in high density sensor-actuator-networks, e.g., for material-integrated intelligent systems. | contribution 0.59 | 0.71 | 0.12 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
Virtualization is the abstraction of details. Algorithms and programming languages provide abstraction, too. Virtualization of hardware and embedded systems is becoming more and more important in heterogeneous environments and networks, e.g., distributed and material-integrated sensor networks. Communication and data processing with a broad range of hardware and low-level protocols can be unified and accessed uniquely by introducing virtualization layers implemented directly in hardware on chip. Hardware design is today still component-driven (like a circuit board), rather than transforming algorithms as an abstraction layer directly into hardware designs. Programs and protocols are algorithms, so do not handle them as devices like in traditional high-level synthesis design flows! Complex reactive systems with dominant and complex control paths play an increasing role in SoC-design. The major contribution to concurrency appears at the control path level. This article gives an in-depth introduction to SoC-design methodology using the Highest-Level Synthesis ConPro compiler framework and a process-oriented programming language that provides a programming model based on concurrently executing and communicating sequential processes (CCSP) with an extensive set of interprocess-communication primitives. Circuits are modelled and programmed on an algorithmic level, more convenient and natural than component-driven designs. Extended case studies of a smart communication protocol router and an advanced stack-based processor providing a programmatical virtualization layer are shown and evaluated. Both are used together as a smart node architecture deployed in high density sensor-actuator-networks, e.g., for material-integrated intelligent systems.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.