Sciweavers

27 search results - page 6 / 6
» Multi-core parallel simulation of System-level Description L...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 9 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CEC
2009
IEEE
13 years 8 months ago
JubiTool: Unified design flow for the Perplexus SIMD hardware accelerator
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
Olivier Brousse, Jérémie Guillot, Th...