issues
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
ILA passes
#150
Closed
Bo-Yuan-Huang
closed
4 years ago
Bo-Yuan-Huang
commented
4 years ago
rewrite store-load pattern
rewrite conditional store pattern
automatically inferring missing components