The register verification process consists of access verification and functional verification. Register access verification ensures that each register can be correctly accessed in any succession
Some time ago we developed a lightweight register modeling framework, amiq_rm, similar with the uvm_reg and vr_ad libraries. We implemented amiq_rm in C++ such that