Skip to content

Release version 1.0.0
Compare
Choose a tag to compare
@Bo-Yuan-Huang Bo-Yuan-Huang released this 18 Sep 04:23
· 700 commits to master since this release
v1.0.0
73da002
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

The first release of ILAng. Including

  • ILA modeling
  • Importing from ItSy (synthesized abstraction)
  • Importing/exporting ILA portables
  • Exporting ILA to Verilog
  • Unrolling and exporting ILA to SMT
  • Generate verification targets based on the provided refinement relation
Assets 2
Loading