ILAng

ILAng copied to clipboard

[ILAtor] Failure to concatenate constant with specified length in systemc model generation

3

**Describe the bug** In ILA model, concatenation with specified length of constant is often used to expand the variable's length. However, the generated systemc model fails to concatenate the specified...

LeeOHzzZ

**Describe your feature request.** Currently ILAtor(`IlaSim`) is only tested for generation. Better have test for the functional and syntactic correctness. **Describe the solution you'd like** At least have scripts in...

Bo-Yuan-Huang

ila sim--generate simulator with external memory for Qemu target

1

**Describe your feature request.** We've already had SystemC target (with external memory) generation; need to have a similar one for Qemu target.

yuex1994

**Describe the bug** Reading/using the JSON object requires a more explicit type specification. [Description](https://docs.microsoft.com/en-us/cpp/error-messages/compiler-errors-2/compiler-error-c2593?view=vs-2019) of error C2593. **Environment:** - OS: Windows server 2019 - Compiler Visual Studio 2019 **Additional context**...

Bo-Yuan-Huang

- Add interface to specify parameterized data types - SMT support for operators on parameterized data types: using UF? - Add simulator generation support for parameterized data types

zhanghongce

- export to portable - import from portable - duplicate in manager

Bo-Yuan-Huang

Current ILA verification target generation only supports Verilog. The automation part needs analysis of Verilog to create a well-formed wrapper. Some suggestions to the possible System Verilog parser we can...

zhanghongce

I ran into a compilation error within googletest when building ILAng. After updating googletest according to a [forum post](https://stackoverflow.com/questions/69935158/dummy-may-be-used-uninitialized) suggestion, the build succeeded. I made googletest a submodule for ease-of-use.

nskaplan-eng