Languages, Design Methods, and Tools for Electronic System Design


Book Description

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. 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, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers modeling and verification methodologies targeting digital and analog systems; Addresses firmware development and validation; Targets both functional and non-functional properties; Includes descriptions of methods for reliable system design.




Low-Power Design and Power-Aware Verification


Book Description

Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base. LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination. The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the r egister transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers.




Power Estimation on Electronic System Level using Linear Power Models


Book Description

This book describes a flexible and largely automated methodology for adding the estimation of power consumption to high level simulations at the electronic system level (ESL). This method enables the inclusion of power consumption considerations from the very start of a design. This ability can help designers of electronic systems to create devices with low power consumption. The authors also demonstrate the implementation of the method, using the popular ESL language “SystemC”. This implementation enables most existing SystemC ESL simulations for power estimation with very little manual work. Extensive case-studies of a Network on Chip communication architecture and a dual-core application processor “ARM Cortex-A9” showcase the applicability and accuracy of the method to different types of electronic devices. The evaluation compares various trade-offs regarding amount of manual work, types of ESL models, achieved estimation accuracy and impact on the simulation speed. Describes a flexible and largely automated ESL power estimation method; Shows implementation of power estimation methodology in SystemC; Uses two extensive case studies to demonstrate method introduced.




Modern Standardization


Book Description

This book includes a collection of standards-specific case studies. The case studies offer an opportunity to combine the teaching preferences of educators with the goals of the SEC (Standards Education Committee); providing students with “real-world” insight into the technical, political, and economic arenas of engineering. Encourages students to think critically about standards development and technology solutions Reinforces the usage of standards as an impetus for innovation Will help understand the dynamics and impacts of standards A curriculum guide is available to instructors who have adopted the book for a course. To obtain the guide, please send a request to: [email protected].




Hardware and Software: Verification and Testing


Book Description

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.




Micro Perspectives for Decentralized Energy Supply : Proceedings of the International Conference (2015, Bangalore)


Book Description

Der Tagungsband enthält die wissenschaftlichen Beiträge der Konferenz "Mikro-Perspektiven auf dezentrale Energieversorgung" vom 23. bis 24.4.2015 in Bangalore, Indien. Die Beiträge umfassen eine große Bandbreite an Themen von technischen Herausforderungen dezentraler Energieversorgung über Konzepte für DC Micro Grids bis zu Finanzierungs- und Geschäftsmodellen für die Implementierung dieser innovativen Technologien. Weiterhin enthält der Band Beiträge zu Planungs- und Governance-Stratgien, historische Analysen der Infrastrukturentwicklung und Technologie-Bewertung. Mit Fallstudien zu dezentraler Energieversorgung von Indien, Bangladesch, Ägypten, Äthiopien, Kenia, Nigeria, Tansanie und Brasilien geben die Artikel einen guten Überblick über die globalen Entwickung in diesem Sektor. The Proceedings present the scientific contributions of the Conference "Micro Perspectives for Decentralized Energy Supply" from 23rd till 24th of April in Bangalore, India. The papers cover a broad range of topics ranging from technical challenges of decentralized energy supply and concepts for solar DC micro grids till financing and business models for the implementation of those innovative technologies. The volume also contains contributions about planning and governance strategies, historical analyses of the infrastructural development and technology assessments. With case studies on decentralised energy supply from e.g. India, Bangladesh, Egypt, Ethiopia, Kenya, Nigeria, Tanzania and Brazil the papers give a good overview of the development of this sector all over the world.




Modelling and Simulation for Autonomous Systems


Book Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018. The 46 revised full papers included in the volume were carefully reviewed and selected from 66 submissions. They are organized in the following topical sections: Future Challenges of Advanced M&S Technology; Swarming - R&D and Application; M&S of Intelligent Systems - AI, R&D and Application; AxS in Context of Future Warfare and Security Environment (Concepts, Applications, Training, Interoperability, etc.).




Advances in Multimedia Information Processing – PCM 2017


Book Description

The two-volume set LNCS 10735 and 10736 constitutes the thoroughly refereed proceedings of the 18th Pacific-Rim Conference on Multimedia, PCM 2017, held in Harbin, China, in September 2017. The 184 full papers presented were carefully reviewed and selected from 264 submissions. The papers are organized in topical sections on: Best Paper Candidate; Video Coding; Image Super-resolution, Debluring, and Dehazing; Person Identity and Emotion; Tracking and Action Recognition; Detection and Classification; Multimedia Signal Reconstruction and Recovery; Text and Line Detection/Recognition; Social Media; 3D and Panoramic Vision; Deep Learning for Signal Processing and Understanding; Large-Scale Multimedia Affective Computing; Sensor-enhanced Multimedia Systems; Content Analysis; Coding, Compression, Transmission, and Processing.




Vehicular Social Networks


Book Description

The book provides a comprehensive guide to vehicular social networks. The book focuses on a new class of mobile ad hoc networks that exploits social aspects applied to vehicular environments. Selected topics are related to social networking techniques, social-based routing techniques applied to vehicular networks, data dissemination in VSNs, architectures for VSNs, and novel trends and challenges in VSNs. It provides significant technical and practical insights in different aspects from a basic background on social networking, the inter-related technologies and applications to vehicular ad-hoc networks, the technical challenges, implementation and future trends.




Connected and Autonomous Vehicles in Smart Cities


Book Description

This book presents a comprehensive coverage of the five fundamental yet intertwined pillars paving the road towards the future of connected autonomous electric vehicles and smart cities. The connectivity pillar covers all the latest advancements and various technologies on vehicle-to-everything (V2X) communications/networking and vehicular cloud computing, with special emphasis on their role towards vehicle autonomy and smart cities applications. On the other hand, the autonomy track focuses on the different efforts to improve vehicle spatiotemporal perception of its surroundings using multiple sensors and different perception technologies. Since most of CAVs are expected to run on electric power, studies on their electrification technologies, satisfaction of their charging demands, interactions with the grid, and the reliance of these components on their connectivity and autonomy, is the third pillar that this book covers. On the smart services side, the book highlights the game-changing roles CAV will play in future mobility services and intelligent transportation systems. The book also details the ground-breaking directions exploiting CAVs in broad spectrum of smart cities applications. Example of such revolutionary applications are autonomous mobility on-demand services with integration to public transit, smart homes, and buildings. The fifth and final pillar involves the illustration of security mechanisms, innovative business models, market opportunities, and societal/economic impacts resulting from the soon-to-be-deployed CAVs. This book contains an archival collection of top quality, cutting-edge and multidisciplinary research on connected autonomous electric vehicles and smart cities. The book is an authoritative reference for smart city decision makers, automotive manufacturers, utility operators, smart-mobility service providers, telecom operators, communications engineers, power engineers, vehicle charging providers, university professors, researchers, and students who would like to learn more about the advances in CAEVs connectivity, autonomy, electrification, security, and integration into smart cities and intelligent transportation systems.