Data type analysis for hardware synthesis from object-oriented models | IEEE Conference Publication | IEEE Xplore