Checagem De Equivalência De Sequências De Estados De Projetos Digitais Em RTL Com Modelos De Referência Em Alto Nível E De Protocolo De Comunicação.

doi 10.11606/t.3.2014.tde-23122014-155143
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Universidade de Sao Paulo Sistema Integrado de Bibliotecas - SIBiUSP


Related search