Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD(1)
Proceedings - Design, Automation and Test in Europe Conference and Exhibition(1)
Área temáticas
Ciencias de la computación(3)
Métodos informáticos especiales(1)
Otras ramas de la ingeniería(1)
Principios generales de matemáticas(1)
Área de conocimiento
Ciencias de la computación(2)
Simulación por computadora(2)
Procesamiento de señales(1)
Software(1)
Origen
scopus(3)
Verification of Design Decisions in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Design refinement, System design, VerificationAutores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusPolynomial abstraction for verification of sequentially implemented combinational circuits
Conference ObjectAbstract: Todays integrated circuits with increasing complexity cause the well known state space explosion proPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusSystem level verification of digital signal processing applications based on the polynomial abstraction technique
Conference ObjectAbstract: Polynomial abstraction has been developed for data abstraction of sequential circuits, where the funPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopus