search

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

VTG update #145

Closed zhanghongce closed 5 years ago

zhanghongce commented 5 years ago
  1. Support for refinement relation that does not use memory abstraction
  2. Fix parenthesis handling issue in parameter parsing
zhanghongce commented 5 years ago

Please refer to the new ILA Doc on the annotation section