Professional Documents
Culture Documents
FFDD Unit 3 PPT 6 Fifo DBFSM Example
FFDD Unit 3 PPT 6 Fifo DBFSM Example
1
FUNCTIONAL AND FORMAL
VERIFICATION OF DIGITAL DESIGNS
Circular FIFO and other examples
Sudeendra kumar K
Department of Electronics and Communication Engineering
2
Functional and Formal Verification of Digital Designs
Circular FIFO Design
• A FIFO (first-in-first-out) buffer is an "elastic" storage between two
subsystems.
• It has two control signals, wr and rd, for write and read operations.
When wr is asserted, the input data is written into the buffer.
• The head of the FIFO buffer is normally always available and thus
can be read at any time.
• The rd signal actually acts like a "remove“ signal. When it is
asserted, the first item (i.e., head) of the FIFO buffer is removed
and the next item becomes available.
• The write pointer points to the head of the queue, and the read
pointer points to the tail of the queue.
• The pointer advances one position for each write or read
operation.
• A FIFO buffer usually contains two status signals, full and empty, to
indicate that the FIFO is full (i.e., cannot be written) and empty
(i.e., cannot be read), respectively.
Functional and Formal Verification of Digital Designs
Circular FIFO Design
Sys Sys
-1 -2
FIFO
Functional and Formal Verification of Digital Designs
Circular FIFO Design
17
Functional and Formal Verification of Digital Designs
Debouncing Circuit
18
Functional and Formal Verification of Digital Designs
Summary
• Formal Verification of : -
• Circular FIFO
• Debouncing Circuit
19
THANK YOU
Sudeendra kumar K
Department of Electronics and Communication
Engineering
sudeendrakumark@pes.edu
20