Async FIFO Formal Verification Project

Async FIFO Formal Verification Project An architecture diagram generated by Archify. RTL Design · Core async FIFO implementation · Architecture component RTL Design Core async FIFO implementation Formal Properties · Phase 1: Pointer protocol verification · Architecture component Formal Properties Phase 1: Pointer protocol verification Integrity Proof · Phase 2: Data Integrity · Architecture component Integrity Proof Phase 2: Data Integrity Parameter Sweep · Phase 3: Runtime vs depth analysis · Architecture component Parameter Sweep Phase 3: Runtime vs depth analysis Dual-Port RAM · Architecture component Dual-Port RAM 2-Flop Synchronizer · Architecture component 2-Flop Synchronizer Write Ptr & Full · Architecture component Write Ptr & Full Read Ptr & Empty · Architecture component Read Ptr & Empty Gray Code Invariant · Architecture component Gray Code Invariant Reset Behavior · Architecture component Reset Behavior Full/Empty Formula · Architecture component Full/Empty Formula Tagged Scoreboard · Architecture component Tagged Scoreboard P2a: No Overflow · Architecture component P2a: No Overflow P2b: No Underflow · Architecture component P2b: No Underflow P2c: Data Integrity · Architecture component P2c: Data Integrity P2d: Full Flag · Architecture component P2d: Full Flag Sweep Script · Architecture component Sweep Script Plot Script · Architecture component Plot Script verified by checked by analyzed by write data to read data from synchronizes read ptr sync write ptr enables safe CDC checks checks checks checks generates data for Legend Backend Database