Formal Verification + CIA Triad: Winning Formula for Hardware Security

Author(s):
Vedprakash Mishra, Anshul Jain