ESL Design and Verification: A Prescription for Electronic System Level MethodologyElsevier, 2010. gada 27. jūl. - 488 lappuses Visit the authors' companion site! http://www.electronicsystemlevel.com/ - Includes interactive forum with the authors!Electronic System Level (ESL) design has mainstreamed – it is now an established approach at most of the world’s leading system-on-chip (SoC) design companies and is being used increasingly in system design. From its genesis as an algorithm modeling methodology with ‘no links to implementation’, ESL is evolving into a set of complementary methodologies that enable embedded system design, verification and debug through to the hardware and software implementation of custom SoC, system-on-FPGA, system-on-board, and entire multi-board systems. This book arises from experience the authors have gained from years of work as industry practitioners in the Electronic System Level design area; they have seen "SLD" or "ESL" go through many stages and false starts, and have observed that the shift in design methodologies to ESL is finally occurring. This is partly because of ESL technologies themselves are stabilizing on a useful set of languages being standardized (SystemC is the most notable), and use models are being identified that are beginning to get real adoption. ESL DESIGN & VERIFICATION offers a true prescriptive guide to ESL that reviews its past and outlines the best practices of today.Table of ContentsCHAPTER 1: WHAT IS ESL? CHAPTER 2: TAXONOMY AND DEFINITIONS FOR THE ELECTRONIC SYSTEM LEVEL CHAPTER 3: EVOLUTION OF ESL DEVELOPMENT CHAPTER 4: WHAT ARE THE ENABLERS OF ESL? CHAPTER 5: ESL FLOW CHAPTER 6: SPECIFICATIONS AND MODELING CHAPTER 7: PRE-PARTITIONING ANALYSIS CHAPTER 8: PARTITIONING CHAPTER 9: POST-PARTITIONING ANALYSIS AND DEBUG CHAPTER 10: POST-PARTITIONING VERIFICATION CHAPTER 11: HARDWARE IMPLEMENTATION CHAPTER 12: SOFTWARE IMPLEMENTATION CHAPTER 13: USE OF ESL FOR IMPLEMENTATION VERIFICATION CHAPTER 14: RESEARCH, EMERGING AND FUTURE PROSPECTS APPENDIX: LIST OF ACRONYMS * Provides broad, comprehensive coverage not available in any other such book * Massive global appeal with an internationally recognised author team * Crammed full of state of the art content from notable industry experts |
No grāmatas satura
1.–5. rezultāts no 44.
v. lappuse
... Taxonomy. and. Definitions. for. the. Electronic. System. Level. 11. 2.1 Taxonomy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.1.2 Model ...
... Taxonomy. and. Definitions. for. the. Electronic. System. Level. 11. 2.1 Taxonomy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.1.2 Model ...
xviii. lappuse
... taxonomy of ESL in a comprehensive way, thus providing a solid baseline for understanding ESL for either the novice or the experienced engineer. It also describes the various ESL tools used in the past as well as the present, giving ...
... taxonomy of ESL in a comprehensive way, thus providing a solid baseline for understanding ESL for either the novice or the experienced engineer. It also describes the various ESL tools used in the past as well as the present, giving ...
xxi. lappuse
... Taxonomies for the Development and Verification of Digital Systems (Springer, 2005) and the executive editor and author for The Functional Verification of Electronic Systems: An Overview from Various Points of View (IEC Press, 2005). He ...
... Taxonomies for the Development and Verification of Digital Systems (Springer, 2005) and the executive editor and author for The Functional Verification of Electronic Systems: An Overview from Various Points of View (IEC Press, 2005). He ...
xxii. lappuse
... Taxonomies for the Development and Verification of Digital Systems (Springer, 2005), UML for SoC Design (Springer, 2005), and the two-volume Electronic Design Automation for Integrated Circuits Handbook (Taylor and Francis/CRC Press ...
... Taxonomies for the Development and Verification of Digital Systems (Springer, 2005), UML for SoC Design (Springer, 2005), and the two-volume Electronic Design Automation for Integrated Circuits Handbook (Taylor and Francis/CRC Press ...
1. lappuse
... taxonomy. They invented the term “electronic system design automation” (ESDA), which evolved to “system design automation” (SDA). Later, Dan Skilkin, an EDA marketing manager, became the first Chapter 1. WHAT IS ESL? 1.1 SO, WHAT IS ESL?
... taxonomy. They invented the term “electronic system design automation” (ESDA), which evolved to “system design automation” (SDA). Later, Dan Skilkin, an EDA marketing manager, became the first Chapter 1. WHAT IS ESL? 1.1 SO, WHAT IS ESL?
Saturs
1 | |
11 | |
35 | |
Chapter 4 WHAT ARE THE ENABLERS OF ESL? | 81 |
Chapter 5 ESL FLOW | 113 |
Chapter 6 SPECIFICATIONS AND MODELING | 139 |
Chapter 7 PREPARTITIONING ANALYSIS | 175 |
Chapter 8 PARTITIONING | 205 |
Chapter 10 POSTPARTITIONING VERIFICATION | 295 |
Chapter 11 HARDWARE IMPLEMENTATION | 333 |
Chapter 12 SOFTWARE IMPLEMENTATION | 379 |
Chapter 13 USE OF ESL FOR IMPLEMENTATION VERIFICATION | 399 |
Chapter 14 RESEARCH EMERGING AND FUTURE PROSPECTS | 425 |
LIST OF ACRONYMS | 447 |
Index | 451 |
Chapter 9 POSTPARTITIONING ANALYSIS AND DEBUG | 265 |
Citi izdevumi - Skatīt visu
ESL Design and Verification: A Prescription for Electronic System Level ... Brian Bailey,Grant Martin,Andrew Piziali Priekšskatījums nav pieejams - 2007 |
Bieži izmantoti vārdi un frāzes
abstraction levels algorithm application approach architecture aspects behavioral synthesis blocks Chapter chip clock code coverage communication companies compiler complex components computation concurrency configurable constraints coprocessor cost coverage model cycle dataptr DCT_SIZE debug defined design flow design space discussed domain dynamic embedded systems engineers ESL design ESL flow ESL models example executable specification F/OSS FIFO Figure FPGA functional functional verification hardware hardware and software hardware design high-level HW/SW IEEE input interface JTAG language latency level of abstraction logic mapping memory methodology metrics multiple operating optimization OSCI partitioning performance platform possible post-partitioning pre-partitioning analysis problem processor protocol real-time requirements reuse scheduling silicon simulation software development standard static STMicroelectronics synthesis tool system design system-level SystemC SystemVerilog taxonomy techniques Tensilica tion Transaction-Level Modeling verification environment verification plan Verilog VHDL VLIW Xilinx
Populāri fragmenti
104. lappuse - derivative work" is a work based upon one or more preexisting works, such as a translation, musical arrangement, dramatization, fictionalizati'on, motion picture version, sound recording, art reproduction, abridgement, condensation, or any other form in which a work may be recast, transformed, or adapted. A work consisting of editorial revisions, annotations, elaborations, or other modifications which, as a whole, represent an original work of authorship, is a "derivative work.
104. lappuse - DERIVATIVE WORK" is a work based upon one or more preexisting works, such as a translation, musical arrangement, dramatization, fictionalization, motion picture version, sound recording, art reproduction, abridgment, condensation or any other form in which a work may be recast, transformed, or adapted.
78. lappuse - EM Sentovich, KJ Singh, L. Lavagno, C. Moon. R. Murgai, A. Saldanha, H. Savoj, PR Stephan. RK Brayton, and AL Sangiovanni-Vincentelli. SIS: A System for Sequential Circuit Synthesis.
143. lappuse - A condition or capability needed by a user to solve a problem or achieve an objective; (2) A condition or capability that must be met or possessed by a system or system component to satisfy a contract, standard, specification, or other formally imposed document; (3) A documented representation of a condition or capability as in (1) or (2).
296. lappuse - Validation means confirmation by examination and provision of objective evidence that the particular requirements for a specific intended use can be consistently fulfilled.
32. lappuse - The degree to which a relationship can be established between two or more products of the development process, especially products having a predecessor-successor or master-subordinate relationship to one another; for example, the degree to which the requirements and design of a given software component match.
259. lappuse - G. Hadjiyiannis, S. Hanono, and S. Devadas. ISDL: An Instruction Set Description Language for Retargetability.
xxi. lappuse - Grant Martin Grant Martin is a chief scientist at Tensilica, Inc. in Santa Clara, California. Before that, Grant worked for Burroughs in Scotland for 6 years; Nortel/BNR in Canada for 10 years; and Cadence Design Systems for 9 years, eventually becoming a Cadence Fellow in their Labs. He received his Bachelor's and Master's degrees in Mathematics (Combinatorics and Optimization) from the University of Waterloo, Canada, in 1977 and 1978. Grant is a co-author of "Surviving the SOC Revolution: A Guide...
102. lappuse - The basic idea behind open source is very simple: When programmers can read, redistribute, and modify the source code for a piece of software, the software evolves. People improve it, people adapt it, people fix bugs. And this can happen at a speed that, if one is used to the slow pace of conventional software development, seems astonishing.
Atsauces uz šo grāmatu
Leakage in Nanometer CMOS Technologies Siva G. Narendra,Anantha P. Chandrakasan Ierobežota priekšskatīšana - 2006 |