Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | +/cmp2lcu.v to work efficiently for fully/partially constant inputs | Eddie Hung | 2020-04-03 | 1 | -33/+42 |
* | Refactor +/cmp2lcu.v into recursive techmap | Eddie Hung | 2020-04-03 | 1 | -38/+65 |
* | Cleanup | Eddie Hung | 2020-04-03 | 1 | -31/+28 |
* | Cleanup cmp2lcu.v | Eddie Hung | 2020-04-03 | 1 | -16/+16 |
* | techmap +/cmp2lcu.v for decomposing arithmetic compares to $lcu | Eddie Hung | 2020-04-03 | 1 | -0/+83 |