Restructuring of the Refinement Relation Processing Module

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

Open zhanghongce opened 3 years ago

zhanghongce commented 3 years ago

Describe your feature request.

Separate refinement relation parsing & error checking from property generation.
Add expression parsing functionality so that in the future we can easily extend it to support more syntactic sugar in the expression for auto-monitor-geneneration.