Verified functions for generating signed-binary arithmetic hardware (0)

by Shiu-Kai Chin
Venue:IEEE Transactions on Computer-Aided Design