Parameterized Data Types - 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

Parameterized Data Types #164

Open zhanghongce opened 4 years ago

zhanghongce commented 4 years ago

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