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
Update README.md
#166
Closed
Bo-Yuan-Huang
closed
4 years ago
Bo-Yuan-Huang
commented
4 years ago
update license info for the external SMT parser
update license info for the external VCD parser