The SATURN Approach to SysML-Based HW/SW Codesign.
Wolfgang MüllerDa HeFabian MischkallaArthur WegelePaul WhistonPablo PeñilEugenio VillarNikolaos MitasDimitrios KritharidisFlorent AzcarateManuel CarballedaPublished in: ISVLSI (2010)
Keyphrases
- hw sw
- hardware software
- formal methods
- design methodology
- embedded systems
- safety analysis
- modeling language
- hardware and software
- hardware software partitioning
- field programmable gate array
- low cost
- model checking
- multi core processors
- software systems
- high performance computing
- hardware design
- design process
- database systems
- neural network