Attend our presentation at DAC 2012 in San Francisco
Methods2Business founder and director Marleen Boonen togther with engeneering team members Milica Topić and Vladislav Palfi will host a session at DAC in San Francisco on Monday June 4th at the Cadence EDA360 Theater.
Exploring a double paradigm shift for embedded software development: virtual prototyping plus formally proven model driven software generation
This presentation will focus on both the creation and the usage of a virtual prototype for early software development and on an alternative engineering approach to generate a mathematically proven Linux software driver. The software is developed using Verum's ASD:Suite, a unique Software Design Automation Platform with formal verification. The virtual prototype was assembled using Cadence Virtual System Platform with built-in SystemC/TLM2 model generator "TLMGen" and the Cortex-A9 ARM Fast Models to run and bring up the software driver.