NDLI: A Floating-Point Paradigm for High-level Synthesis

Please wait, while we are loading the content...

Higher Order Finite Difference Scheme for solving 3D Black-Scholes equation based on Generic Factored Approximate Sparse Inverse Preconditioning using Reordering Schemes

FPGA Implementations for Volterra DFEs

Securing Legacy Code with the TRACER Platform

Timing Error Tolerance in Pipeline Based Core Designs

A Mobile Shopping Assistant to Support Product Domesticity in Consumer Decisions

A holistic approach for quality assurance and advanced decision making for academic institutions using the balanced scorecard technique

Course opinion mining methodology for knowledge discovery, based on web social media

Photonic Technologies for Next Generation Home and Office Networks

Adapting an Animation TV Special to Games in a Games Design University Course

A cloud-based architecture to crowdsource mobile app privacy leaks

Integrating library and cultural heritage data models: the BIBFRAME - EDM case

A Proposed Methodology for E-Business Intelligence Measurement Using Data Mining Techniques

A Study of Multiple Social Media Use in the European Parliament from an Innovation Perspective

Designing and developing a free Data Loss Prevention system

Hybrid Parallelization of Standard Full Tableau Simplex Method with MPI and OpenMP

Adaptive Optical Technologies for Optical Transmission Systems

Developing Public Transport Network systems: The DIANA approach

Designing optimized forward residue number systems IP blocks converters from a network interface

Wireless Personnel Safety System (WPSS), a Baseline towards Advance System Architecture

A Preliminary Investigation into the Automatic EuroVoc Indexing of Greek Documents

Strengthening Training to Employment Pathways through competence-based IT services

Slow Light in Photonic Crystal Waveguides as a Key Enabler for Future Optical Network Technologies

Digital Gaming for Co-Creativity in Learning: Theory-Framed Co-Design with School Communities

Directions for Raising Privacy Awareness in SNS Platforms

Intelligent Clouds: A Middleware Architecture Supporting Business Elasticity

Rating Systems Vs Machine Learning on the context of sports

Predicting Tie Strength with the Facebook API

Real-time information about public transport's position using crowdsourcing

Evaluating modern parallelization techniques on block matching algorithms

The OpenScienceLink architecture for novel services exploiting open access data in the biomedical domain

Stealth Assessment of Hardware Trojans in simple Processors

A Marketing Tool Based on Games for Smart Devices

A Surveillance System for Preventing Suicide Attempts in Urban Metro Stations

Evaluating Low Interaction Honeypots and On their Use against Advanced Persistent Threats

Towards digital materiality: Imbrication of Services and the re-configuration of agencies

Bypassing Antivirus Detection with Encryption

An adaptive score model for a policy-making education game

Clustering Documents using the 3-Gram Graph Representation Model

Design, Implementation and Verification of a Customizing IP Soft Core With FPU Support

Students' Experiences from the use of MIT App Inventor in classroom

Investigating the impact of supply chain management practices on delivery dependability

Achieving Autonomicity in IoT systems via Situational-Aware, Cognitive and Social Things

Automated Generation of the Register Set of a SOC and its Verification Environment

A-Class: a novel classification method

Toward Improving Classification of Real World Biomedical Articles

Implementation of a Low Leakage Standard Cell Library based on materials from UMC 65nm technology

Comparison of E-Gif Ontology for Greek Public Sector with W3C Core Vocabularies

A Floating-Point Paradigm for High-level Synthesis

Content Provider	ACM Digital Library
Author	Dossis, Michael F.
Abstract	The current difficulty to deliver complex digital integrated circuits (ICs) on time in the market has created the need for formal, fully automated and rapid methods for designing and developing such products. These methods exploit approaches such as compiler technology, High-level Synthesis (HLS) and Electronic System Level (ESL) flows to handle such complexity. Designing custom VLSI hardware units motivate for developing large arithmetic blocks such as floating-point units, using HLS tools. Here, the formal and automated CCC high-level synthesis tools are used in the floating-point paradigm. The CCC tools generate provably-correct floating-point blocks due to the formality of the method, in order to avoid time-consuming RTL and gate-level simulations. The floating-point operations are coded in the ADA programming language and competitive hardware performance is delivered from the rapid CCC compiler experiment, therefore the presented approach is proven useable.
Starting Page	1
Ending Page	6
Page Count	6
File Format	PDF
ISBN	9781450328975
DOI	10.1145/2645791.2645836
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-10-02
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Formal synthesis methods High-level synthesis (hls) Logic programming High-level formal verification Floating-point hardware arithmetic Electronic design automation (eda) Rapid prototyping Electronic system level (esl) Compilers Fsm and data-path design
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Are HLS Tools Healthy? The C-Cubed Project

Modeling and simulation in a formal design framework

Are HLS Tools Healthy? The C-Cubed Project

A Formal Method for Optimal High-Level Casting of Heterogeneous Fixed-Point Adders and Subtractors

A new design paradigm for floating point DSP applications based on ESL/HLS and FPGAs?

Rapid prototyping of digital controllers using FPGAs and ESL/HLS design methodologies

An industrial view of electronic design automation (2000)

Automatic implementation of arithmetic functions in high-level synthesis

RTL-datapath verification using integer linear programming

A Floating-Point Paradigm for High-level Synthesis

Similar Documents

Are HLS Tools Healthy? The C-Cubed Project

Modeling and simulation in a formal design framework

Are HLS Tools Healthy? The C-Cubed Project

A Formal Method for Optimal High-Level Casting of Heterogeneous Fixed-Point Adders and Subtractors

A new design paradigm for floating point DSP applications based on ESL/HLS and FPGAs?

Rapid prototyping of digital controllers using FPGAs and ESL/HLS design methodologies

An industrial view of electronic design automation (2000)

Automatic implementation of arithmetic functions in high-level synthesis

RTL-datapath verification using integer linear programming

A Floating-Point Paradigm for High-level Synthesis