Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design | by Deepak A. Mathaikutty and Sandeep K. Shukla | 2009 | ISBN: 9781596934245. Modeling and Validation Environment (MMV). Design Fault Directed Test Generation. Model-Driven System-Level Validation
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design
by Deepak A. Mathaikutty and Sandeep K. Shukla
2009 (310 pages)
ISBN:9781596934245
Addressing key factors related to the use of reusable verification IPs for a ‘write once, use many times’ verification strategy, this book covers the essential issues associated with fast and effective integration of reusable design components into a SoC.
Get this Book by clicking below:
![]() |
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design
Preface
Overview
References
Chapter 1 – Introduction
Overview
1.1: Ongoing Efforts in Design IP Reuse
1.2: Ongoing Efforts in Verification IP Reuse
1.3: Essential Issues with IP Reuse
1.4: Metamodeling Approach to Reuse
1.5: Problem Statement
1.6: Research Contributions
1.7: Tools and Techniques Developed
References
Chapter 2 – Background
2.1: Metamodeling
2.2: Component Composition Framework
2.3: Reflection and Introspection (R-I)
2.4: SystemC
2.5: Model-Driven Validation
2.6: Test Generation
2.7: Coverage-Directed Test Generation
References
Chapter 3 – Related Work
3.1: Component Composition Framework
3.2: Component-Based Software Design Environments
3.3: IP Interfacing Standards
3.4: Existing Tools for Structural Reflection
3.5: Architecture Description Languages
3.6: Test Generation
References
Part I – Design Reuse
Chapter 4 – A Metamodel for Component Composition
Overview
4.1: CC Language, Metamodel, and Model
4.2: CC Analysis and Translation
4.3: Case Studies
4.4: Design Experience and Summary
References
Chapter 5 – IP Reflection and Selection
Overview
5.1: Metadata for IP Composition
5.2: Metadata on a SystemC IP Specification
5.3: Tools and Methodology
5.4: IP Selection
5.5: Case Study
5.6: Summary
References
Chapter 6 – Typing Problems in IP Composition
Overview
6.1: MCF Type Definitions
6.2: Type Resolution in MCF
6.3: Comparative Study
6.4: Case Study
6.5: Summary
References
Chapter 7 – IP Composition
Overview
7.1: MCF Ingredients
7.2: Handling Generic IPS
7.3: Interaction Pattern
7.4: Case Study
7.5: Summary
References
Chapter 8 – Checker Generation for IP Verification
8.1: Enhanced Design Flow
8.2: Enhanced Modeling Framework
8.3: Interaction Console
8.4: Conclusion
References
Part II – Verification Reuse
Chapter 9 – A Metamodel for Microprocessors
9.1: Modeling and Validation Environment (MMV)
9.2: Simulator Generation
9.3: Test Generation
9.4: Case Study: Modeling Vespa in MMV
9.5: Summary
References
Chapter 10 – Design Fault Directed Test Generation
Overview
10.1: Motivation
10.2: Modeling and Test Generation
10.3: Coverage Constraints
10.4: Results
10.5: Summary
References
Chapter 11 – Model-Driven System-Level Validation
Overview
11.1: Test Generation Methodology
11.2: Systemc Validation
11.3: Case Study
11.4: Summary
References
Chapter 12 – Conclusion and Future Work
12.1: Summary
12.2: Future Work
References
For 1000+ more Engineering Books & Computer Engineering Books, click below:



