Processor Description Languages ( Volume 1 )

Publication series :Volume 1

Author: Mishra   Prabhat;Dutt   Nikil  

Publisher: Elsevier Science‎

Publication year: 2011

E-ISBN: 9780080558370

P-ISBN(Paperback): 9780123742872

P-ISBN(Hardback):  9780123742872

Subject: TP368.1 Microprocessor

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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;

Chapter

Front Cover

pp.:  1 – 4

Copyright Page

pp.:  5 – 8

Table of Contents

pp.:  8 – 18

List of Contributors

pp.:  18 – 26

Preface

pp.:  26 – 28

About the Editors

pp.:  28 – 30

Chapter 1. Introduction to Architecture Description Languages

pp.:  30 – 42

Chapter 2. ADL-driven Methodologies for Design Automation of Embedded Processors

pp.:  42 – 64

Chapter 3. MIMOLA—A Fully Synthesizable Language

pp.:  64 – 94

Chapter 4. nML: A Structural Processor Modeling Language for Retargetable Compilation and ASIP Design

pp.:  94 – 124

Chapter 5. LISA: A Uniform ADL for Embedded Processor Modeling, Implementation, and Software Toolsuite Generation

pp.:  124 – 162

Chapter 6. Expression: An ADL for Software Toolkit Generation, Exploration, and Validation of Programmable SOC Architectures

pp.:  162 – 192

Chapter 7. ASIP Meister

pp.:  192 – 212

Chapter 8. TIE: An ADL for Designing Application-specific Instruction Set Extensions

pp.:  212 – 246

Chapter 9. MADL—An ADL Based on a Formal and Flexible Concurrency Model

pp.:  246 – 276

Chapter 10. ADL++: Object-Oriented Specification of Complicated Instruction Sets and Microarchitectures

pp.:  276 – 304

Chapter 11. Processor Design with ArchC

pp.:  304 – 324

Chapter 12. MAML: An ADL for Designing Single and Multiprocessor Architectures

pp.:  324 – 358

Chapter 13. GNR: A Formal Language for Specification, Compilation, and Synthesis of Custom Embedded Processors

pp.:  358 – 398

Chapter 14. HMDES, ISDL, and Other Contemporary ADLs

pp.:  398 – 424

Index

pp.:  424 – 434

The users who browse this book also browse


No browse record.