Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

 Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Thu 16-May-24 . 11:36



Mapa Web


Localización

Noticias

Info Santander



Gestión BD
GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Functional Vector Generation for Assertion-Based Verification at Behavioral Level Using Interval Analysis
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:IEEE International High Level Design Validation and Test Workshop HLDVT’03, San Francisco, CA
Fecha:2003-11
Autores: Iñigo Ugarte
Pablo Pedro Sánchez
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos:
ISBN:0-7803-8236-6
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster