Processor Description Languages

Edited by

  • Prabhat Mishra, University of Florida, Gainesville
  • Nikil Dutt, Donald Bren School of Information and Computer Science, Irvine

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.
View full description

Audience

Designers of Microprocessors and Systems-on-Chip (SOC), Verification/Validation engineers at companies globally such as Microsoft, Honeywell, Intel, AMD, IBM, HP, NVIDIA, Analog Devices, Marvell, Texas Instruments, Samsung, Hitachi, Sony, Fujitsu, Toshiba, ST Microelectronics, NXP, Freescale, Infineon, NOKIA, Qualcom, etc. Graduate students/researchers in modeling and specification of programmable systems, including processors, coprocessors and memory architectures.

 

Book information

  • Published: May 2008
  • Imprint: MORGAN KAUFMANN
  • ISBN: 978-0-12-374287-2


Table of Contents

Introduction: Motivation, Software ADLs, Hardware ADLs; Classification ? content-based/activity based; Behavioral ADLs: nML; ISDL; Valen-C; CSDL; Structural ADLs: MIMOLA; UDL/I; Mixed ADLs: EXPRESSION; LISA; Flexware; TDL; HMDES; MADL; ADL-driven Methodlogies: Simulation; Synthesis; Validation/Verification; System ADLS: Case Studies using SpecC, SystemC and UML; Conclusion.