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.

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

SystemC simulation failure when initailizing ILA memory state with BvConst #180

Closed
LeeOHzzZ opened this issue Jun 2, 2020 · 0 comments
Closed
Assignees
Labels

Comments

@LeeOHzzZ
Copy link
Collaborator

LeeOHzzZ commented Jun 2, 2020

Describe the bug
SystemC compilation error happens when initializing the ILA memory state with BvConst

To Reproduce
Steps to reproduce the behavior:

  1. declare a memstate in ILA
  2. initialize the memstate with BvConst: instr.SetUpdate(memstate, Store(memstate, addr, BvConst(0, addr_width))
  3. compile the generated systemc code, can you will encounter error such as " memstate_sc[addr] = 0.to_int()", a constant in systemc doesn't have to_int() function.

Environment (please complete the following information):

  • OS: [e.g. Ubuntu 18.04]
  • Compiler [e.g. gcc 7.3.0, clang 6.0.0]
  • Other dependencies [e.g. z3 4.4.1, boost 1.65.0]
@LeeOHzzZ LeeOHzzZ added the bug label Jun 2, 2020
Bo-Yuan-Huang added a commit that referenced this issue Jun 8, 2020
Fix bug #180: Ilator miscall to_int() when storing constants
@yuex1994 yuex1994 closed this as completed Jun 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants