Contribuições para atividades de síntese, verificação e teste no fluxo de projeto de ASIC'S (2006)
- Autor:
- Autor USP: CHAU, WANG JIANG - EP
- Unidade: EP
- Sigla do Departamento: PSI
- Subjects: MICROELETRÔNICA; CIRCUITOS INTEGRADOS
- Language: Português
- Abstract: Neste trabalho de sistematização, ao invés de se fazer uma coletânea de todas as pesquisas nas quais o candidato participou, optou-se pela seleção de seis itens de grande pertinência e representativos dos objetivos e do espírito que nortearam a sua carreira. Assim, trabalhos desenvolvidos em temas como reconfiguração dinâmica, análise de desempenho de mios de comunicação, foram omitidos neste texto. Primeiramente, é apresentado no Capítulo 3 o trabalho de Doutorado em minimização lógica que sedimentou a carreira do candidato na área de metodologias de projeto; no Capítulo 4 e Capítulo 5, são detalhadas as duas pesquisas associadas à síntese de alto-nível que vieram em seguida, decorrentes de convênio com laboratórios franceses, um em síntese de alto-nível recursiva e outro em inserção de estruturas de auto-teste incorporado. Estes foram os primeiros trabalhos que atuou como orientador de alunos de pós-graduação e que pôde ter como pares, outros professores do Departamento. O trabalho apresentado a seguir, no Capítulo 6, refere-se à síntese lógica assíncrona, projeto em que participou colaborando com seus conhecimentos em minimização lógica. No Capítulo 7, o projeto de desenvolvimento de um adaptador de rede sem fio no protocolo Bluetooth é apresentado; trata-se do Projeto Brazil IP que foi o motivador da última pesquisa, apresentada no Capítulo 8, em verificação funcional. Para entender como cada um dos trabalhos de pesquisa realizados pelo candidato se enquadrouno tempo e dentro das metodologias de síntese, verificação e teste, no Capítulo 2 é apresentado um resumo da evolução e do estado da arte de cada uma destas atividades do fluxo de projeto. A ligação lógica entre os temas dos diversos capítulos vem da evolução e transição do trabalho do candidato pelos anos e tem a ver com as mudanças que ocorreram na área de projeto e metodologia de projetos de sistemas integrados no âmbito nacional e internacional. ) Procurou-se para todos os tópicos de pesquisa, em seus respectivos capítulos, tratá-los de maneira uniforme, sendo descritas a forma como se estabeleceram, seus resumos técnicos, as conclusões do trabalho no aspecto técnico e os benefícios que as pesquisas trouxeram à Instituição, ao grupo de pesquisa e, particularmente, ao candidato. Ao final de cada capítulos, as publicações associadas também são listadas
- Imprenta:
- Data da defesa: 01.12.2006
-
ABNT
WANG, Jiang Chau. Contribuições para atividades de síntese, verificação e teste no fluxo de projeto de ASIC'S. 2006. Tese (Livre Docência) – Universidade de São Paulo, São Paulo, 2006. . Acesso em: 24 abr. 2024. -
APA
Wang, J. C. (2006). Contribuições para atividades de síntese, verificação e teste no fluxo de projeto de ASIC'S (Tese (Livre Docência). Universidade de São Paulo, São Paulo. -
NLM
Wang JC. Contribuições para atividades de síntese, verificação e teste no fluxo de projeto de ASIC'S. 2006 ;[citado 2024 abr. 24 ] -
Vancouver
Wang JC. Contribuições para atividades de síntese, verificação e teste no fluxo de projeto de ASIC'S. 2006 ;[citado 2024 abr. 24 ] - 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
- 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
- New method for inverse-image computation in generating the set of equivalent states
- Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria
- Minimizacao de maquinas de estados finitos por meio de bdds
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas