Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Proceedings - Design Automation Conference(1)
Proceedings of the International Symposium on System Synthesis(1)
Origen
scopus(2)
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:scopusTransformation based communication and clock domain refinement for system design
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. In this paper we present formalPalabras claves:Design refinement, System design, System modelingAutores:Ingo Sander, Jantsch A.Fuentes:scopus