Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
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.
Related Books
Materials & sustainability building a circular future
Examines sustainable manufacturing, from the extraction of materials to processing, use, and disposal, and argues that significant changes in all of the above are needed for the world to progress toward a more circular economy. Materials and processing methods are usually chosen with performance as the key metric.
Composite materials : sustainable and eco-friendly materials and application
Covers innovations in the field of composite materials with a specific focus on eco-friendly and environmentally sustainable systems. All composite fields are explored, including polymer, metal, and ceramic matrix composites with an emphasis on sourcing raw materials in a sustainable way as well as the development of composite materials for environmental sustainability.
Building construction methods and systems : principles, requirements and application details
Presents practical information about the design and construction of building projects by addressing the principles of each method, unveiling background factors for requirements, and state-of-the-art application details, and presents general design and application principles of construction methods and technologies without diving into engineering calculations and formulas to keep the content easily understandable by all AEC practitioners and participants.
Material Modeling in Finite Element Analysis
Presents some specific problems including the metal-forming process, combustion room, Mullins effect of rubber tires, viscoelasticity of liver soft tissues, small punch test, tunnel excavation, slope stability, concrete slump test, orthodontic wire, and piezoelectric microaccelerometer.
