PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs
https://bo-yuan-huang.gitbook.io/ilang/
MIT License
75 stars 18 forks source link

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

Closed LeeOHzzZ closed 4 years ago

LeeOHzzZ commented 4 years ago

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):