Advertisement
| ieee 1800.2: Advances in Information and Communication Kohei Arai, 2024-03-20 The book is a valuable collection of papers presented in the Future of Information and Communications Conference (FICC), conducted by Science and Information Organization on 4–5 April 2024 in Berlin. It received a total of 401 paper submissions out of which 139 are published after careful double-blind peer-review. Renowned and budding scholars, academics, and distinguished members of the industry assembled under one roof to share their breakthrough research providing answers to many complex problems boggling the world. The topics fanned across various fields involving Communication, Data Science, Ambient Intelligence, Networking, Computing, Security, and Privacy. |
| ieee 1800.2: Intelligent Computing, Information and Control Systems A. Pasumpon Pandian, Klimis Ntalianis, Ram Palanisamy, 2019-10-18 From past decades, Computational intelligence embraces a number of nature-inspired computational techniques which mainly encompasses fuzzy sets, genetic algorithms, artificial neural networks and hybrid neuro-fuzzy systems to address the computational complexities such as uncertainties, vagueness and stochastic nature of various computational problems practically. At the same time, Intelligent Control systems are emerging as an innovative methodology which is inspired by various computational intelligence process to promote a control over the systems without the use of any mathematical models. To address the effective use of intelligent control in Computational intelligence systems, International Conference on Intelligent Computing, Information and Control Systems (ICICCS 2019) is initiated to encompass the various research works that helps to develop and advance the next-generation intelligent computing and control systems. This book integrates the computational intelligence and intelligent control systems to provide a powerful methodology for a wide range of data analytics issues in industries and societal applications. The recent research advances in computational intelligence and control systems are addressed, which provide very promising results in various industry, business and societal studies. This book also presents the new algorithms and methodologies for promoting advances in common intelligent computing and control methodologies including evolutionary computation, artificial life, virtual infrastructures, fuzzy logic, artificial immune systems, neural networks and various neuro-hybrid methodologies. This book will be pragmatic for researchers, academicians and students dealing with mathematically intransigent problems. It is intended for both academicians and researchers in the field of Intelligent Computing, Information and Control Systems, along with the distinctive readers in the fields of computational and artificial intelligence to gain more knowledge on Intelligent computing and control systems and their real-world applications. |
| ieee 1800.2: ICT Analysis and Applications Simon Fong, Nilanjan Dey, Amit Joshi, 2022-01-07 This book proposes new technologies and discusses future solutions for ICT design infrastructures, as reflected in high-quality papers presented at the 6th International Conference on ICT for Sustainable Development (ICT4SD 2021), held in Goa, India, on 5–6 August 2021. The book covers the topics such as big data and data mining, data fusion, IoT programming toolkits and frameworks, green communication systems and network, use of ICT in smart cities, sensor networks and embedded system, network and information security, wireless and optical networks, security, trust, and privacy, routing and control protocols, cognitive radio and networks, and natural language processing. Bringing together experts from different countries, the book explores a range of central issues from an international perspective. |
| ieee 1800.2: Advances in VLSI, Signal Processing, Power Electronics, IoT, Communication and Embedded Systems Shubhakar Kalya, Muralidhar Kulkarni, Subramanya Bhat, 2023-08-28 This book comprises select peer-reviewed papers from the International Conference on VLSI, Signal Processing, Power Electronics, IoT, Communication, and Embedded Systems (VSPICE-2022). The book provides insights into various aspects of electronics and communication engineering as a holistic approach. The various topics covered in this book include VLSI, embedded systems, signal processing, communication, power electronics, and the Internet of Things. The contents mainly focus on the most recent innovations, trends, concerns, and practical challenges and their solutions. This book is useful for academicians, professionals, and researchers in the area of electronics and communications and electrical engineering. |
| ieee 1800.2: Practical UVM: Step by Step with IEEE 1800.2 Srivatsa Vasudevan, 2020-02-28 The Universal Verification Methodology is an industry standard used by many companies for verifying ASIC devices. It has now become an IEEE standard IEEE 1800.2. This book provides step-by-step instructions, coding guidelines and debugging features of UVM explained clearly using examples. It also contains porting instructions from UVM 1.2 to UVM 1800.2 along with detailed explanations of many new features in the latest release of UVM. The Table of Contents, Preface, and detailed information on this book is available on www.uvmbook.com. |
| ieee 1800.2: Inventive Computation and Information Technologies S. Smys, Valentina Emilia Balas, Ram Palanisamy, 2022-01-18 This book is a collection of best selected papers presented at the International Conference on Inventive Computation and Information Technologies (ICICIT 2021), organized during 12–13 August 2021. The book includes papers in the research area of information sciences and communication engineering. The book presents novel and innovative research results in theory, methodology and applications of communication engineering and information technologies. |
| ieee 1800.2: Versatile Hardware Analysis Techniques Lucas Klemmer, Daniel Große, 2025-03-06 This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases. The authors introduce the Waveform Analysis Language (WAL), which allows users to code analysis tasks in the form of programs that run on waveforms. The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods. All methods are available as open source, typically include examples on RISC-V analysis problems, providing a strong foundation for the community. |
| ieee 1800.2: Computer Safety, Reliability, and Security António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira, 2020-08-19 This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com. |
| ieee 1800.2: PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021 Michael W. Whalen, Ruzica Piskac, 2021-10-14 Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems work stably, safely and securely from the word go? The computer - with a little help from humans. The overall name for this is CAD (computer-aided design), and it’s become hard to imagine our modern industrial world without it. So how can we be sure that the hardware and computer systems we use are reliable? By using formal methods: these are techniques and tools to calculate whether a system description is in itself consistent or whether requirements have been developed and implemented correctly. Or to put it another way: they can be used to check the safety and security of hardware and software. Just how this works in real life was also of interest at the annual conference on Formal Methods in Computer-Aided Design (FMCAD). Under the direction of Ruzica Piskac and Michael Whalen, the 21st Conference in October 2021 addressed the results of the latest research in the field of formal methods. A volume of conference proceedings with over 30 articles covering a wide range of formal methods has now been published for this online conference: starting from the verification of hardware, parallel and distributed systems as well as neuronal networks, right through to machine learning and decision-making procedures. This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments. |
| ieee 1800.2: IEEE Std 1800.2-2017 , 2017 |
| ieee 1800.2: A Practical Guide to Adopting the Universal Verification Methodology (UVM) Second Edition Hannibal Height, 2012-12-18 With both cookbook-style examples and in-depth verification background, novice and expert verification engineers will find information to ease their adoption of this emerging Accellera standard. |
| ieee 1800.2: Getting Started with Uvm Vanessa R. Cooper, 2013-05-22 Getting Started with UVM: A Beginner's Guide is an introductory text for digital verification (and design) engineers who need to ramp up on the Universal Verification Methodology quickly. The book is filled with working examples and practical explanations that go beyond the User's Guide. |
| ieee 1800.2: IEEE International Geoscience and Remote Sensing Symposium Proceedings , 2003 |
| ieee 1800.2: Proceedings of the IEEE International Symposium on Industrial Electronics , 1994 |
| ieee 1800.2: IEEE International Conference on Evolutionary Computation , 1998 |
| ieee 1800.2: Advanced Uvm Brian Hunter, 2015-12-11 Since its introduction in 2011, the Universal Verification Methodology (UVM) has achieved its promise of becoming the dominant platform for semiconductor design verification. Advanced UVM delivers proven coding guidelines, convenient recipes for common tasks, and cutting-edge techniques to provide a framework within UVM. Once adopted by an organization, these strategies will create immediate benefits, and help verification teams develop scalable, high-performance environments and maximize their productivity. Written by an experienced UVM practitioner, this book contains lots of great tips on using UVM effectively and example code that actually works! John Aynsley, Doulos In 'Advanced UVM', Mr. Hunter, based on his company's real world experiences, provides excellent resources, a well-tested reference verification environment, and advanced best practices on how to apply UVM. If you are ready to move beyond a UVM introduction, this should be the book you add to your library. George Taglieri, Director Verification Product Solutions, Synopsys, Inc. |
| ieee 1800.2: IEEE Standards Institute of Electrical and Electronics Engineers, 1969 |
| ieee 1800.2: Vaccinia Virus and Poxvirology Stuart N. Isaacs, 2012-06-12 Since the first edition of Vaccinia Virus and Poxvirology: Methods and Protocols was published, a number of important events related to poxvirology have occurred, such as FDA approval of a culture-based live smallpox vaccine and the vaccination of large numbers of U.S. military and relatively large numbers of U.S. civilians. Novel anti-poxvirus therapeutics have been developed and have been used in emergency settings. The second edition of Vaccinia Virus and Poxvirology expands upon the previous edition with entirely new sets of protocols. Written in the highly successful Methods in Molecular BiologyTM series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls. Authoritative and practical, Vaccinia Virus and Poxvirology: Methods and Protocols, Second Edition seeks to aid scientists in continuing to study poxviruses using new tools and approaches. |
| ieee 1800.2: SystemVerilog for Verification Chris Spear, Greg Tumbush, 2012-02-14 Based on the highly successful second edition, this extended edition of SystemVerilog for Verification: A Guide to Learning the Testbench Language Features teaches all verification features of the SystemVerilog language, providing hundreds of examples to clearly explain the concepts and basic fundamentals. It contains materials for both the full-time verification engineer and the student learning this valuable skill. In the third edition, authors Chris Spear and Greg Tumbush start with how to verify a design, and then use that context to demonstrate the language features, including the advantages and disadvantages of different styles, allowing readers to choose between alternatives. This textbook contains end-of-chapter exercises designed to enhance students’ understanding of the material. Other features of this revision include: New sections on static variables, print specifiers, and DPI from the 2009 IEEE language standard Descriptions of UVM features such as factories, the test registry, and the configuration database Expanded code samples and explanations Numerous samples that have been tested on the major SystemVerilog simulators SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, Third Edition is suitable for use in a one-semester SystemVerilog course on SystemVerilog at the undergraduate or graduate level. Many of the improvements to this new edition were compiled through feedback provided from hundreds of readers. |
| ieee 1800.2: Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society IEEE Engineering in Medicine and Biology Society. Annual Conference, 1988 |
| ieee 1800.2: Proceedings of 1995 IEEE International Conference on Robotics and Automation, May 21-27, 1995, Nagoya, Aichi, Japan , 1995 |
| ieee 1800.2: The Uvm Primer Ray Salemi, 2013-10 The UVM Primer uses simple, runnable code examples, accessible analogies, and an easy-to-read style to introduce you to the foundation of the Universal Verification Methodology. You will learn the basics of object-oriented programming with SystemVerilog and build upon that foundation to learn how to design testbenches using the UVM. Use the UVM Primer to brush up on your UVM knowledge before a job interview to be able to confidently answer questions such as What is a uvm_agent?, How do you use uvm_sequences?, and When do you use the UVM's factory. The UVM Primer's downloadable code examples give you hands-on experience with real UVM code. Ray Salemi uses online videos (on www.uvmprimer.com) to walk through the code from each chapter and build your confidence. Read The UVM Primer today and start down the path to the UVM. |
| ieee 1800.2: IEEE Antennas and Propagation Society International Symposium 1997 IEEE Antennas and Propagation Society. International Symposium, 1998 |
| ieee 1800.2: Oceans 2001 MTS/IEEE , 2001 |
| ieee 1800.2: 1993 IEEE International Symposium on Circuits and Systems , 1993 |
| ieee 1800.2: IEEE International Conference on Communications, 1992 IEEE Communications Society, 1992 |
| ieee 1800.2: Advanced Verification Topics Bishnupriya Bhattacharya, John Decker, Gary Hall, Nick Heaton, Yaron Kashai, Neyaz Khan, Zeev Kirshenbaum, Efrat Shneydor, 2011-09-30 The Accellera Universal Verification Methodology (UVM) standard is architected to scale, but verification is growing and in more than just the digital design dimension. It is growing in the SoC dimension to include low-power and mixed-signal and the system integration dimension to include multi-language support and acceleration. These items and others all contribute to the quality of the SOC so the Metric-Driven Verification (MDV) methodology is needed to unify it all into a coherent verification plan. This book is for verification engineers and managers familiar with the UVM and the benefits it brings to digital verification but who also need to tackle specialized tasks. It is also written for the SoC project manager that is tasked with building an efficient worldwide team. While the task continues to become more complex, Advanced Verification Topics describes methodologies outside of the Accellera UVM standard, but that build on it, to provide a way for SoC teams to stay productive and profitable. |
| ieee 1800.2: 1994 IEEE First World Conference on Photovoltaic Energy Conversion , 1994 |
| ieee 1800.2: 1998 IEEE International Conference on Evolutionary Computation Proceedings IEEE Neural Networks Council, 1998 This collection of papers from the ICEC conference covers a wide range of aspects of evolutionary computing. This includes principles of evolutionary computation such as adaptation and self-adaption, variation operators, representational issues, and theoretical investigations. |
| ieee 1800.2: Writing Testbenches: Functional Verification of HDL Models Janick Bergeron, 2012-12-06 mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification level of abstraction by introducing coverage-driven constrained-random transaction-level self-checking testbenches all made possible through the introduction of hardware verification languages (HVLs), such as e from Verisity and OpenVera from Synopsys. The state-of-art methodologies described in Writing Test benches will contribute greatly to the much-needed equivalent of a synthesis breakthrough in verification productivity. I not only highly recommend this book, but also I think it should be required reading by anyone involved in design and verification of today's ASIC, SoCs and systems. Harry Foster Chief Architect Verplex Systems, Inc. xviii Writing Testbenches: Functional Verification of HDL Models PREFACE If you survey hardware design groups, you will learn that between 60% and 80% of their effort is now dedicated to verification. |
| ieee 1800.2: Proceedings of the 2000 IEEE Sensor Array and Multichannel Signal Processing Workshop IEEE Signal Processing Society, 2000 This work contains the proceedings of the Sensor Array and Multichannel Workshop held in the year 2000. It should be useful to researchers, professors, practitioners, students and professionals. |
| ieee 1800.2: Open Verification Methodology Cookbook Mark Glasser, 2009-07-24 Functional verification is an art as much as a science. It requires not only creativity and cunning, but also a clear methodology to approach the problem. The Open Verification Methodology (OVM) is a leading-edge methodology for verifying designs at multiple levels of abstraction. It brings together ideas from electrical, systems, and software engineering to provide a complete methodology for verifying large scale System-on-Chip (SoC) designs. OVM defines an approach for developing testbench architectures so they are modular, configurable, and reusable. This book is designed to help both novice and experienced verification engineers master the OVM through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling (TLM). It leads readers from a simple connection of a producer and a consumer through complete self-checking testbenches. It explains construction techniques for building configurable, reusable testbench components and how to use TLM to communicate between them. Elements such as agents and sequences are explained in detail. |
| ieee 1800.2: Engineering Optics 2.0 Xiangang Luo, 2019-02-28 This book provides comprehensive information on the history and status quo of a new research field, which we refer to as Engineering Optics 2.0. The content covers both the theoretical basis and the engineering aspects in connection with various applications. The field of Engineering Optics employs optical theories to practical applications in a broad range of areas. However, the foundation of traditional Engineering Optics was formed several hundred years ago, and the field has developed only very gradually. With technological innovations in both the fabrication and characterization of microstructures, the past few decades have witnessed many groundbreaking changes to the bases of optics, including the generalizing of refraction, reflection, diffraction, radiation and absorption theories. These new theories enable us to break through the barriers in traditional optical technologies, yielding revolutionary advances in traditional optical systems such as microscopes, telescopes and lithography systems. |
| ieee 1800.2: Cracking Digital VLSI Verification Interview Robin Garg, Ramdas Mozhikunnath, 2016-03-13 How should I prepare for a Digital VLSI Verification Interview? What all topics do I need to know before I turn up for an interview? What all concepts do I need to brush up? What all resources do I have at my disposal for preparation? What does an Interviewer expect in an Interview? These are few questions almost all individuals ponder upon before an interview. If you have these questions in your mind, your search ends here as keeping these questions in their minds, authors have written this book that will act as a golden reference for candidates preparing for Digital VLSI Verification Interviews. Aim of this book is to enable the readers practice and grasp important concepts that are applicable to Digital VLSI Verification domain (and Interviews) through Question and Answer approach. To achieve this aim, authors have not restricted themselves just to the answer. While answering the questions in this book, authors have taken utmost care to explain underlying fundamentals and concepts. This book consists of 500+ questions covering wide range of topics that test fundamental concepts through problem statements (a common interview practice which the authors have seen over last several years). These questions and problem statements are spread across nine chapters and each chapter consists of questions to help readers brush-up, test, and hone fundamental concepts that form basis of Digital VLSI Verification. The scope of this book however, goes beyond technical concepts. Behavioral skills also form a critical part of working culture of any company. Hence, this book consists of a section that lists down behavioral interview questions as well. Topics covered in this book:1. Digital Logic Design (Number Systems, Gates, Combinational, Sequential Circuits, State Machines, and other Design problems)2. Computer Architecture (Processor Architecture, Caches, Memory Systems)3. Programming (Basics, OOP, UNIX/Linux, C/C++, Perl)4. Hardware Description Languages (Verilog, SystemVerilog)5. Fundamentals of Verification (Verification Basics, Strategies, and Thinking problems)6. Verification Methodologies (UVM, Formal, Power, Clocking, Coverage, Assertions)7. Version Control Systems (CVS, GIT, SVN)8. Logical Reasoning/Puzzles (Related to Digital Logic, General Reasoning, Lateral Thinking)9. Non Technical and Behavioral Questions (Most commonly asked)In addition to technical and behavioral part, this book touches upon a typical interview process and gives a glimpse of latest interview trends. It also lists some general tips and Best-Known-Methods to enable the readers follow correct preparation approach from day-1 of their preparations. Knowing what an Interviewer looks for in an interviewee is always an icing on the cake as it helps a person prepare accordingly. Hence, authors of this book spoke to few leaders in the semiconductor industry and asked their personal views on What do they look for while Interviewing candidates and how do they usually arrive at a decision if a candidate should be hired?. These leaders have been working in the industry from many-many years now and they have interviewed lots of candidates over past several years. Hear directly from these leaders as to what they look for in candidates before hiring them. Enjoy reading this book. Authors are open to your feedback. Please do provide your valuable comments, ratings, and reviews. |
| ieee 1800.2: Machinery Malfunction Diagnosis and Correction Robert C. Eisenmann, 1998 Specific, practical guidance for every individual involved with solving process machinery problems. The single source reference for explanations of fundamental machinery behavior, static and dynamic measurements, plus data acquisition, processing and interpretation. A variety of lateral and torsional analytical procedures, and physical tests are presented and discussed. |
| ieee 1800.2: Waste Heat Management Guidebook Kenneth G. Kreider, Michael Brewer McNeil, 1977 |
| ieee 1800.2: Conference Record of the 1989 IEEE Industry Applications Society Annual Meeting IEEE Industry Applications Society. Meeting, 1989 |
| ieee 1800.2: Discovering Black Vermont Elise A. Guyette, 2010-07-31 The search for an African American community in rural Vermont |
| ieee 1800.2: SystemVerilog For Design Stuart Sutherland, Simon Davidmann, Peter Flake, 2013-12-01 SystemVerilog is a rich set of extensions to the IEEE 1364-2001 Verilog Hardware Description Language (Verilog HDL). These extensions address two major aspects of HDL based design. First, modeling very large designs with concise, accurate, and intuitive code. Second, writing high-level test programs to efficiently and effectively verify these large designs. This book, SystemVerilog for Design, addresses the first aspect of the SystemVerilog extensions to Verilog. Important modeling features are presented, such as two-state data types, enumerated types, user-defined types, structures, unions, and interfaces. Emphasis is placed on the proper usage of these enhancements for simulation and synthesis. A companion to this book, SystemVerilog for Verification, covers the second aspect of SystemVerilog. |
IEEE - The world's largest technical professional organization ...
IEEE members share their expertise, develop industry standards, and work together to advance technology. From Societies focused on your technical interests to special interest groups …
This question is for testing whether you are a human ... - IEEE Xplore
This question is for testing whether you are a human visitor and to prevent automated spam submission. Audio is not supported in your browser.
Browse Journals & Magazines - IEEE Xplore
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity. © Copyright 2025 IEEE - All …
Institute of Electrical and Electronics Engineers - Wikipedia
The Institute of Electrical and Electronics Engineers (IEEE) [a] is an American 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other …
About IEEE
IEEE is a global network of over 486,000 engineering and STEM professionals. Our core purpose is to foster technological innovation and excellence for the benefit of humanity.
IEEE at a Glance
An overview of where IEEE stands today. This page highlights IEEE quick facts and its key offerings in areas of membership, publications, standards, societies, education and other entities.
Membership - IEEE
Join IEEE as a student and benefit from 100+ years of engineering and technological expertise. Connect instantly to a network of more than 486,000 STEM professionals and mentors and …
Publications & Research - IEEE
IEEE is a trusted source for researchers in academia, industry, and government. Whether you’re looking to contribute to a journal or magazine, write a book, or present at a conference, publish …
Get Started With Your Membership - IEEE
Start getting the most of your IEEE membership. Benefits include technical content, networking activities, career resources, discounts, and more. IEEE is the world's largest technical …
IEEE History
IEEE’s roots reach back to the 19th century. Scientists and engineers had harnessed electrical power; connected the world via transatlantic telegraph; and built ringing telephones and lights …
IEEE - The world's largest technical professional organiz…
IEEE members share their expertise, develop industry standards, and work together to advance technology. From Societies focused on your technical …
This question is for testing whether you are a human
This question is for testing whether you are a human visitor and to prevent automated spam submission. Audio …
Browse Journals & Magazines - IEEE Xplore
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing …
Institute of Electrical and Electronics Engineers - Wikip…
The Institute of Electrical and Electronics Engineers (IEEE) [a] is an American 501(c)(3) public charity professional organization for …
About IEEE
IEEE is a global network of over 486,000 engineering and STEM professionals. Our core purpose is to foster technological innovation and …
