BVM: Reformulação da metodologia de verificação funcional VeriSC.

BVM: Reformulação da metodologia de verificação funcional VeriSC.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-27T17:42:49Z No. of bitstreams: 1 HELDER FERNANDO DE ARAUJO OLIVEIRA - DISSERTAÇÃO PPGCC 2010..pdf: 2110687 bytes, checksum: 5d2a2c0f6c5039c3f21dd8219d20f122 (MD5) === Made available in DSpace on 2018-08-27T17:42:49Z (GMT). No. o...

Full description

Bibliographic Details
Main Author: OLIVEIRA, Herder Fernando de Araújo.
Other Authors: MELCHER, Elmar Uwe Kurt.
Language:Portuguese
Published: Universidade Federal de Campina Grande 2010
Subjects:
Ciência da Computação.
Verificação funcional
BVM - Verification Methodology
Metodologia de verificação funcional VeriSC
Brazil-IP Verification Methodology
Verificação formal ou estática
Circuito digital
Functional verification
Online Access:http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1559

Internet

http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1559

Similar Items