Read-alikes and related books

Books like SAT-Based Scalable Formal Verification Solutions

Explore 24 books like SAT-Based Scalable Formal Verification Solutions by Malay Ganai — a handpicked selection united by CAD-CAM, Circuits, Design, Graphics & Media, and Electronics.

CAD-CAM Circuits Design, Graphics & Media Electronics Electrical Software Development & Engineering Computers Technology & Engineering

Top related books to SAT-Based Scalable Formal Verification Solutions

Strong read-alikes chosen for how closely they echo the themes and feel of SAT-Based Scalable Formal Verification Solutions.

Synthesis and Control of Discrete Event Systems — Benoît Caillaud

Synthesis and Control of Discrete Event Systems

Benoît Caillaud

Themes: CAD-CAM • Circuits • Design, Graphics & Media

On-Chip Instrumentation Design and Debug for Systems on Chip — Neal Stollon

On-Chip Instrumentation Design and Debug for Systems on Chip

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Using WAVES and VHDL for Effective Design and Testing A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES) — James P. Hanna

Using WAVES and VHDL for Effective Design and Testing A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES)

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Elements of STIL Principles and Applications of IEEE Std. 1450 — Gregory A. Maston

Elements of STIL Principles and Applications of IEEE Std. 1450

Gregory A. Maston

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Advanced Verification Techniques A SystemC Based Approach for Successful Tapeout — Leena Singh

Advanced Verification Techniques A SystemC Based Approach for Successful Tapeout

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Automatic Programming Applied to VLSI CAD Software: A Case Study — Dorothy E. Setliff

Automatic Programming Applied to VLSI CAD Software: A Case Study

Dorothy E. Setliff

Themes: CAD-CAM • Circuits • Design, Graphics & Media

The Dynamics of Digital Excitation — Masakazu Shoji

The Dynamics of Digital Excitation

Themes: CAD-CAM • Circuits • Design, Graphics & Media

SOC (System-on-a-Chip) Testing for Plug and Play Test Automation — Krishnendu Chakrabarty

SOC (System-on-a-Chip) Testing for Plug and Play Test Automation

Krishnendu Chakrabarty

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Memory Architecture Exploration for Programmable Embedded Systems — Peter Grun

Memory Architecture Exploration for Programmable Embedded Systems

Themes: CAD-CAM • Circuits • Design, Graphics & Media

A Formal Approach to Hardware Design — Jørgen Staunstrup

A Formal Approach to Hardware Design

Jørgen Staunstrup

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Towards One-Pass Synthesis — Rolf Drechsler

Towards One-Pass Synthesis

Themes: CAD-CAM • Circuits • Design, Graphics & Media

High Level Synthesis of ASICs under Timing and Synchronization Constraints — David C. Ku

High Level Synthesis of ASICs under Timing and Synchronization Constraints

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification — Abdoulaye Gamatié

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification

Abdoulaye Gamatié

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies — Alberto Bosio

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Technician’s Guide to Programmable Controllers — Richard A. Cox

Technician’s Guide to Programmable Controllers

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Leakage in Nanometer CMOS Technologies — Siva G. Narendra

Leakage in Nanometer CMOS Technologies

Siva G. Narendra

Themes: CAD-CAM • Circuits • Design, Graphics & Media

The Simple Art of SoC Design Closing the Gap between RTL and ESL — Michael Keating, Synopsys Fellow

The Simple Art of SoC Design Closing the Gap between RTL and ESL

Michael Keating, Synopsys Fellow

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Writing Testbenches using SystemVerilog — Janick Bergeron

Writing Testbenches using SystemVerilog

Janick Bergeron

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Direct Transistor-Level Layout for Digital Blocks — Prakash Gopalakrishnan

Direct Transistor-Level Layout for Digital Blocks

Prakash Gopalakrishnan

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Hardware Component Modeling — Jean-Michel Bergé

Hardware Component Modeling

Jean-Michel Bergé

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods — Paul Molitor

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies — Katalin Popovici

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies

Katalin Popovici

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Introduction to Embedded System Design Using Field Programmable Gate Arrays — Rahul Dubey

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Themes: CAD-CAM • Circuits • Design, Graphics & Media

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages — Zoran Salcic

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages

Themes: CAD-CAM • Circuits • Design, Graphics & Media

A curated shelf of 24 read-alikes for SAT-Based Scalable Formal Verification Solutions by Malay Ganai — spanning CAD-CAM, Circuits, Design, Graphics & Media and featuring authors such as Benoît Caillaud, Neal Stollon, James P. Hanna, Gregory A. Maston, and others.

Explore more

More by Malay Ganai More books tagged CAD-CAM Explore Circuits

An informational database of English-language books