Linux driver verification
Currently, there are no tests for Linux driver itself. Automated FPGA build run in CTU synthesizes latest RTL and runs set of communication tests with SJA1000. This is good basic sanity test that "communication works". This test will not properly test following conditions:
- Error handling, REC/TEC readout towards proper value (there was a bug in driver where REC/TEC readout was swapped).
- Arbitration lost handling.
- Fault-state changes (to active, passive and bus-off, reintegration and joining the bus back-on).
This task deals with creating set of tests which will run as part of CI pipeline. These tests shall verify the functionality of Linux driver and all its corner-cases.
Several approaches are possible:
- Use Qemu + VPCIe framework and do co-simulation of GHDL + Qemu (virtual Linux + RTL simulation).
- Use some framework for linux driver testing (e.g. SymDrive, Linux driver test...)