Object-Oriented Modeling

Object-Oriented Modeling edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.

Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Bergé, Jean-Michel (Редактор), Levia, Oz (Редактор), Rouillard, Jacques (Редактор)
Формат:	eКнига
Язык:	English
Опубликовано:	New York, NY : Springer US : Imprint: Springer, 1996.
Редактирование:	1st ed. 1996.
Серии:	Current Issues in Electronic Modeling, 7 Springer eBook Collection.
Предметы:	Computers. Engineering. Electronic circuits. Computer-aided engineering. Electrical engineering. Software engineering. Electronic resources (E-books)
Online-ссылка:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Схожие документы

Meta-Modeling Performance and Information Modeling
Опубликовано: (1996)

Models in System Design
Опубликовано: (1997)

Hardware/Software Co-Design and Co-Verification
Опубликовано: (1997)

Embedded Software for SoC
Опубликовано: (2003)

High-Level System Modeling Specification and Design Methodologies
Опубликовано: (1996)

VHDL Modeling for Digital Design Synthesis
по: Yu-Chin Hsu, и др.
Опубликовано: (1995)

SystemC: From the Ground Up, Second Edition
по: Black, David C., и др.
Опубликовано: (2010)

Concurrent and Comparative Discrete Event Simulation
по: Ulrich, Ernst G., и др.
Опубликовано: (1994)

Hardware/Software Co-Design Principles and Practice
по: Staunstrup, Jørgen, и др.
Опубликовано: (1997)

Architecture Exploration for Embedded Processors with LISA
по: Hoffmann, Andreas, и др.
Опубликовано: (2002)

High-Level System Modeling Specification Languages
Опубликовано: (1995)

Modeling in Analog Design
Опубликовано: (1995)

Abstraction Refinement for Large Scale Model Checking
по: Wang, Chao, и др.
Опубликовано: (2006)

Model Generation in Electronic Design
Опубликовано: (1995)

Hardware-Software Co-Synthesis of Distributed Embedded Systems
по: Ti-Yen Yen, и др.
Опубликовано: (1996)

SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation
по: Patel, Hiren, и др.
Опубликовано: (2005)

System Level Design Model with Reuse of System IP
Опубликовано: (2003)

Formal Semantics and Proof Techniques for Optimizing VHDL Models
по: Umamageswaran, Kothanda, и др.
Опубликовано: (1999)

Automatic Programming Applied to VLSI CAD Software: A Case Study
по: Setliff, Dorothy E., и др.
Опубликовано: (1990)

A Practical Guide to Analog Behavioral Modeling for IC System Design
по: Duran, Paul A.
Опубликовано: (1998)

Surviving the SOC Revolution A Guide to Platform-Based Design
по: Chang, Henry, и др.
Опубликовано: (1999)

Legacy Data: A Structured Methodology for Device Migration in DSM Technology
по: Chatterjee, Pallab
Опубликовано: (2003)

Winning the SoC Revolution Experiences in Real Design
Опубликовано: (2003)

Formal Methods and Models for System Design A System Level Perspective
Опубликовано: (2004)

High Performance Memory Testing Design Principles, Fault Modeling and Self-Test
по: Adams, R. Dean
Опубликовано: (2003)

Hardware Verification with System Verilog An Object-Oriented Framework
по: Mintz, Mike, и др.
Опубликовано: (2007)

SystemVerilog For Design A Guide to Using SystemVerilog for Hardware Design and Modeling
по: Sutherland, Stuart, и др.
Опубликовано: (2004)

Analog Circuit Design (X)DSL and other Communication Systems; RF MOST Models; Integrated Filters and Oscillators
Опубликовано: (1999)

Writing Testbenches Functional Verification of HDL Models
по: Bergeron, Janick
Опубликовано: (2000)

The Codesign of Embedded Systems: A Unified Hardware/Software Representation A Unified Hardware/Software Representation
по: Kumar, Sanjaya, и др.
Опубликовано: (1996)

Logic Synthesis and Verification
Опубликовано: (2002)

Automatic Layout Modification Including design reuse of the Alpha CPU in 0.13 micron SOI technology
по: Reinhardt, Michael
Опубликовано: (2002)

Analog Circuit Design Operational Amplifiers, Analog to Digital Convertors, Analog Computer Aided Design
Опубликовано: (1993)

Algorithms for VLSI Physical Design Automation
по: Sherwani, Naveed A.
Опубликовано: (1999)

Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Опубликовано: (1993)

Nano, Quantum and Molecular Computing Implications to High Level Design and Validation
Опубликовано: (2004)

The Best of ICCAD 20 Years of Excellence in Computer-Aided Design
Опубликовано: (2003)

VLSI: Systems on a Chip IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI ’99) December 1–4, 1999, Lisboa, Portugal
Опубликовано: (2000)

The e Hardware Verification Language
по: Iman, Sasan, и др.
Опубликовано: (2004)

Understanding Behavioral Synthesis A Practical Guide to High-Level Design
по: Elliott, John P.
Опубликовано: (1999)