Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
3Activity
0 of .
Results for:
No results containing your search query
P. 1
SystemVerilogFSM

SystemVerilogFSM

Ratings: (0)|Views: 53|Likes:
Published by kunaraj

More info:

Published by: kunaraj on Sep 13, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/28/2013

pdf

text

original

 
Synthesizable Finite State Machine Design TechniquesUsing the New SystemVerilog 3.0 Enhancements
Clifford E. Cummings
Sunburst Design, Inc.
ABSTRACT
This paper details RTL coding and synthesis techniques of Finite State Machine (FSM) design using new AccelleraSystemVerilog 3.0 capabilities. Efficient existing RTL coding styles are compared to new SystemVerilog 3.0enhanced coding styles. SystemVerilog 3.0 enumerated type and implicit port connection enhancements areemphasized in this paper, along with background information detailing reasons why the SystemVerilog 3.0enhancements were implemented as defined.
SNUG-2003San Jose, CAVoted Best Paper2
nd
Place
 
SNUG San Jose 2003Synthesizable Finite State Machine Design TechniquesRev 1.1Using the New SystemVerilog 3.0 Enhancements2
1.0
 
Introduction
The Accellera SystemVerilog 3.0 Standard[11], released at DAC 2002, includes many enhancements to the IEEEVerilog-2001 hardware description language[7]. A few of these enhancements were added to assist in the efficientdevelopment of Finite State Machine (FSM) designs.The SystemVerilog enhancements were not only added to improve RTL coding capability, but also to improvesimulation debug and synthesis capabilities.Before you can code an efficient FSM design using SystemVerilog 3.0 RTL enhancements, you need to know howto code efficient Verilog-2001 FSM designs. Section 2.0 shows efficient Verilog-2001 styles for coding FSMdesigns and Sections 10.0 shows and details SystemVerilog enhancements for FSM design.Section 8.0 also details Synopsys DC 2002.05 FSM Compiler enhancements and their impact on standard FSMdesigns.
1.1
 
FSM Coding Goals
To determine what constitutes an efficient FSM coding style, we first need to identify HDL coding goals and whythey are important. After the HDL coding goals have been identified, we can then quantify the capabilities of various FSM coding styles.The author has identified the following HDL coding goals as important when doing HDL-based FSM design:
 
The FSM coding style should be easily modifiable to change state encodings and FSM styles.
 
The coding style should be compact.
 
The coding style should be easy to code and understand.
 
The coding style should facilitate debugging.
 
The coding style should yield efficient synthesis results.
1.2
 
Important coding style notes:
There are a few FSM coding guidelines that apply to all FSM coding styles[2]. The common guidelines are:
Guideline:
Make each FSM design a separate Verilog module.It is easier to maintain the FSM code if each FSM is a separate module, plus third-party FSM optimization toolswork best on isolated and self-contained FSM designs.
Guideline:
Use parameters to define state encodings instead of the Verilog
`define
macro definition construct.If an engineer creates a large ASIC or FPGA design with multiple state machines, it is not uncommon to reusestate names such as IDLE or READ as shown in Figure 1. If 
`define
macro definitions are used to code theseFSM designs, The compiler will report "macro redefinition" warnings and any testbench that probes the internalFSM designs to extract state information will only have access to the last `IDLE or `READ state. Parameters areconstants that are local to a module and whenever a constant is added to a design, an engineer should think "useparameters" first, and only use a global macro definition if the macro is truly needed by multiple modules or theentire design.
Guideline:
When creating Verilog constants, think parameters first, then find good justification before changing touse a global
`define
macro.Most Verilog constants should be coded using parameters0.
 
SNUG San Jose 2003Synthesizable Finite State Machine Design TechniquesRev 1.1Using the New SystemVerilog 3.0 Enhancements3Figure 1 - FSM design using `define macro definitions - NOT RecommendedFigure 2 - FSM design using parameters - Recommended

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->