Processor description languages : applications and methodologies

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; Content: List of Contributors , Pages xvii-xxiv Preface , Pages xxv-xxvi , Prabhat Mishra, Nikil Dutt About the Editors , Pages xxvii-xxviii Chapter 1 - Introduction to Architecture Description Languages , Pages 1-12 , Prabhat Mishra, Nikil Dutt Chapter 2 - ADL-driven Methodologies for Design Automation of Embedded Processors , Pages 13-33 , Prabhat Mishra, Aviral Shrivastava Chapter 3 - Mimola—A Fully Synthesizable Language , Pages 35-63 , Peter Marwedel Chapter 4 - nML: A Structural Processor Modeling Language for Retargetable Compilation and ASIP Design , Pages 65-93 , Johan Van Praet, Dirk Lanneer, Werner Geurts, Gert Goossens Chapter 5 - LISA: A Uniform ADL for Embedded Processor Modeling, Implementation, and Software Toolsuite Generation , Pages 95-132 , Anupam Chattopadhyay, Heinrich Meyr, Rainer Leupers Chapter 6 - EXPRESSION: An ADL for Software Toolkit Generation, Exploration, and Validation of Programmable SOC Architectures , Pages 133-161 , Prabhat Mishra, Nikil Dutt Chapter 7 - ASIP Meister , Pages 163-182 , Yuki Kobayashi, Yoshinori Takeuchi, Masaharu Imai Chapter 8 - TIE: An ADL for Designing Application-specific Instruction Set Extensions , Pages 183-216 , Himanshu A. Sanghavi, Nupur B. Andrews Chapter 9 - MADL—An ADL Based on a Formal and Flexible Concurrency Model , Pages 217-245 , Wei Qin, Subramanian Rajagopalan, Sharad Malik Chapter 10 - ADL++: Object-Oriented Specification of Complicated Instruction Sets and Microarchitectures , Pages 247-273 , Soner Önder Chapter 11 - Processor Design with ArchC , Pages 275-294 , Guido Araujo, Sandro Rigo, Rodolfo Azevedo Chapter 12 - MAML: An ADL for Designing Single and Multiprocessor Architectures , Pages 295-327 , Alexey Kupriyanov, Frank Hannig, Dmitrij Kissler, Jürgen Teich Chapter 13 - GNR: A Formal Language for Specification, Compilation, and Synthesis of Custom Embedded Processors , Pages 329-367 , Bita Gorjiara, Mehrdad Reshadi, Daniel Gajski Chapter 14 - HMDES, ISDL, and Other Contemporary ADLs , Pages 369-394 , Nirmalya Bandyopadhyay, Kanad Basu, Prabhat Mishra Index , Pages 395-403 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