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

Update CoSA Interface #131

Closed zhanghongce closed 5 years ago

zhanghongce commented 5 years ago

This pull request updates verification target generation. It works with CoSA 0.4 but there are two issues:

  1. CoSA 0.4 requires a newer version of yosys. (Tested on docker "dev" tag, where the yosys is not new enough to run with CoSA)
  2. on my local machine I'm having issues to use boolector with CoSA 0.4 (it is my own issue)

When we are ready to migrate to CoSA 0.4, we can consider whether to merge this pull request or not...

zhanghongce commented 5 years ago

Okay, I checked for the problem No.2 today and it is indeed my own problem (updating pysmt caused overwritten of the modified btor.py). I think the docker script for installing btor should work well.