Mostrando 6 resultados de: 6
Publisher
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005(1)
Proceedings -Design, Automation and Test in Europe, DATE(1)
Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006(1)
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC(1)
Proceedings of the International Symposium on System Synthesis(1)
Área de conocimiento
Red informática(4)
Ciencias de la computación(3)
Simulación por computadora(3)
Ingeniería de software(2)
Origen
scopus(6)
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:scopusTowards performance-oriented pattern-based refinement of synchronous models onto NoC communication
Conference ObjectAbstract: We present a performance-oriented refinement approach that refines a perfectly synchronous communicaPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusUsing synchronizers for refining synchronous communication onto hardware/software architectures
Conference ObjectAbstract: We have presented a formal set of synchronization components called synchronizers for refining synchPalabras claves:Autores:Ingo Sander, Jantsch A., Sicking J., Zhonghai L.Fuentes:scopusRefining synchronous communication onto network-on-chip best-effort services
Book PartAbstract: We present a novel approach to refine a system model specified with perfectly synchronous communicatPalabras claves:synchronous model; communication refinement; network-on-chipAutores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopus