About this document
FIFO OVL Checker Integration Guide by Kano Patel is a document available to read on EtoBox.
The document reviews a FIFO RTL design, highlighting its structure and status flags, and proposes the integration of OVL assertions for correctness verification. It details specific OVL checkers to ensure write and read pointers are within bounds, and prevent overflow and underflow conditions. Additionally, it provides instructions for connecting the checker in a testbench, compiling, simulating, and optional enhancements for further verification.
- Author
- Kano Patel
- Language
- EN