Uma nova abordagem para geração automática de propriedades para verificação formal de sistemas digitais em HDL

Uma nova abordagem para geração automática de propriedades para verificação formal de sistemas digitais em HDL

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. === Made available in DSpace on 2014-08-06T17:34:32Z (GMT). No. of bitstreams: 1 323601.pdf: 3499862 bytes, checksum: 6f91e543fd542988c6ea40ea...

Full description

Bibliographic Details
Main Author: Silva, Wesley Gonçalves
Other Authors: Universidade Federal de Santa Catarina
Format: Others
Language:Portuguese
Published: 2014
Subjects:
Computação
Sistemas embutidos de computador
Programas de computador -
Verificacao
Hardware -
Linguagens descritivas
Satelites artificiais
Online Access:https://repositorio.ufsc.br/xmlui/handle/123456789/122936

Internet

https://repositorio.ufsc.br/xmlui/handle/123456789/122936

Similar Items