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 289
- Downloads 0
Evaluation of Road Traffic Accidents (RTAs) on Hyderabad Karachi M-9 Motorway Section
Pakistan is a developing country and its development depends upon its transports facilities. This paper describes the findings of a survey for the evaluation of road traffic accidents (RTAs) that focused on the Hyderabad...
A Novel Three Dimension Autonomous Chaotic System with a Quadratic Exponential Nonlinear Term
A novel three dimension autonomous (3D) chaotic system with a quadratic exponential nonlinear term and a quadratic cross-product term is described in this paper. The basic dynamical properties of the new attractor are st...
Designing a Model for Knowledge Socialization Using Sociability Processes of Human Resource Management: A Case Study
This study develops a model for knowledge socialization using sociability processes of human resources through an applied research approach. Two types of participants participated in this study. The first type included a...
Ductility Evaluation of Steel Structures with Reduced Beam Sections and Post-Tensioned Cables Using the Finite Element Method
Given the importance of structure strengthening, this research introduces a particular type of steel structure in which the reduced beam section and post-tensioned cables were used for creating centralized property and p...
New Modeling and Simulation Platform for Communications Systems:(I) Double Sideband Suppressed Carrier AM Modulator DSB-SC
The main goal of this paper is to introduce a new platform for the implementation and simulation of communication systems. SCILAB/SCICOS is an open source software for conducting communication system related experiments,...