Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria (1996)
- Authors:
- Autor USP: CHAU, WANG JIANG - EP
- Unidade: EP
- Assunto: CIRCUITOS INTEGRADOS
- Language: Português
- Imprenta:
- Source:
- Título do periódico: [Resumos]
- Conference titles: Simposio de Iniciacao Cientifica da Universidade de São Paulo
-
ABNT
SAKAI, R Y e WANG, Jiang Chau. Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria. 1996, Anais.. São Paulo: Usp, 1996. . Acesso em: 20 abr. 2024. -
APA
Sakai, R. Y., & Wang, J. C. (1996). Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria. In [Resumos]. São Paulo: Usp. -
NLM
Sakai RY, Wang JC. Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria. [Resumos]. 1996 ;[citado 2024 abr. 20 ] -
Vancouver
Sakai RY, Wang JC. Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria. [Resumos]. 1996 ;[citado 2024 abr. 20 ] - Optimized cube expansion with binary decision diagrams and expansion graphs for logic minimization
- Set containment and cube expansion with binary decision diagrams for logic synthesis
- Contribuições para atividades de síntese, verificação e teste no fluxo de projeto de ASIC'S
- New method for inverse-image computation in generating the set of equivalent states
- Minimizacao de maquinas de estados finitos por meio de bdds
- Estudo e análise do Open Core Protocol (OCP)
- Modelamento estático do transistor MOS tipo de depleção de geometria grande
- Multilevel logic minimization and test set generation using binary decision diagrams
- Geracao coletiva e compactacao de conjunto de testes em sintese logica
- Collective test generation and test set compaction
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas