3 Commits

Author	SHA1	Message	Date
Eddie Hung	92d70cafec	+/cmp2lcu.v to work efficiently for fully/partially constant inputs	2020-04-03 14:28:22 -07:00
Eddie Hung	f68d723cdc	Refactor +/cmp2lcu.v into recursive techmap	2020-04-03 14:28:22 -07:00
Eddie Hung	9b63700678	techmap +/cmp2lcu.v for decomposing arithmetic compares to $lcu	2020-04-03 14:28:22 -07:00