Product Description CriticalBlue is a pioneer of flexible, automated embedded system design solutions that meet the increasing performance, power, and cost demands of getting advanced electronic products to market on time. With the increase in importance of advanced, multicore processor architectures, the company’s technology and expertise has been in increasing demand throughout all electronic industry sectors.
CriticalBlue’s
Prism product is an analysis and verification environment for migrating existing sequential software onto multithreaded/multicore platforms. Prism is an Eclipse plug-in, is based on dynamic analysis and works on both unmodified sequential software and parallelized code. With Prism, software developers can analyze their existing sequential code without having to do any upfront re-factoring and can explore various different ‘what-if’ scenarios to produce an efficient and effective parallel migration strategy.
Developers can investigate different parallel partitioning approaches, estimate the scalability of the identified parallel with different numbers of cores, uncover dependencies in the code which prevent parallelism being exploited and identify the required code changes to implement the parallel code; and all this analysis can be done on existing unmodified software.
Once the optimal parallelization has been identified and implemented, Prism can be used as a verification environment, ensuring that the anticipated performance gains are met with the refactored code and no concurrency defects are present in the code such as data races or deadlocks.
Interoperability Description and Customer Benefit
Customers who have software running on any Innovator virtual models of their platforms (including DesignWare System-Level Library elements) can create traces to link Innovator and Prism, enabling the following tasks:
- Analyze existing sequential code and explore the benefits of moving to a multicore platform
- Explore the most efficient parallelization strategy
- Isolate the data dependencies in the code which prevent the parallelism being extracted
- Identify the minimum set of source code changes needed to unlock the parallelism
- Verify that the parallelized code will operate correctly with consistency
Tell me more about CriticalBlue and Innovator. Flow Diagram
