PrincetonUniversity/ILAng

A Modeling and Verification Platform for SoCs using ILAs

语言：C++ · GitHub 星标：81 · Fork：21

话题：abstraction · accelerator · formal · heterogeneous · ila · ilang · system-on-chip · verification

在 GitHub 上查看原仓库