Hardware verification has made many advances in recent years: constrained random testing, functional and code coverage, assertion-based verification, metrics-driven verification, formal verification, requirements-based verification, and many more. As the complexity of FPGA designs used in avionics increases then the need to move away from directed testing to these more advanced techniques becomes more important. However, how do we move to such techniques and still demonstrate compliance to avionics development standards (such as DO254)?
In this workshop T&VS provides an overview of the advanced verification techniques which T&VS have used extensively for a number of years both in ASIC and FPGA development. More importantly, T&VS will show how these techniques can be used in a DO254 compliance flow.
View the Presentation Materials: