Modular Verification of RTL Processors Against ISA Contracts⭐10

A modular framework verifies RTL processors against ISA contracts, using formal specifications to enhance scalability and rigor in hardware correctness.