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

Compatible #124

Closed yuex1994 closed 5 years ago

yuex1994 commented 5 years ago

Add operators (srem, urem, smod, lrotate, rrotate), which are used in model for 8051.

Add tests for these operators