Case Study: Land Vehicle Fire Control

Phixos were requested to perform full independent verification of the Fire Control System (FCS) for a family of Land Vehicles.

This system was across 3 FPGA targets, including 1 Partitioned FPGA (2 Systems on 1 FPGA). Full black box testing including the verification of the  implementation of MILCAN (Military CAN IP) to ISO 61508 Sil 2. Full Black Box Unit Test in ModelSim and Verification Test Plan creation in Doors.