New method for inverse-image computation in generating the set of equivalent states (1996)
- Authors:
- Autor USP: CHAU, WANG JIANG - EP
- Unidade: EP
- Assunto: CIRCUITOS INTEGRADOS
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: Conference of the Brazilian Microelectronics Society
-
ABNT
TERUYA, M Y e WANG, Jiang Chau. New method for inverse-image computation in generating the set of equivalent states. 1996, Anais.. Sao Paulo: Sbmicro, 1996. . Acesso em: 29 set. 2024. -
APA
Teruya, M. Y., & Wang, J. C. (1996). New method for inverse-image computation in generating the set of equivalent states. In Proceedings. Sao Paulo: Sbmicro. -
NLM
Teruya MY, Wang JC. New method for inverse-image computation in generating the set of equivalent states. Proceedings. 1996 ;[citado 2024 set. 29 ] -
Vancouver
Teruya MY, Wang JC. New method for inverse-image computation in generating the set of equivalent states. Proceedings. 1996 ;[citado 2024 set. 29 ] - 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
- Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria
- 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