Repositório Digital

A- A A+

Prevail-dm : a framework-based environment for formal hardware verification

.

Prevail-dm : a framework-based environment for formal hardware verification

Mostrar registro completo

Estatísticas

Título Prevail-dm : a framework-based environment for formal hardware verification
Autor Wagner, Flavio Rech
Data 1992
Assunto Cad : Sistemas digitais
Verificacao : Hardware
Vhdl
Abstract This report describes the framework-based PREVAIL-DM design environment for formal hardware verification. PREVAIL-DM integrates proof tools that are available in the PREVAIL environment around a common, VHDL-based conceptual schema. Tools are encapsulated according to a black-box approach. Design data are stored in a uni que data base, and the environment o:ffers a common main user interface, which gives access to design tools and methods and allows browsing through the database objects. Available methods to be applied on the design objects are oriented to the application semantics, thus helping to maintain ali desired schema-related integrity constraints. PREVAIL-DM is implemented upon the Cadlab framework and uses most of its main features.
Résumé Ce rapport présente l'environnement de projet PREVAIL-DM, orienté vers la preuve de circuits et systemes éler.troniques et basé sur un framework. PREVAIL-DM integre des outils de preuve disponibles dans l'environnement PREVAIL autour d'un schéma conceptuel de données commun et basé sur VHDL. Les outils sont encapsulés selon une approche black-box. Les objds de projet sont stockés dans une base de données unique, et l'environnement o:ffre une interface-usager communne qui permet l'acces à tous les outils ainsi que la navigation à tr<'l.vers la base de données. Les méthodes qui sont exécutables sur les objets de projet sont orientées vers la sémantique de l'application, de façon à aider l'usager à préserver toutes les contraintes d'intégrité liées au schéma. PREVAIL-DM est réalisé en utilisant le framework Cadlab comme plateforme et se sert de la plupart de ses plus importants services.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/129744
Arquivos Descrição Formato
000060087.pdf (1.419Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.