Jiuyang Liu
Jiuyang Liu
I was confused by this when I refactoring it, it seems `memlib` didn't use parsed `circuit`. However, after my checking to this API again, I found it was because of...
We have dropped 2.11 in 1.5, maybe this is a dead code since 1.5?
> It is dead code in 1.5, but it wasn't dead in 1.4. Thus if someone were referring to this code in their 1.4 code, upgrading to 1.5 will just...
Another idea is back port deprecation to 1.4 branch and remove this code in master, will this be OK?
Sorry for the late replay. AFAIK, SiFive and UCB has their own transform for this feature, I personally think this can be upstreamed, if you are interested in making this...
Sorry I was on vacation last week, I can continue work on this.
Thanks @leahyao and @msyksphinz! all tests has passed, formal verification framework should wait for #51 getting merged.
Sorry @azidar i got a terribly Tonsillitis these days my work need to be delayed. I’ll put it to my next sprint.
Tonight! I will work on the yosys LEC CI tonight!
Sure, I’ll work on it tonight.