Introduction to Formal Hardware Verification

Overview of attention for book

Cover of 'Introduction to Formal Hardware Verification'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 116 Dimensions

Readers on

mendeley: 32 Mendeley

Summary Patents Dimensions citations

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

116

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

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification

Conference proceeding (November 2023)

Implementation of the Verification process with Universal Verification Methodology in the Computer Systems for the VLSI course

Conference proceeding (June 2023)

Toward System-Level Assertions for Heterogeneous Systems

Book chapter (February 2023)

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

Click here to find out how to access more activity.