Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
Proceedings -Design, Automation and Test in Europe, DATE(1)
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC(1)
Proceedings of the International Symposium on System Synthesis(1)
Origen
scopus(3)
A case study of hardware and software synthesis in ForSyDe
Conference ObjectAbstract: ForSyDe (FORmal System DEsign) is a methodology which addresses the design of SoC applications whichPalabras claves:Design methodology, Hardware synthesis, Software synthesis, System designAutores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusDevelopment and application of design transformations in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusFeasibility analysis of messages for on-chip networks using wormhole routing
Conference ObjectAbstract: The feasibility of a message in a network concerns if its timing property can be satisfied without jPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopus