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)