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
Open PDFAbstract
Available in full text
Date
Unknown
Authors
Publisher
Universidade de Sao Paulo Sistema Integrado de Bibliotecas - SIBiUSP