Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
CODES+ISSS 2007: International Conference on Hardware/Software Codesign and System Synthesis(1)
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
Proceedings - Design Automation Conference(1)
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI(1)
Área temáticas
Ciencias de la computación(6)
Física aplicada(2)
Métodos informáticos especiales(2)
Ingeniería y operaciones afines(1)
Programación informática, programas, datos, seguridad(1)
Área de conocimiento
Ciencias de la computación(3)
Algoritmo(1)
Ingeniería de software(1)
Simulación por computadora(1)
Sistema de control(1)
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:scopusA synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
Conference ObjectAbstract: Due to the abstract and simple computation and communication mechanism in the synchronous computatioPalabras claves:Design refinement, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusApplication and verification of local nonsemantic-preserving transformations in system design
ArticleAbstract: Due to the increasing abstraction gap between the initial system model and a final implementation, tPalabras claves:Design refinement, Formal verification, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.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:scopusVerification 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:scopusSynchronization after design refinements with sensitive delay elements
Conference ObjectAbstract: The synchronous computational model with its simple computation and communication mechanism makes itPalabras claves:Design refinement, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopus