02786cam a2200289 a 4500 1/38128 140820s2008 ne 001 0 eng 9780123742872 0123742870 40760 OPELS eng OPELS OPELS OCLCQ OCLCF OCLCO GR-PeUP Processor description languages [electronic resource] : applications and methodologies / [edited by] Prabhat Mishra, Nikil Dutt. Amsterdam ; Boston : Morgan Kaufmann Publishers/Elsevier, c2008. 1 online resource (xxviii, 403 p.) : ill. The Morgan Kaufmann series in systems on silicon 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. 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. Includes bibliographical references and index. Embedded computer systems. Electronic books. Mishra, Prabhat, 1973- Dutt, Nikil. Morgan Kaufmann series in systems on silicon. INST UNIPILB EBOOKS 20100625 00b40760 00b40760 ONLINE 0 ScienceDirect http://www.sciencedirect.com/science/book/9780123742872 /webopac/covers/02/40760_9780123742872.jpg /webopac/covers/02/40760_0123742870.jpg