ILAtor and z3 unroll - Githubissues

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

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

New ILAtor (class ilator) to optimize compile time and simulation time
Enrich top-level interface to help unrolling SMT (z3 specifically) of program fragments
Misc. add-ons for the above two's implementation (e.g., util and AbsKnob)
Version 1.1.0 to mark the new simulator generator.