dz333 / secverilog

4 stars 0 forks source link

Newercode #2

Closed dz333 closed 2 years ago

dz333 commented 2 years ago

Ok this is a sort of total overhaul / debug / rework of most of the codebase. This addressed a large number of bugs / discrepancies from the papers but some remain, which will be documented in issues / examples.