Processor Description Languages

Front Cover
Prabhat Mishra, Nikil Dutt
Elsevier, Jul 28, 2011 - Computers - 432 pages
Efficient design of embedded processors plays a critical role in embedded systems design. Processor description languages and their associated specification, exploration and rapid prototyping methodologies are used to find the best possible design for a given set of applications under various design constraints, such as area, power and performance.

This book is the first, comprehensive survey of modern architecture description languages and will be an invaluable reference for embedded system architects, designers, developers, and validation engineers. Readers will see that the use of particular architecture description languages will lead to productivity gains in designing particular (application-specific) types of embedded processors.

* Comprehensive coverage of all modern architecture description languages... use the right ADL to design your processor to fit your application;
* Most up-to-date information available about each architecture description language from the developers...save time chasing down reliable documentation;
* Describes how each architecture desccription language enables key design automation tasks, such as simulation, synthesis and testing...fit the ADL to your design cycle;
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter 1 Introduction to Architecture Description Languages
1
Chapter 2 ADLdriven Methodologies for Design Automation of Embedded Processors
13
Chapter 3 MIMOLAA Fully Synthesizable Language
35
A Structural Processor Modeling Language for Retargetable Compilation and ASIP Design
65
A Uniform ADL for Embedded Processor Modeling Implementation and Software Toolsuite Generation
95
An ADL for Software Toolkit Generation Exploration and Validation of Programmable SOC Architectures
133
Chapter 7 ASIP Meister
163
An ADL for Designing Applicationspecific Instruction Set Extensions
183
Chapter 9 MADLAn ADL Based on a Formal and Flexible Concurrency Model
217
ObjectOriented Specification of Complicated Instruction Sets and Microarchitectures
247
Chapter 11 Processor Design with ArchC
275
An ADL for Designing Single and Multiprocessor Architectures
295
A Formal Language for Specification Compilation and Synthesis of Custom Embedded Processors
329
Chapter 14 HMDES ISDL and Other Contemporary ADLs
369
Index
395
Copyright

Other editions - View all

Common terms and phrases

About the author (2011)

Ajay Ranjan Mishra received his M. Tech in Microwave Electronics from University of Delhi in 1997. Since then, he has been working with Nokia Networks. He has been involved not only in the research and development of network designing and optimization for all three generations of the networks, but also in the deployment of these networks globally. His current interests are issues related to the design and performance of third, fourth and mixed cellular networks. He has several publications to his credit, including most recently "Fundamentals of Network Planning and Optimization for Wireless Communications: 2G, 3G and systems beyond" by Wiley (2003).

Bibliographic information