scispace - formally typeset
Journal ArticleDOI

Force-directed scheduling for the behavioral synthesis of ASICs

Reads0
Chats0
TLDR
A general scheduling methodology is presented that can be integrated into specialized or general-purpose high-level synthesis systems and reduces the number of functional units, storage units, and buses required by balancing the concurrency of operations assigned to them.
Abstract
A general scheduling methodology is presented that can be integrated into specialized or general-purpose high-level synthesis systems. An initial version of the force-directed scheduling algorithm at the heart of this methodology was originally presented by the authors in 1987. The latest implementation of the logarithm introduced here reduces the number of functional units, storage units, and buses required by balancing the concurrency of operations assigned to them. The algorithm supports a comprehensive set of constraint types and scheduling modes. These include multicycle and chained operations; mutually exclusive operations; scheduling under fixed global timing constraints with minimization of functional unit costs, minimization of register costs, and minimization of global interconnect requirements; scheduling with local time constraints (on operation pairs); scheduling under fixed hardware resource constraints; functional pipelining; and structural pipeline (use of pipeline functional units). Examples from current literature, one of which was chosen as a benchmark for the 1988 High-Level Synthesis Workshop, are used to illustrate the effectiveness of the approach. >

read more

Citations
More filters
Journal ArticleDOI

High-Level Synthesis for FPGAs: From Prototyping to Deployment

TL;DR: AutoESL's AutoPilot HLS tool coupled with domain-specific system-level implementation platforms developed by Xilinx are used as an example to demonstrate the effectiveness of state-of-art C-to-FPGA synthesis solutions targeting multiple application domains.
Journal ArticleDOI

A formal approach to the scheduling problem in high level synthesis

TL;DR: An integer linear programming (ILP) model for the scheduling problem in high-level synthesis is presented and a scheduling problem called feasible scheduling, which provides a paradigm for exploring the solution space, is constructed.
BookDOI

Correct Hardware Design and Verification Methods

TL;DR: Theorem Proving Related Approaches Formal Synthesis at the Algorithmic Level and a Method of Comparison between Specification and Implementation are presented.
Book

High-Level Synthesis: from Algorithm to Digital Circuit

TL;DR: This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia, and should be on each designers and CAD developers shelf.

Algorithms for the Satisfiability (SAT) Problem: A Survey,

TL;DR: This survey presents a general framework (an algorithm space) that integrates existing SAT algorithms into a unified perspective and describes sequential and parallel SAT algorithms including variable splitting, resolution, local search, global optimization, mathematical programming, and practical SAT algorithms.
References
More filters
Journal ArticleDOI

Trace Scheduling: A Technique for Global Microcode Compaction

TL;DR: Compilation of high-level microcode languages into efficient horizontal microcode and good hand coding probably both require effective global compaction techniques.
Journal ArticleDOI

Automated Synthesis of Data Paths in Digital Systems

TL;DR: This paper presents a unifying procedure, called Facet, for the automated synthesis of data paths at the register-transfer level that minimizes the number of storage elements, data operators, and interconnection units.
Proceedings ArticleDOI

Tutorial on high-level synthesis

TL;DR: This tutorial examines the high-level synthesis task, showing how it can be decomposed into a number of distinct but not independent subtasks, and presents the techniques that have been developed for solving those subtasks.
Proceedings ArticleDOI

MAHA: A Program for Datapath Synthesis

TL;DR: MAHA is a program which implements an algorithm for register level synthesis of data paths from a data flow specification based on a linear hardware assignment to critical path nodes, followed by a cost-based assignment using the concept of the freedom of a node to be scheduled.
Related Papers (5)