Behavioral modeling in industrial IC design experiences and observations | IEEE Conference Publication | IEEE Xplore