The conversation between human and AI assistant.
What resources can I use if I want to get a career in formal verification?
Yes, that would be great.
Some popular resources include the book “Introduction to Formal Verification” by Kenneth L. McMillan, the Coursera course “Hardware Security” by Ryan Kastner, and the online tutorial “Formal Verification: An Essential Toolkit for Modern VLSI”, by Cliff Cummings. Would you like me to look up more resources?