Related posts:
- Practical Design Verification | by Dhiraj K. Pradhan and Ian G. Harris | 2009 | ISBN: 9780521859721. Transaction-Level System Modeling. System Debugging Strategies. Model Checking Techniques. Techniques for Higher-Level Design Descriptions
- The Complete Guide to Mergers and Acquisitions: Process Tools to Support M&A Integration at Every Level, Second Edition | by Timothy J. Galpin and Mark Herndon | ISBN: 9780787994600. Keys to M&A Success. The Merger Integration Work-Streams Model. Merger Measurement Systems. Human Capital Integration
- Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction | by Ladjel Bellatreche (ed) | 2009 | ISBN: 9781605667560. Data Extraction, Transformation and Integration. Modeling Multidimensional Geographic Databases. Designing Data Marts. Decision Support System Design
- The Engineering Design of Systems: Models and Methods, Second Edition | by Dennis M. Buede | 2009 | ISBN: 9780470164020. Systems Engineering and Management. Systems Engineering Design Process. SYSTEMS ENGINEERING TOOL. Engineering Design and Integration.
- Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation | by Luís Gomes and João M. Fernandes | 2010 | ISBN: 9781605667508. Embedded Systems Design. Industrial Embedded Control Systems. Distributed Real-Time Embedded Systems. Engineering Embedded Software
- Systems Engineering Books. Software & Systems Requirements Engineering: In Practice | by Brian Berenbach, Daniel J. Paulish, Juergen Kazmeier and Arnold Rudorfer | 2009 | ISBN: 9780071605472. Key Success Factors in Requirements Engineering. Model-Driven Requirements Engineering (MDRE)
- Introduction to Business Architecture | by Chris Reynolds | 2010 | ISBN: 9781435454224. Architecture for Information Technology Systems. Business Architecture Model. Product-Driven Business Structure. Service-Driven Business Structure. Price-Driven Business Structure. Reengineering for Efficiency.
- Application-Layer Fault-Tolerance Protocols | by Vincenzo De Florio (ed) | 2009 | ISBN: 9781605661827. Computer Books. Fault-Tolerant Software. RESILIENT COMPUTING. FAULT-TOLERANT PROGRAM. THE ARIEL RECOVERY LANGUAGE
- RF Power Amplifier Behavioral Modeling | by Dominique Schreurs, Máirtín O’Droma, Anthony A. Goacher and Michael Gadringer (eds) | 2009 | ISBN: 9780521881739. Circuit-Level Power Amplifier Models. Digital-Logic Simulation. Analogue-Signal Behavioural Simulators for Wireless Communication Systems
- Mechanical Engineering Books. Noncircular Gears: Design and Generation | by Faydor L. Litvin, Alfonso Fuentes-Aznar, Ignacio Gonzãlez-Perez and Kenichi Hayasaka | 2009 | ISBN: 9780521761703. Elliptical Gears and Gear Drives. Planar and Helical Elliptical Gears
- Computer Engineering Books. Weaving High Performance Multi-Processor Fabric: Architectural Insights into the Intel QuickPath Interconnect | by Robert A. Maddox, Gurbir Singh and Robert J. Safranek | 2009 | ISBN: 9781934053188. Microprocessor Interconnect Design.
- Hybrid CMOS Single-Electron-Transistor Device and Circuit Design | by Santanu Mahapatra and Adrian Mihai Ionescu | ISBN: 9781596930698. CMOS Scaling and Single Electronics. Computer-Aided Design Tools for SET Simulation. SET and MOSFET Modeling Techniques
- Phase-Locked Loop Engineering Handbook for Integrated Circuits | by Stanley Goldman | ISBN: 9781596931541. Elecronic Engineering Books. Behavioral Modeling of PLL with PSPICE. Loop-Component Synthesis. Optimum PLL Design for Low-Phase-Noise Performance.
- Handbook of Research on Business Process Modeling | by Jorge Cardoso | 2009 | ISBN: 9781605662886. IT Reference Books. Computer Reference Books. Business Process Engineering. Business Process Languages. Holistic Process Management. Business Process Intelligence. THE MODELING FRAMEWORK
- Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes | by Patrick Hung (ed) | 2009 | ISBN: 9781605663302. Enterprise Information Integration. Mobile and Web Services Technologies. Mediated Service-Based Data Integration Solutions.
- Handbook of Enterprise Integration | by Mostafa Hashem Sherif | 2010 | ISBN: 9781420078213. Enterprise Application Integration. Enterprise System Integration. Mobile Middleware. Business-to-Business Electronic Commerce. SERVICE-ORIENTED ARCHITECTURE. Software and Service Architectures.
- Liquid Rocket Thrust Chambers: Aspects of Modeling, Analysis, and Design | by Vigor Yang, Mohammed Habiballah, James Hulka and Michael Popp | ISBN: 9781563472237. Rocket Engine Nozzle Design. Propellant Injection Systems and Processes. Jet and Swirl Injectors. Tripropellant Engine Technology
- Progressive Methods in Data Warehousing and Business Intelligence: Concepts and Competitive Analytics | by David Taniar (ed) | 2009 | ISBN: 9781605662329. Conceptual Modeling Solutions for the Data Warehouse. Designing Multi-Node OLAP Systems. Design of Data Marts. Spatial Data Warehouse Modelling
- The Physics and Modeling of MOSFETS: Surface-Potential Model HiSIM | by Mitiko Miura-Mattausch, Hans Jürgen Mattausch and Tatsuya Ezaki | ISBN: 9789812568649. Electronic Books. Semiconductor Device Physics. MOS transistor models
- Selling When No One is Buying: Growing Prospects, Clients, and Sales in Tough Economic Times | by Stephan Schiffman | 2009 | ISBN: 9781605506609. Creating Personal Business Plan. How to Break Into the New Selling Environment. The New Sales Model
- SOA-Based Enterprise Integration: A Step-by-Step Guide to Services-Based Application | by Waseem Roshen | 2009 | ISBN: 9780071605526. Integrating Mainframe Applications. Web Services Implementation. Integration Through Service Composition (BPEL)
- Communication Satellite Antennas: System Architecture, Technology, and Evaluation | by Robert Dybdal | 2009 | ISBN: 9780071609180. Communication Satellite System Architectures. Space Segment Antenna Technology. Antenna Test Facilities and Methodologies
- ExamWise Volume 2 CFA 2009 Level I Certification: The Candidates 500 Question Concept Check Q & A Workbook for Chartered Financial Analyst | by Jane Vessey and M. Afdal Pamilih | 2009 | ISBN: 9781590959350. Industry and Company Analysis. Market Structure and Macroeconomic Analysis
- Knowledge Management Books. Post-Mining of Association Rules: Techiques for Effective Knowledge Extraction | by Yanchang Zhao, Chengqi Zhang and Longbing Cao (eds) | 2009 | ISBN: 9781605664040. Multidimensional Model-Based Decision Rules Mining
- ExamWise Volume 1 CFA 2009 Level I Certification: Concept Check Q & A Workbook with Preliminary Reading Assignments for Chartered Financial Analyst | by Jane Vessey | 2009 | ISBN: 9781590959374. Corporate Finance. Equity Investments Guide. Financial Reporting and Analysis.
- Design Methodology for RF CMOS Phase Locked Loops | by Guillermo Bistué, Íñigo Adin and Carlos Quemada | 2009 | ISBN: 9781596933835. High-Frequency Divider Architectures and Building Blocks. Design of a Phase Frequency Detector. Design of a Frequency Divider
- Radio-Frequency Electronics: Circuits and Applications, Second Edition | by Jon B. Hagen | 2009 | ISBN: 9780521889742. Radio Communications Books. Antennas and Radio Wave Propagation. Synthetic Aperture Radar. Digital Modulation Techniques. GPS Navigation System. RF Test Equipment
- Risk Management in Finance: Six Sigma and Other Next Generation Techniques | by Anthony Tarantino and Deborah Cernauskas | 2009 | ISBN: 9780470413463. Total Quality Management Using Lean Six Sigma. Operational Risk Management Framework. OFF-BALANCE-SHEET RISKS. FINANCIAL LIABILITIES AND EQUITY RISKS.
- Advanced Signal Integrity for High-Speed Digital Designs | by Stephen H. Hall and Howard L. Heck | 2009 | ISBN: 9780470192351. Digital Engineers Resources. Electronics Design. Signal Integrity Design. CROSSTALK MINIMIZATION Techniques.
- Automated Face Analysis: Emerging Technologies and Research | by Daijin Kim and Jaewon Sung | 2009 | ISBN: 9781605662169. Face and Eye Detection Techniques. Face Modeling Design. Face Recognition Software. Facial Gesture Recognition.
- Hardware Engineering Design. Embedded DSP Processor Design: Application Specific Instruction Set Processors | by Dake Liu | 2008 | ISBN: 9780123741233. Design of DSP Microarchitecture
- Three-Dimensional Integrated Circuit Design | by Vasilis F. Pavlidis and Eby G. Friedman | 2009 | ISBN: 9780123743435. Manufacturing of 3-D Packaged Systems. 3-D Integrated Circuit Fabrication Technologies. Physical Design Techniques for 3-D ICs. THREE-DIMENSIONAL NETWORKS-ON-CHIP
- Detecting and Classifying Low Probability of Intercept Radar, Second Edition | by Philip E. Pace | 2009 | ISBN: 9781596932340. Radar Engineering Books. LPI Radar Design. Narayanan Random Noise Radar Design. Strategies for Intercepting LPI Radar Signals. LPIsimNet Architecture
- Fundamentals of Modern VLSI Devices, Second edition | by Yuan Taur and Tak H. Ning | 2009 | ISBN: 9780521832946. Basic Device Physics. MOSFET Devices Design. CMOS Device Design. Bipolar Devices Design. Nonvolatile Memory Design. Silicon-on-Insulator Devices. VLSI Device Technology
- Government Grants for Self-directed learners
- 17th Edition IEE Wiring Regulations: Inspecting, Testing and Certification, Sixth Edition | by Brian Scaddan | ISBN: 9780750687195. ELECTRICAL INSTALLATION CERTIFICATE. Electrical FAULT PROTECTION. ELECTRICAL SEPARATION Techniques. Testing Continuity of Protective Conductors
- Microwave Engineering Books. Microwave Radio Transmission Design Guide, Second Edition | by Trevor Manning | 2009 | ISBN: 9781596934566. Wireless Telecommunications. Microwave Link Design.
- Character Animation with Direct3D | by Carl Granberg | 2009 | ISBN: 9781584505709. Computer Animation Books. Morphing Animation Design. Advanced Skeletal Animation Techniques. Facial Animation. Hair Animation. Creating Wrinkle Maps. How to Blend Multiple Animations. Speech Analysis Integration.
- Transnational Leadership Development: Preparing the Next Generation for the Borderless Business World | by Beth Fisher-Yoshida and Kathy D. Geller | 2009 | ISBN: 9780814410394. Transformative Learning in Human Resource Development and Successes
- The Business Analyst’s Handbook | by Howard Podeswa | 2009 | ISBN: 9781598635652. Business Analysis Templates, Tips and Checklists. Business Analyst’s Toolkit. Business Process Modeling. IT Project Life Cycle. ITIL. IIBA and BABOK. UML.





