Modular Datapath Optimization and Verification Based on Modular-HED

Bijan Alizadeh, Masahiro Fujita. Modular Datapath Optimization and Verification Based on Modular-HED. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(9):1422-1435, 2010. [doi]

Abstract

Abstract is missing.