How does the IP Provider Verify the Compliant IP?
Logicircuit treats each IP project as if it was its own DO-254 AEH project. This process starts with planning documents and then requirements capture, and so on. Requirements are captured (via IP documentation and discussions with the commercial IP provider) for each requirement of the IP function. Then just like in a normal DO-254 program, requirements based test cases are written and run. These are typically VHDL test-benches.
The IP is thoroughly verified, testing all configuration options and suitable setting combinations. This provides “whitebox” testing of the internal function(s) of the IP based on the IP requirements. Elemental Analysis is performed using the code coverage method with suitable DAL A metrics. This demonstrates that there are no unintended functions of the IP.
