The SEM verification objectives are derived from the functional specification of the product. Verification is performed to ensure a high-quality product that uses a hardware verification methodology. The techniques and tools used were:
- Dynamic checks through a hardware test bench. The functional coverage compares design behavior against the expected behavior.
- Static checks through a checking
tool suite:
- Linting
- Clock Domain Crossing
The SPI flash devices used in the hardware verification platform were:
- Devices with 256 Mb read
boundaries:
- M25P128 (ST Microelectronics/Numonyx)
- M25L25635E (Macronix)
- N25Q512 (Micron)
- N25Q00 (Micron)
- Devices with no read boundaries:
- MT25QL01GB (Micron)
- MT25QL02GC (Micron)