Methods for computer estimation of word lengths for behaviorally synthesized digital ASICs | IEEE Conference Publication | IEEE Xplore