High-level Synthesis Integrated Verification
Journal Title: Engineering, Technology & Applied Science Research - Year 2015, Vol 5, Issue 5
Abstract
It is widely known in the engineering community that more than 60% of the IC design project time is spent on verification. For the very complex contemporary chips, this may prove prohibitive for the IC to arrive at the correct time in the market and therefore, valuable sales share may be lost by the developing industry. This problem is deteriorated by the fact that most of conventional verification flows are highly repetitive and a great proportion of the project time is spent on last-moment simulations. In this paper we present an integrated approach to rapid, high-level verification, exploiting the advantages of a formal High-level Synthesis tool, developed by the author. Verification in this work is supported at 3 levels: high-level program code, RTL simulation and rapid, generated C testbench execution. This paper is supported by strong experimental work with 3-4 popular design synthesis and verification that proves the principles of our methodology.
Authors and Affiliations
M. Dossis
Keywords
Related Articles
- EP ID EP109121
- DOI -
- Views 281
- Downloads 0
Recognition of Generalized Patterns by a Differential Polynomial Neural Network
A lot of problems involve unknown data relations, identification of which can serve as a generalization of their qualities. Relative values of variables are applied in this case, and not the absolute values, which can be...
Application of using Hybrid Renewable Energy in Saudi Arabia
One of the major world wide concerns of the utilities is to reduce the emissions from traditional power plants by using renewable energy and to reduce the high cost of supplying electricity to remote areas. Hybrid power...
A Numerical Approach for the Determination of Mode I Stress Intensity Factors in PMMA Materials
An evaluation technique of the KI stress intensity factors (SIF) by a numerical investigation using line strain method is presented in this paper. The main purpose of this research is to re-analyze experimental results o...
Effects of Uncrushed Aggregate on the Mechanical Properties of No-Fines Concrete
Concrete’s self-weight is a major aspect of a structure’s overall weight. Recently, the use of lightweight concrete (no-fines, foamed and cellular concrete) has been increased. Normally no-fines concrete is produced with...
Numerical Analysis of SHB Effects in Laterally-Coupled Distributed Feedback (LC-DFB) Lasers
In this paper the stability of Laterally-Coupled Distributed Feedback (LC-DFB) Lasers against the Spatial Hole Burning (SHB) effect is analyzed theoretically. The stability of the laser structure is evaluated using the f...