{"id":64264,"date":"2022-09-08T07:33:56","date_gmt":"2022-09-08T07:33:56","guid":{"rendered":"https:\/\/sii.pl\/?post_type=case-study&p=64264"},"modified":"2022-09-08T08:39:51","modified_gmt":"2022-09-08T08:39:51","slug":"providing-hardware-behavioral-modeling-and-system-verification","status":"publish","type":"case-study","link":"https:\/\/sii.pl\/en\/case-study\/providing-hardware-behavioral-modeling-and-system-verification\/","title":{"rendered":"Providing hardware behavioral modeling and System Verification"},"content":{"rendered":"

The challenge<\/h2>\n
\n
\n
\n
\n
\n
\n
\n

The client wanted to produce new hardware, but it could not be done without first testing a new solution. For that, the client needed help with the implementation of the SystemC models, which functionality reflects the operation of the hardware components. As the next step, the blocks had to be integrated with the QEMU platform and used as a virtual platform for the System Verification. The project also required preparation of the system tests.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

What we did<\/h2>\n

Firstly, we designed functional behavior blocks reflecting the hardware implementation. Then, we implemented low-level drivers for the software team. In order to allow easy transfer between platforms, we provided a stress testing framework for the whole system, which checks efficiency and coherency. We also designed test plans and implemented test cases to cover them. Lastly, we developed a full CI solution that covers both the simulator and emulator.<\/p>\n

Benefits for the client<\/h2>\n
\n
\n
\n
\n
\n
\n
\n
\n