The Springer International Engineering and Computer Science

By: David C. Ku, Giovanni DeMicheli

Write A Review

Hardcover | 31 May 1992

At a Glance

Hardcover
312 Pages

Dimensions(cm)
24.77 x 16.51 x 2.54

Hardcover

$249.75

or 4 interest-free payments of $62.44 with

Ships in 5 to 7 business days

Computer-aided synthesis of digital circuits from behavioral level specifications offers an effective means to deal with increasing complexity of digital hardware design. High Level Synthesis of ASICs Under Timing and Synchronization Constraints addresses both theoretical and practical aspects in the design of a high-level synthesis system that transforms a behavioral level description of hardware to a synchronous logic-level implementation consisting of logic gates and registers.
High Level Synthesis of ASICs Under Timing and Synchronization Constraints addresses specific issues in applying high-level synthesis techniques to the design of ASICs. This complements previous results achieved in synthesis of general-purpose and signal processors, where data-path design is of utmost importance. In contrast, ASIC designs are often characterized by complex control schemes, to support communication and synchronization with the environment. The combined design of efficient data-path control-unit is the major contribution of this book.
Three requirements are important in modeling ASIC designs: concurrency, external synchronization, and detailed timing constraints. The objective of the research work presented here is to develop a hardware model incorporating these requirements as well as synthesis algorithms that operate on this hardware model.
The contributions of this book address both the theory and the implementation of algorithm for hardware synthesis.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Graphical & Digital Media Applications Computer-Aided Design CAD Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Energy Technology & Engineering Electrical Engineering

Introduction	p. 1
Overview of High-level Synthesis	p. 2
Motivation and Issues in High-level Synthesis	p. 3
Research Objectives	p. 6
Summary of Related Work	p. 13
Assumptions and Limitations	p. 16
Outline of the Book	p. 16
System Overview	p. 19
Modeling Hardware Behavior	p. 19
Overview of the Synthesis Flow	p. 42
Behavioral Transformations	p. 47
Behavioral Intermediate Form	p. 48
User-driven Behavioral Transformations	p. 49
Automatic Behavioral Transformations	p. 51
Summary of Behavioral Transformations	p. 60
Sequencing Graph and Resource Model	p. 61
Basic Definitions	p. 62
Timing Constraints	p. 69
Hardware Resources	p. 75
Summary of Sequencing Graph Model	p. 80
Design Space Exploration	p. 83
Design Space Formulation	p. 85
Concurrency Factor	p. 93
Design Space Exploration Strategy	p. 102
Summary of Design Space Exploration	p. 110
Relative Scheduling	p. 113
Introduction to Scheduling	p. 117
Relative Scheduling Formulation	p. 118
Algorithms for Relative Scheduling	p. 141
Analysis of Algorithms	p. 156
Summary of Relative Scheduling	p. 161
Resource Conflict Resolution	p. 163
Conflict Resolution Formulation	p. 164
Constraint Topology	p. 166
Algorithms for Conflict Resolution	p. 174
Summary of Conflict Resolution	p. 181
Relative Control Generation	p. 183
Adaptive Control Approach	p. 187
Relative Control Approach	p. 204
Summary of Control Generation	p. 212
Relative Control Optimization	p. 213
Control Optimization Criterion	p. 214
Redundancy in Synchronization	p. 217
Control Optimization Approach	p. 223
Analysis of Control Resynchronization	p. 234
Summary of Control Resynchronization	p. 235
System Implementation	p. 237
Overview of Hercules	p. 239
Overview of Hebe	p. 243
Summary of System Implementation	p. 252
Experimental Results	p. 253
Design Experiences	p. 254
Synthesis of Benchmark Examples	p. 270
Summary of Experimental Results	p. 273
Conclusions and Future Work	p. 275
Future Work	p. 277
References	p. 281
Index	p. 291
Table of Contents provided by Blackwell. All Rights Reserved.

The Springer International Engineering and Computer Science

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer-Aided Design CAD

3D Printing For Dummies

For Dummies (Computer/Tech)

Getting Started with 3D Printing

2nd Edition

Data-driven BIM for Energy Efficient Building Design

1st Edition

AutoCAD & AutoCAD LT All-in-One For Dummies

Emerging Trends in Sustainable Energy, Smart Systems, and Green Technology

Generation of Surfaces

Kinematic Geometry of Surface Machining

Natural Language Processing for Business and Organizations

Research and Innovation

AutoCAD 2007 For Dummies

For Dummies

Advancements in Machining Processes Through Hybrid and Sequential Approaches

Cybersecurity of Discrete Event Systems

From Smart Attacks to Resilient Defence

Designing Exoskeletons

Fusion and Integration of Clouds, Edges, and Devices

IoT and Machine Learning for Smart Applications

User Interface and User Experience

Foundational Principles for Interactive Design

History That Breathes

From Sulva Sutras and Pythagorean Formula to Human Flourishing with Artificial Intelligence

CAD in Landscape Architecture

Human-Computer Interaction

The Basics

Human-Computer Interaction

The Basics

Make: The Complete Guide to Tinkercad

17 Projects to Start Designing and Printing in the 3D World

Discussing Design

Improving Communication and Collaboration Through Critique

Fusion 360 for Makers, 2e

Design Your Own Digital Models for 3D Printing and CNC Fabrication

Proceedings of the 16th International Conference on Axiomatic Design (ICAD) 2025

Axiomatic Design in Sustainability Transitions: Designing for the Economy, Society and the Environment

Emerging Technologies in Manufacturing and Materials Engineering

Springer Tracts in Mechanical Engineering

Robotics for Architectural Restoration

This product is categorised by