The Resource Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005, edited by A. Vachoux, (electronic resource)

Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005, edited by A. Vachoux, (electronic resource)

Label
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
Title
Applications of Specification and Design Languages for SoCs
Title remainder
Selected papers from FDL 2005
Statement of responsibility
edited by A. Vachoux
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems. This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture. All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design
Member of
Dewey number
621.395
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
XGJNbqBKM_c
Language note
English
LC call number
TK7888.4
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
2005
http://library.link/vocab/relatedWorkOrContributorName
  • FDL'05
  • Vachoux, A.
Series statement
The ChDL series
http://library.link/vocab/subjectName
  • Systems engineering
  • Computer engineering
  • Engineering design
  • Electronics
  • Computer hardware
  • Circuits and Systems
  • Electrical Engineering
  • Engineering Design
  • Electronics and Microelectronics, Instrumentation
  • Computer Hardware
Label
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005, edited by A. Vachoux, (electronic resource)
Instantiates
Publication
Note
A collection of contributions from the Forum on Specification and Design Languages, FDL 2005, held Sept. 27-30, 2005 in Lausanne, Switzerland
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Specification, Design, and Verification Methods -- PSL-Based Online Monitoring of Digital Systems -- Refining Synchronous Communication onto Network-on-Chip Best-Effort Services -- C/C++-Based System Design -- Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment -- Mixing Synchronous Reactive and Untimed MoCs in SystemC -- Interface-Centric Abstraction Level for Rapid Hardware/Software Integration -- Efficient and Customizable Integration of Temporal Properties into SystemC -- UMoC++: A C++-Based Multi-MoC Modeling Environment -- Analog, Mixed-Signal, and Heterogeneous System Design -- Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS -- Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic -- SystemC-WMS: Mixed-Signal Simulation Based on Wave Exchanges -- Automatic Generation of a Coverification Platform -- UML/XML-Based Approach to Hierarchical AMS Synthesis -- UML-Based System Specification and Design -- Compiled and Synthesized UML -- Property-Preservation Synthesis for Unified Control- and Data-Oriented Models -- Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering -- Power Simulation of Communication Protocols with StateC -- Integrating Model-Checking with UML-Based SoC Development
Dimensions
unknown
Extent
1 online resource (318 p.)
Form of item
online
Isbn
9781280634796
Media category
computer
Media type code
c
Other control number
10.1007/978-1-4020-4998-9
Specific material designation
remote
System control number
  • (CKB)1000000000283315
  • (EBL)323081
  • (OCoLC)209942574
  • (SSID)ssj0000104633
  • (PQKBManifestationID)11140834
  • (PQKBTitleCode)TC0000104633
  • (PQKBWorkID)10080024
  • (PQKB)11302096
  • (DE-He213)978-1-4020-4998-9
  • (MiAaPQ)EBC323081
  • (EXLCZ)991000000000283315
Label
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005, edited by A. Vachoux, (electronic resource)
Publication
Note
A collection of contributions from the Forum on Specification and Design Languages, FDL 2005, held Sept. 27-30, 2005 in Lausanne, Switzerland
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Specification, Design, and Verification Methods -- PSL-Based Online Monitoring of Digital Systems -- Refining Synchronous Communication onto Network-on-Chip Best-Effort Services -- C/C++-Based System Design -- Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment -- Mixing Synchronous Reactive and Untimed MoCs in SystemC -- Interface-Centric Abstraction Level for Rapid Hardware/Software Integration -- Efficient and Customizable Integration of Temporal Properties into SystemC -- UMoC++: A C++-Based Multi-MoC Modeling Environment -- Analog, Mixed-Signal, and Heterogeneous System Design -- Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS -- Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic -- SystemC-WMS: Mixed-Signal Simulation Based on Wave Exchanges -- Automatic Generation of a Coverification Platform -- UML/XML-Based Approach to Hierarchical AMS Synthesis -- UML-Based System Specification and Design -- Compiled and Synthesized UML -- Property-Preservation Synthesis for Unified Control- and Data-Oriented Models -- Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering -- Power Simulation of Communication Protocols with StateC -- Integrating Model-Checking with UML-Based SoC Development
Dimensions
unknown
Extent
1 online resource (318 p.)
Form of item
online
Isbn
9781280634796
Media category
computer
Media type code
c
Other control number
10.1007/978-1-4020-4998-9
Specific material designation
remote
System control number
  • (CKB)1000000000283315
  • (EBL)323081
  • (OCoLC)209942574
  • (SSID)ssj0000104633
  • (PQKBManifestationID)11140834
  • (PQKBTitleCode)TC0000104633
  • (PQKBWorkID)10080024
  • (PQKB)11302096
  • (DE-He213)978-1-4020-4998-9
  • (MiAaPQ)EBC323081
  • (EXLCZ)991000000000283315

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...