1 result found Sort:

PrincetonUniversity
ILAng PrincetonUniversity
18
75
mit
13
A Modeling and Verification Platform for SoCs using ILAs
ila ilang formal abstraction accelerator verification heterogeneous system-on-chip
Created 2017-01-11
4,043 commits to master branch, last one 2 years ago