The mobile industry is eagerly working towards 5G, the next generation of cellular communication. 5G will be a game changer, facilitating new services, e.g. for autonomous driving and Industrial Internet-of-Things. To meet 5G’s promise will require not just new wireless frequency bands and radio tech but also a much smarter, data-oriented network, pushing the limits towards ultra-high bandwidth and ultra-low latency solutions.
The challenges of verifying software and hardware in modern SoCs are many and varied. Verification is required at all stages, from the early conceptual phases of IP design and IP selection through system design to software bring up and optimisation. There is no one solution or set of tools that provides all the answers. The requirements at different stages of the design cycle can be radically different. One commonality in all the solutions is the availability of a consistent portfolio of models that support each stage of the process and address the varying requirements.
Design and verification flows for safety critical designs, such as automotive ISO 26262 regulated development, continue to be enhanced using new techniques and technologies. These solutions have the potential to improve the reliability of designs for many applications and, as such, all engineers can learn from advancements in this area. Formal-based fault analysis and safety synthesis have emerged as key techniques for ultra reliable design development, and this tutorial will demonstrate a practical, proven flow leveraging these tools.
Autonomous driving is real. Coming out of the realm of research, autonomous vehicles are now on roads around you. Safety of these vehicles is an important consideration in their design. How do you make sure that the vehicle is safe enough for you to put your loved ones in it? This presentation will explore some challenges in making autonomous vehicles safer and to overcome these challenges.
The reliability of safety-critical chips for automotive applications is a well-known imperative for high-end vehicles, making automotive applications the driver of reliable, repeatable and verifiable functional safety.
Safety-critical designs must be free from systematic errors. Development strategies must ensure development design flaws are handled with rigorous design verification, based on certified design methodologies with intricate requirements tracking. That’s why attention is drawn more than ever to the verification flow and strategic verification planning.
In today’s and tomorrow’s systems balancing conflicting non-functional properties, such as power and performance, is of fundamental importance. This task has been posing a significant pressure on the design of the systems. Conflicting design goals have to be met while at the same time great flexibility resulting from the application scenario is required. Therefore, design solutions based on firmware that allow for the application-specific adaptability of the system are on the rise.