IEEE International High-Level Design Validation and Test Workshop
Author :
Publisher :
Page : 192 pages
File Size : 38,96 MB
Release : 2003
Category : Computer software
ISBN :
Advances in Information and Communication
Author : Kohei Arai
Publisher : Springer Nature
Page : 735 pages
File Size : 30,23 MB
Release :
Category :
ISBN : 3031539605
Book Description
Practical Design Verification
Author : Dhiraj K. Pradhan
Publisher : Cambridge University Press
Page : 289 pages
File Size : 33,57 MB
Release : 2009-06-11
Category : Computers
ISBN : 0521859727
Book Description
Improve design efficiency & reduce costs with this guide to formal & simulation-based functional verification. Presenting a theoretical & practical understanding of the key issues involved, it explains both formal techniques (model checking, equivalence checking) & simulation-based techniques (coverage metrics, test generation).
Frontiers of Quality Electronic Design (QED)
Author : Ali Iranmanesh
Publisher : Springer Nature
Page : 690 pages
File Size : 33,88 MB
Release : 2023-01-11
Category : Technology & Engineering
ISBN : 3031163443
Book Description
Quality Electronic Design (QED)’s landscape spans a vast region where territories of many participating disciplines and technologies overlap. This book explores the latest trends in several key topics related to quality electronic design, with emphasis on Hardware Security, Cybersecurity, Machine Learning, and application of Artificial Intelligence (AI). The book includes topics in nonvolatile memories (NVM), Internet of Things (IoT), FPGA, and Neural Networks.
Enhanced Virtual Prototyping
Author : Vladimir Herdt
Publisher : Springer Nature
Page : 247 pages
File Size : 19,34 MB
Release : 2020-10-14
Category : Technology & Engineering
ISBN : 3030548287
Book Description
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.
Current Trends in Web Engineering
Author : Irene Garrigós
Publisher : Springer
Page : 281 pages
File Size : 24,28 MB
Release : 2018-02-21
Category : Computers
ISBN : 331974433X
Book Description
This book constitutes the refereed thoroughly refereed post-workshop proceedings of the 17th International Conference on Web Engineering, ICWE 2017, held in Rome, Italy, in June 2017. The 24 revised full papers were selected from 34 submissions. The workshops complement the main conference, and explore new trends on core topics of Web engineering. The workshop committee accepted five workshops of which the following four contributed papers to this volume: - 2nd International Workshop on Liquid Multi-Device Software and 1st International Workshop on Engineering the Web of Things - International Workshop on The Practice Of The Open Web (practi-O-web 2017) - 3rd International Workshop on Natural Language Processing for Informal Text (NLPIT 2017) - 3rd International Workshop on Mining the Social Web (SoWeMine 2017).
Intelligent System Solutions for Auto Mobility and Beyond
Author : Carolin Zachäus
Publisher : Springer Nature
Page : 270 pages
File Size : 27,76 MB
Release : 2020-12-10
Category : Technology & Engineering
ISBN : 3030658716
Book Description
This book gathers papers from the 23rd International Forum on Advanced Microsystems for Automotive Applications (AMAA 2020) held online from Berlin, Germany, on May 26-27, 2020. Focusing on intelligent system solutions for auto mobility and beyond, it discusses in detail innovations and technologies enabling electrification, automation and diversification, as well as strategies for a better integration of vehicles into the networks of traffic, data and power. Further, the book addresses other relevant topics, including the role of human factors and safety issues in automated driving, solutions for shared mobility, as well as automated bus transport in rural areas. Implications of current circumstances, such as those generated by climate change, on the future development of auto mobility, are also analysed, providing researchers, practitioners and policy makers with an authoritative snapshot of the state-of-the-art, and a source of inspiration for future developments and collaborations.
Handbook of Research on Embedded Systems Design
Author : Bagnato, Alessandra
Publisher : IGI Global
Page : 552 pages
File Size : 28,52 MB
Release : 2014-06-30
Category : Computers
ISBN : 146666195X
Book Description
As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.
Nature-Inspired Networking
Author : Phan Cong-Vinh
Publisher : CRC Press
Page : 371 pages
File Size : 46,53 MB
Release : 2018-02-13
Category : Computers
ISBN : 1351182064
Book Description
"Nature-inspired" includes, roughly speaking, "bio-inspired"+"physical-inspired"+"social-inspired"+ and so on. This book contains highly original contributions about how nature is going to shape networking systems of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions, which encompass three classes of major methods: 1) Those that take inspiration from nature for the development of novel problem solving techniques; 2) Those that are based on the use of networks to synthesize natural phenomena; and 3) Those that employ natural materials to compute or communicate.
Computer Aided Verification
Author : Swarat Chaudhuri
Publisher : Springer
Page : 527 pages
File Size : 20,18 MB
Release : 2016-07-12
Category : Computers
ISBN : 3319415409
Book Description
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
