Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement oc8051 refinement map #20

Open
yuex1994 opened this issue Jul 24, 2019 · 0 comments
Open

Implement oc8051 refinement map #20

yuex1994 opened this issue Jul 24, 2019 · 0 comments
Assignees
@yuex1994
Labels
enhancement New feature or request
Projects
Maintain

Comments

@yuex1994
Copy link

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
@yuex1994 yuex1994 added the enhancement New feature or request label Jul 24, 2019
@yuex1994 yuex1994 self-assigned this Jul 24, 2019
@Bo-Yuan-Huang Bo-Yuan-Huang added this to To do in Maintain via automation Jul 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yuex1994 yuex1994

Labels
enhancement New feature or request
Projects
Maintain
  
To do
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yuex1994