Verification - 4.1 English

Soft Error Mitigation Controller Product Guide (PG036)

Document ID
PG036
Release Date
2022-05-04
Version
4.1 English

The SEM verification objectives are derived from the functional specification of the product. Verification is performed to ensure a high-quality product with a methodology that uses a hybrid approach. Testing included an emphasis on hardware verification and was complemented by a co-simulation test bench. The techniques and tools used were:

Dynamic checks, through a hardware test bench

° Functional Coverage: Compares design behavior against expected behavior

Dynamic checks, through a co-simulation test bench

° Functional Coverage: Compares design behavior against expected behavior

° Code Coverage: Records execution trace of controller FSM for analysis

Static checks, through a checking tool suite

° Linting

° Clock Domain Crossing

The SPI flash devices used in the hardware verification platform were:

M25P128 (ST Microelectronics/Numonyx)

M25L25635E (Macronix)

N25Q512 (Micron)

N25Q00 (Micron)