Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD(1)
Área temáticas
Ciencias de la computación(2)
Física aplicada(2)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Origen
scopus(2)
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: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