scholarly journals Are HLS Tools Healthy? The C-Cubed Project

2015 ◽  
Vol 5 (2) ◽  
pp. 790-794
Author(s):  
M. Dossis ◽  
G. Dimitriou
Keyword(s):  
Integrated Circuits ◽  
Systems Engineering ◽  
Critical Role ◽  
Formal System ◽  
Electronic System ◽  
System Level ◽  
High Level Synthesis ◽  
Practical Reasons ◽  
Engineering Practice ◽  
High Level

The increasing complexity of Application Specific Integrated Circuits (ASICs) and Systems-on-Chip (SoCs) that incorporate custom and standard embedded core IP blocks dictates the need for a new generation of automated and formal system EDA tools and methodologies. High-Level Synthesis (HLS) plays a critical role in the required Electronic System Level (ESL) methodologies. However, most of the available academic and commercial High-Level Synthesis (HLS) tools still do not play an established role in the system and hardware engineering teams. This is true for a number of practical reasons, analyzed and discussed in this work. The present article is a practical perspective of the required fully automated and formal tools, which are needed to constitute integral parts in Electronic Design Automation (EDA) flows. In addition, this article is a useful guide to the system engineer who wants to familiarize with HLS tools and to select the appropriate tool for the everyday engineering practice. The advanced HLS toolset that is analyzed in this paper is developed by the first author, its C-frontend by the second author, and they are both based on formal methods and fully automated techniques, thus they guarantee the correctness of the synthesized hardware implementations. This paper completes with a number of experiments that were executed using the author’s methodology and they are used to evaluate the specific HLS tools. Consequently, a number of conclusions are drawn as well as suggestions for the future directions of HLS technology. In this way, what is practically needed by the hardware systems engineering community is outlined at the end of the paper.

scholarly journals Aircraft Requirements for Sustainable Regional Aviation

Aerospace ◽  
2021 ◽  
Vol 8 (3) ◽  
pp. 61
Author(s):  
Dominik Eisenhut ◽  
Nicolas Moebs ◽  
Evert Windels ◽  
Dominique Bergmann ◽  
Ingmar Geiß ◽  
...  
Keyword(s):  
Systems Engineering ◽  
System Level ◽  
Policy Initiative ◽  
The European Union ◽  
Calculation Methods ◽  
Figures Of Merit ◽  
Performance Requirements ◽  
High Level ◽  
Different Levels ◽  
The Eu

Recently, the new Green Deal policy initiative was presented by the European Union. The EU aims to achieve a sustainable future and be the first climate-neutral continent by 2050. It targets all of the continent’s industries, meaning aviation must contribute to these changes as well. By employing a systems engineering approach, this high-level task can be split into different levels to get from the vision to the relevant system or product itself. Part of this iterative process involves the aircraft requirements, which make the goals more achievable on the system level and allow validation of whether the designed systems fulfill these requirements. Within this work, the top-level aircraft requirements (TLARs) for a hybrid-electric regional aircraft for up to 50 passengers are presented. Apart from performance requirements, other requirements, like environmental ones, are also included. To check whether these requirements are fulfilled, different reference missions were defined which challenge various extremes within the requirements. Furthermore, figures of merit are established, providing a way of validating and comparing different aircraft designs. The modular structure of these aircraft designs ensures the possibility of evaluating different architectures and adapting these figures if necessary. Moreover, different criteria can be accounted for, or their calculation methods or weighting can be changed.

scholarly journals Automatic synthesis of 2D‐n‐scrolls chaotic systems by behavioral modeling

2009 ◽  
Vol 7 (01) ◽  
Author(s):  
J. M. Muñoz-Pacheco ◽  
E. Tlelo-Cuautle
Keyword(s):  
Chaotic Systems ◽  
Piecewise Linear ◽  
Electronic System ◽  
System Level ◽  
Operational Amplifiers ◽  
Piecewise Linear Approximation ◽  
Chaotic Oscillator ◽  
State Variables ◽  
Breaking Points ◽  
High Level

This paper introduces the guidelines to synthesize 2D chaotic systems by means of high‐level descriptions. The aim of this investigation is to synthesize 2D‐n‐scrolls chaotic systems based on saturated functions with multisegments. The new methodology of circuit synthesis is performed by three hierarchical levels. First, the 2D chaotic oscillator is numerically simulated at the electronic system level by applying state variables and piecewise‐linear approximation. Second, the excursion levels of the chaotic signals are scaled to control the breaking points and slopes of the saturated functions within practical values. Additionally, the frequency scaling of 2D‐n‐scrolls chaotic attractors is performed. Finally, current and voltage saturated functions are synthesized using Verilog‐A models for the operational amplifiers and in this manner a 2D chaotic system is synthesized using operational amplifiers to generate 2D‐n‐scrolls attractors. Numerical results are confirmed by H‐SPICE simulations to show the usefulness of the proposed synthesis approach.

Sign in / Sign up

Export Citation Format

Share Document