Зображення обкладинки

Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems /

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented a...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Drechsler, Rolf (Редактор), Huhn, Sebastian (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Редагування:	1st ed. 2023.
Предмети:	Electronic circuits. Computer science > Mathematics. Embedded computer systems. Electronic circuit design. Electronic Circuits and Systems. Mathematical Applications in Computer Science. Embedded Systems. Electronics Design and Verification.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-28916-3
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Hardware Security Training, Hands-on!
за авторством: Tehranipoor, Mark, та інші
Опубліковано: (2023)

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
за авторством: Ranjbar, Behnaz, та інші
Опубліковано: (2024)

Hardware Security: Challenges and Solutions
Опубліковано: (2025)

Graphs in VLSI
за авторством: Bairamkulov, Rassul, та інші
Опубліковано: (2023)

Frontiers of Quality Electronic Design (QED) AI, IoT and Hardware Security /
Опубліковано: (2023)

Lifetime Reliability-aware Design of Integrated Circuits
за авторством: Raji, Mohsen, та інші
Опубліковано: (2023)

Understanding Logic Locking
за авторством: Zamiri Azar, Kimia, та інші
Опубліковано: (2024)

Enhanced Virtual Prototyping for Heterogeneous Systems
за авторством: Hassan, Muhammad, та інші
Опубліковано: (2023)

Logic Locking A Practical Approach to Secure Hardware /
за авторством: Sisejkovic, Dominik, та інші
Опубліковано: (2023)

Quantum Computing Circuits, Systems, Automation and Applications /
Опубліковано: (2024)

Formal Verification of Structurally Complex Multipliers
за авторством: Mahzoon, Alireza, та інші
Опубліковано: (2023)

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification /
за авторством: Klemmer, Lucas, та інші
Опубліковано: (2025)

Bulk-Driven Circuit Techniques for CMOS FDSOI Processes From Circuit Concept to Implementations /
Опубліковано: (2025)

CMOS-based Portable NMR/MRI Microsystems
за авторством: Fan, Shuhao, та інші
Опубліковано: (2025)

Chip-Scale Power Supplies for DC-Link and Grid Applications
за авторством: Rindfleisch, Christoph, та інші
Опубліковано: (2024)

Fully Integrated High-Voltage DC-DC and AC-DC Conversion
за авторством: Van Daele, Tuur, та інші
Опубліковано: (2025)

Analog Microelectronics
за авторством: Borgarino, Mattia
Опубліковано: (2025)

ASIC Design Implementation Process A Complete Framework /
за авторством: Golshan, Khosrow
Опубліковано: (2024)

Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits /
за авторством: Lin, Ji-Yung, та інші
Опубліковано: (2025)

Quantum Computing Architecture and Hardware for Engineers Step by Step /
за авторством: Wong, Hiu Yung
Опубліковано: (2025)

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
за авторством: Heidari Iman, Mohammad Reza
Опубліковано: (2025)

Hardware Security A Look into the Future /
за авторством: Tehranipoor, Mark, та інші
Опубліковано: (2024)

Engineering Mathematics by Example Vol. I: Algebra and Linear Algebra /
за авторством: Sobot, Robert
Опубліковано: (2025)

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /
за авторством: Pieper, Pascal, та інші
Опубліковано: (2024)

Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes
за авторством: Liu, Hsiao-Hsuan, та інші
Опубліковано: (2025)

SOC-Based Solutions in Emerging Application Domains
за авторством: Chakravarthi, Veena S., та інші
Опубліковано: (2025)

CMOS Plasma and Process Damage
за авторством: Prall, Kirk
Опубліковано: (2025)

A Problem-Solving Approach to Electric Circuits Volume III /
за авторством: Asadi, Farzin
Опубліковано: (2025)

A Problem-Solving Approach to Electric Circuits Volume II /
за авторством: Asadi, Farzin
Опубліковано: (2025)

A Problem-Solving Approach to Electric Circuits Volume IV /
за авторством: Asadi, Farzin
Опубліковано: (2025)

A Problem-Solving Approach to Electric Circuits Volume I /
за авторством: Asadi, Farzin
Опубліковано: (2025)

Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance
за авторством: Zhuldassov, Nurzhan, та інші
Опубліковано: (2025)

Machine Learning-based Design and Optimization of High-Speed Circuits
за авторством: Melikyan, Vazgen
Опубліковано: (2024)

Imaging Sensors, Power Management, PLLs and Frequency Synthesizers Advances in Analog Circuit Design 2023 /
Опубліковано: (2025)

Switched Inductor Power IC Design
за авторством: Rincón-Mora, Gabriel Alfonso
Опубліковано: (2023)

Neuromorphic Solutions for Sensor Fusion and Continual Learning Systems Applications in Drone Navigation and Radar Sensing /
за авторством: Safa, Ali, та інші
Опубліковано: (2024)

Analog Current-Mode Computational Circuits for Artificial Neural Networks
за авторством: Popa, Cosmin Radu
Опубліковано: (2025)

Random Number Generators Verilog Description, Hardware Implementation and Applications /
за авторством: de la Fraga, Luis Gerardo, та інші
Опубліковано: (2025)

Modern Programmable Interconnect Design
за авторством: Nikolić, Stefan
Опубліковано: (2025)

Quasi van der Waals Epitaxy of Nitride Semiconductor and Its Applications
за авторством: Wei, Tongbo, та інші
Опубліковано: (2025)