NDLI: Formulation and evaluation of scheduling techniques for control flow graphs

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

Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition

Proceedings of EURO-DAC. European Design Automation Conference

Proceedings of EURO-DAC. European Design Automation Conference

Device selection for system partitioning

A formal approach for the optimization of heterogeneous multiprocessors for complex image processing schemes

KANDIS-a tool for construction of mixed analog/digital systems

Information model of a compound graph representation for system and architecture level design

A core information model of VHDL

Practical inter-operation of CAD tools using a flexible procedural interface

An approach for classification of integrated circuits by a knowledge conserving library concept

Timing optimization by bit-level arithmetic transformations

Exploiting power-up delay for sequential optimization

Tree restructuring approach to mapping problem in cellular-architecture FPGAs

Performance-oriented placement and routing for field-programmable gate arrays

Layout synthesis for datapath designs

An investigation of iterative routing algorithms

On generating compact test sequences for synchronous sequential circuits

Partial scan selection for user-specified fault coverage

Testable synthesis of high complex control devices

A memory selection algorithm for high-performance pipelines

Area efficient DSP datapath synthesis

Metric-based transformations for self testable VLSI designs with high test concurrency

On implementation choices for iterative improvement partitioning algorithms

Multiway netlist partitioning onto FPGA-based board architectures

Timing influenced force directed floorplanning

Scalable performance scheduling for hardware-software cosynthesis

Cosimulation of real-time control systems

A hardware/software partitioning algorithm for pipelined instruction set processor

A unified approach to the extraction of realistic multiple bridging and break faults

Fault modeling of differential ECL

Quality considerations in delay fault testing

Delay modelling improvement for low voltage applications

Functional-level analog macromodeling with piecewise linear signals [analog amplifier]

FOGBUSTER: an efficient algorithm for sequential test generation

An adaptive distributed algorithm for sequential circuit test generation

Search space reduction through clustering in test generation

A formal non-heuristic ATPG approach

Debugging of behavioral VHDL specifications by source level emulation

Integration of VHDL into a system design environment

An improved relaxation approach for mixed system analysis with several simulation tools

Optimal synthesis of differential cascode voltage switch (DCVS) logic circuits using ordered binary decision diagrams (OBDDs)

Computing subsets of equivalence classes for large FSMs

Predicting the functional complexity of combinational circuits by symbolic spectral analysis of Boolean functions

Model of conceptual design of complex electronic systems

Cooperative concurrency control for design environments

Reduced design time by load distribution with CAD framework methodology information

System modeling, hardware-software codesign, and mixed modeling with hardware description languages

Closeness metrics for system-level functional partitioning

Hardware-software co-synthesis of fault-tolerant real-time distributed embedded systems

Performance-complexity analysis in hardware-software codesign for real-time systems

Mesh current method for computing the current distribution in planar conductor surfaces and possible applications in circuit simulation

Prediction of radiated electromagnetic emissions from PCB traces based on Green dyadics

Software system for semiconductor devices, monolith and hybrid IC's thermal analysis

An approach to guided incremental specification

Semi-dynamic scheduling of synchronization-mechanisms

A design system for special purpose processors based on architectures for distributed processing

Formulation and evaluation of scheduling techniques for control flow graphs

A high performance VHDL simulator for large systems design

Use of embedded scheduling to compile VHDL for effective parallel simulation

Latest benchmark results of VHDL simulation systems

Towards verifying VHDL descriptions of processors

A native process algebra for VHDL

Inheritance concept for signals in object-oriented extensions to VHDL

Object-oriented high-level modeling of system components for the generation of VHDL code

High-level synthesis and codesign methods: An application to a Videophone Codec

Timing constraint specification and synthesis in behavioral VHDL

VHDL-based communication- and synchronization synthesis

A reuse scenario for the VHDL-based hardware design flow

VHDL based design methodology for hierarchy and component re-use

Quantifying design productivity: an effort distribution analysis

VHDL quality: synthesizability, complexity and efficiency evaluation

Design and use of a system-level specification and verification methodology

Design management requirements for hardware description languages

An effective system development environment based on VHDL prototyping

Procedure exlining: a new system-level specification transformation

LibQA - library quality assurance for VHDL synthesis and simulation

Generating VHDL-A-like models using ABSynth

VHDL package for description of fuzzy logic controllers

A classification of design steps and their verification

Verification of a production cell using an automatic verification environment for VHDL

Verification of a production cell controller using symbolic timing diagrams

How to efficiently build VHDL testbenches

A DSP ASIC design flow based on VHDL and ASIC-emulation

System level design, a VHDL based approach

A uniform design methodology for application specific digital integrated circuits in automotive applications

Setting up a retrieval system for design reuse - experiences and acceptance

The VHDL based design of the MIDA MPEG1 audio decoder

Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics

Issues in low-power design for telecom

Creating hierarchy in HDL-based high density FGPA design

Index of authors

Generating several solutions for the scheduling problem in high-level synthesis

Post routing performance optimization via tapered link insertion and wiresizing

Bottleneck removal algorithm for dynamic compaction and test cycles reduction

Path delay ATPG for standard scan design

Path sensitization of combinational circuits and its impact on clocking of sequential systems

A backplane approach for cosimulation in high-level system specification environments

ODE: output direct state machine encoding

Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference

Proceedings EURO-DAC '92: European Design Automation Conference

Proceedings of the European Design Automation Conference, 1990., EDAC.

Formulation and evaluation of scheduling techniques for control flow graphs

Content Provider	IEEE Xplore Digital Library
Author	Rahmouni, M. Jerraya, A.A.
Copyright Year	1995
Description	Author affiliation: Lab. TIMA/INPG, Grenoble, France (Rahmouni, M.; Jerraya, A.A.)
Abstract	This paper presents a theoretical basis for scheduling approaches based on purely control-flow graphs. This formulation includes a control flow graph model based on a finite discrete-time homogeneous Markov chain suitable to represent complex control structures. A probabilistic finite state machine is introduced to model the resulting schedule and evalute the effectiveness of the scheduling approaches for control flow graphs. The need of such models is imposed by the nature of real time systems in which the control sequence depends on external conditions.
Starting Page	386
Ending Page	391
File Size	541924
Page Count	6
File Format	PDF
ISBN	0818671564
DOI	10.1109/EURDAC.1995.527434
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1995-09-18
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Flow graphs Scheduling algorithm High level synthesis Processor scheduling Petroleum Automata Real time systems Control systems Delay Cost function
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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