Functional vector generation for assertion-based verification at behavioral level using interval analysis | Publicación