Buch, Englisch, Band 106, 256 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 570 g
Selected Contributions from FDL 2010
Buch, Englisch, Band 106, 256 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 570 g
Reihe: Lecture Notes in Electrical Engineering
ISBN: 978-1-4614-1426-1
Verlag: Springer
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Bottom-up Verification Methodology for CMOS Photonic Linear Heterogeneous System.- Complete Verification of Weakly Programmable Ips against their Operational ISA Model.- Evaluating Debugging Algorithms from a Qualitative Perspective.- Exercises in Architecture Specification Using CLaSH.- Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib.- Formal Foundations for MARTE-SystemC Interoperability.- Logical time at work: capturing data dependencies and platform constraints.- Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks.- Mixed Signal Simulation with SystemC and Saber.- Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.- Reconstructing Line References from Optimized Binary Code for Source-Level Annotation.- SyReC: A Programming Language for Synthesis of Reversible Circuits.- SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour.- Towards Abstract Analysis Techniques for Range Based System Simulations.- Towards an ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems.
