Open yuex1994 opened 5 years ago
Implement refinement-map to verify oc8051 ILA model vs. RTL.
We are transiting from python interface to ILAng. For oc8051, the verification property needs to be adapted to the new refinement-mapping interface
Implement refinement-map to verify oc8051 ILA model vs. RTL.
We are transiting from python interface to ILAng. For oc8051, the verification property needs to be adapted to the new refinement-mapping interface