Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Open up the exciting world of electronics with 3D circuit designing tools and create your own fresh new projects. With this quick guide you’ll use high-quality graphical programs to create, modify, and update circuits in an interactive, virtual environment that can also be used in the real world. Follow along with the tutorials and get the chance to play with electronics safely before getting your hands dirty. In just a few minutes, you’ll start creating your first circuit. You’ll focus more on how the components layout together than on worrying about design to get started. Watch as different electronic components receive different signals and test them in different situations and circuit conditions first before moving on to real-life testing. When you’re ready, you’ll work with real breadboards and microcontrollers, such as the Arduino, to bring your simulated circuits and projects to life. Once you have your circuit put together, work with basic Arduino programming to give it purpose and make it respond to your commands. By the end of the book you'll have mastered the basics of both circuit design and programming. You will: Engineer electrical equipment for little to no cost Measure different electrical signals, such as voltage, temperature, light, and more Program Arduinos to work with your new circuits.

Makerspaces. --- Maker. --- Electronic circuit design.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book demonstrates the breadth and depth of IP protection through logic locking, considering both attacker/adversary and defender/designer perspectives. The authors draw a semi-chronological picture of the evolution of logic locking during the last decade, gathering and describing all the DO’s and DON’Ts in this approach. They describe simple-to-follow scenarios and guide readers to navigate/identify threat models and design/evaluation flow for further studies. Readers will gain a comprehensive understanding of all fundamentals of logic locking. Covers modern VLSI design, testability and debug, and hardware security threats at different levels of abstraction; Provides a comprehensive overview of logic locking techniques and their applications to hardware security; Covers logic locking from implementation to evaluation, different assumptions, models and abstraction layers.

Electronic circuit design. --- Embedded computer systems. --- Electronic circuits. --- Electronics Design and Verification. --- Embedded Systems. --- Electronic Circuits and Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.

Logic design. --- Logic Design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon The author outlines all of the verification sub-fields at a high level, with just enough depth to allow a manager/decision maker or an engineer to grasp the field which can then be pursued in detail with the provided references. He describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies.

Engineering. --- Logic design. --- Microprocessors. --- Electronic circuits. --- Circuits and Systems. --- Processor Architectures. --- Logic Design. --- Systems engineering. --- Computer science. --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Design and construction --- Minicomputers --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic integration, relational databases, and service-oriented computing.

Logic design. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software --- Development --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer science. --- Computer Science Logic and Foundations of Programming. --- Informatics --- Science