Logic Design and Verification Using SystemVerilog (Revised)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

SystemVerilog for Hardware Description: RTL Design and Verification

Formal Verification: An Essential Toolkit for Modern VLSI Design