Logic Synthesis and Verification

Overview of attention for book

Cover of 'Logic Synthesis and Verification'

Table of Contents

Attention for Chapter 12: Sat and ATPG: Algorithms for Boolean Decision Problems

Altmetric Badge

Citations

dimensions_citation: 51 Dimensions

Readers on

mendeley: 2 Mendeley

Summary Dimensions citations

So far, Dimensions has found 51 publications that cite this research output.

51

The most recent citing publications are shown below. View all 51 publications that cite this research output on Dimensions.

Classification Functions for Machine Learning and Data Mining

Monograph (January 2024)

Logic Synthesis for VLSI-Based Combined Finite State Machines, Synthesis Targeting ASICs, CPLDs and FPGAs

Monograph (January 2022)

Mitigation and Predictive Assessment of SET Immunity of Digital Logic Circuits for Space Missions

Article in Aerospace (February 2020)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.