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

Detalhes bibliográficos
Autor(a) principal: Wagner, Flavio Rech
Data de Publicação: 1992
Tipo de documento: Relatório
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/129744
Resumo: 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.
id UFRGS-2_33f6ef1402d95456efe493b81f9a8d9a
oai_identifier_str oai:www.lume.ufrgs.br:10183/129744
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Wagner, Flavio Rech2015-11-17T02:38:41Z1992http://hdl.handle.net/10183/129744000060087Ce 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.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.application/pdfengImagCad : Sistemas digitaisVerificacao : HardwareVhdlPrevail-dm : a framework-based environment for formal hardware verificationinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000060087.pdf.txt000060087.pdf.txtExtracted Texttext/plain65299http://www.lume.ufrgs.br/bitstream/10183/129744/2/000060087.pdf.txtb29a5607b59e45f1bad8b77c23e6c8c8MD52ORIGINAL000060087.pdf000060087.pdfTexto completoapplication/pdf1419281http://www.lume.ufrgs.br/bitstream/10183/129744/1/000060087.pdfa156e807007f5698fe6c03b345291263MD51THUMBNAIL000060087.pdf.jpg000060087.pdf.jpgGenerated Thumbnailimage/jpeg1002http://www.lume.ufrgs.br/bitstream/10183/129744/3/000060087.pdf.jpg0ed67c3e28127ea07a8bd3151ae21b44MD5310183/1297442018-10-25 09:05:28.259oai:www.lume.ufrgs.br:10183/129744Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-25T12:05:28Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Prevail-dm : a framework-based environment for formal hardware verification
title Prevail-dm : a framework-based environment for formal hardware verification
spellingShingle Prevail-dm : a framework-based environment for formal hardware verification
Wagner, Flavio Rech
Cad : Sistemas digitais
Verificacao : Hardware
Vhdl
title_short Prevail-dm : a framework-based environment for formal hardware verification
title_full Prevail-dm : a framework-based environment for formal hardware verification
title_fullStr Prevail-dm : a framework-based environment for formal hardware verification
title_full_unstemmed Prevail-dm : a framework-based environment for formal hardware verification
title_sort Prevail-dm : a framework-based environment for formal hardware verification
author Wagner, Flavio Rech
author_facet Wagner, Flavio Rech
author_role author
dc.contributor.author.fl_str_mv Wagner, Flavio Rech
dc.subject.por.fl_str_mv Cad : Sistemas digitais
Verificacao : Hardware
Vhdl
topic Cad : Sistemas digitais
Verificacao : Hardware
Vhdl
description 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.
publishDate 1992
dc.date.issued.fl_str_mv 1992
dc.date.accessioned.fl_str_mv 2015-11-17T02:38:41Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/129744
dc.identifier.nrb.pt_BR.fl_str_mv 000060087
url http://hdl.handle.net/10183/129744
identifier_str_mv 000060087
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Imag
publisher.none.fl_str_mv Imag
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/129744/2/000060087.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/129744/1/000060087.pdf
http://www.lume.ufrgs.br/bitstream/10183/129744/3/000060087.pdf.jpg
bitstream.checksum.fl_str_mv b29a5607b59e45f1bad8b77c23e6c8c8
a156e807007f5698fe6c03b345291263
0ed67c3e28127ea07a8bd3151ae21b44
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224492649807872

Registros relacionados