各種verificationをどうするか。

以下の例が示されている。

This is a fairly simple design example so the verification strategy I will be undertaking is:

Verify the hardware interfaces between the MicroZed, I/O Carrier Card, and the NeoPixel array.

Simulate the NeoPixel driver using a VHDL simulator.
Develop test software to read and write from all BRAM addresses, ensuring that the PS (Processor System) can correctly address the memory.
Develop test software to drive the first NeoPixel in the array, to verify the functioning of the NeoPixel driver, and then verify the timing waveforms sent to the NeoPixel array using an oscilloscope.
Develop test software to drive a number of pixels located at different points on the NeoPixel array (e.g. second pixel, mid pixel and final pixel in the array).
Use a terminal program to verify that the final software can respond properly to correct commands, incorrect commands, out of sequence commands, etc.
Perform final functional verification using a developed GUI to prove the final design works as specified originally.

PSをPS (Processor System)と書いているが、正しくはPS (Processing System)だ。

VHDL simulatorというのが具体的にどれを示すのかは未消化。