Functional vector generation for assertion-based verification at behavioral level using interval analysis | IEEE Conference Publication | IEEE Xplore