Experiences applying framework-based functional verification to a design for programmable logic | Publicación