Вы находитесь на странице: 1из 17

RTL Coding Guidelines

Think Synchronous
Synchronous designs run smoothly through synthesis, simulation and place-and-route Isolate necessary Asynchronous logic into separate blocks

ACK_SET ADDR_IN
ADDR DECODE

+5
GND

ACK

Asynchronous Address Decoder

AS ACK_CLR

How am I Igoing to How am going to synthesize this? synthesize this?

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 77

RTL Coding Guidelines


Think RTL
Describe the circuits in terms of its registers and the combinational logic between them
GIZMO
COMBO1 COMBO2

module GIZMO (A, CLK, Z); module GIZMO (A, CLK, Z); ... ... always @(A) begin : COMBO1... always @(A) begin : COMBO1... always @(posedge CLK)... always @(posedge CLK)... always @(B) begin : COMBO2... always @(B) begin : COMBO2... always @(posedge CLK) ... always @(posedge CLK) ... Verilog RTL Code end module; end module;

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 78

Separate Combinational from Sequential


Follows RTL coding style Easy to read and self-documenting

RTL Coding Guidelines

module EXAMPLE (DATA1,DATA2,CLK,Q) module EXAMPLE (DATA1,DATA2,CLK,Q) input DATA1,DATA2,CLK; input DATA1,DATA2,CLK; output Q; output Q; reg DATA, Q; reg DATA, Q; always @(DATA1 or DATA2) always @(DATA1 or DATA2) begin: COMBO begin: COMBO DATA <= GOBBLEDYGOOK(DATA1,DATA2); DATA <= GOBBLEDYGOOK(DATA1,DATA2); end end always @(posedge CLK) always @(posedge CLK) begin: SEQUENTIAL begin: SEQUENTIAL QQ <= DATA; <= DATA; end end endmodule endmodule Combinational Logic
DATA1 DATA2 CLK GOBBLEDY -GOOK DATA Q

Sequential Logic

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 79

IF Statements
IF statements infer multiplexer logic
always @(SEL or A or B) always @(SEL or A or B) if (SEL) if (SEL) D <= A; D <= A; else else D <= B; D <= B;

B A SEL

0 1

Latches are inferred unless all variables are assigned in all branches
always @(SEL or A) always @(SEL or A) if (SEL) if (SEL) D <= A; D <= A; 0 1

A SEL

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 80

IF Statements (cont.)
IF-ELSE-IF statements infer priority-encoded multiplexers

D
always @(SEL or A or B or C or D) always @(SEL or A or B or C or D) if (SEL[2] == 1b1) if (SEL[2] == 1b1) OUT <= A; OUT <= A; else if (SEL[1] == 1b1) else if (SEL[1] == 1b1) OUT <= B; OUT <= B; else if (SEL[0] == 1b1) else if (SEL[0] == 1b1) OUT <= C; OUT <= C; else else OUT <= D; OUT <= D;

C SEL B

0 1

SEL[0]=1

0 1

SEL[1]=1

A
SEL[2]=1

0 1

OUT

Long delay from D to OUT

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 81

IF Statements (cont.)
Remove redundant conditions Use CASE statements if conditions are mutually exclusive
Dont
always @(A or B or C or D or E) always @(A or B or C or D or E) if (A < B) if (A < B) OUT <= C; OUT <= C; else if (A > B) else if (A > B) OUT <= D; OUT <= D; else if (A == B) else if (A == B) OUT <= E; OUT <= E;

Do
always @(A or B or C or D or E) always @(A or B or C or D or E) if (A < B) if (A < B) OUT <= C; OUT <= C; else if (A > B) else if (A > B) OUT <= D; OUT <= D; else else OUT <= E; OUT <= E;

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 82

CASE Statements
Verilog Directives
full_case indicates that all user-desired cases have been specified Do not use default for one-hot encoding
one hot
always @(SEL or AA or BB or C) always @(SEL or or or C) begin begin case (SEL) //synopsys full_case case (SEL) //synopsys full_case 3b001 :: OUT <= A; 3b001 OUT <= A; 3b010 :: OUT <= B; 3b010 OUT <= B; 3b100 :: OUT <= C; 3b100 OUT <= C; endcase endcase end end always @(SEL or AA or B) always @(SEL or or B) begin begin case (SEL) case (SEL) 3b001 :: OUT <= A; 3b001 OUT <= A; 3b010 :: OUT <= B; 3b010 OUT <= B; 3b100 :: OUT <= C; 3b100 OUT <= C; endcase endcase end end
CIC Training Manual

Does not infer latches

Infers latches for OUT because not all cases are specified

HDL Coding Hints: Generic Coding Techniques & Considerations - 83

Verilog Directives (cont.)


parallel_case indicates that all cases listed are mutually exclusive to prevent priority-encoded logic

CASE Statements

always @(SEL or AA or BB or C) always @(SEL or or or C) begin begin case (SEL) //synopsys parallel_case case (SEL) //synopsys parallel_case AA :: OUT <= 3b001; OUT <= 3b001; BB :: OUT <= 3b010; OUT <= 3b010; CC :: OUT <= 3b100; OUT <= 3b100; endcase endcase end end

Infers a multiplexer

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 84

CASE vs. IF-ELSE IF


Use IF-ELSE for 2-to-1 multiplexers Use CASE for n-to-1 multiplexers where n > 2 Use IF-ELSE IF for priority encoders Use CASE with //synopsys parallel_case when conditions are mutually exclusive Use CASE with //synopsys full_case when not all conditions are specified Use CASE with //synopsys full_case parallel_case for one-hot Finite State Machines (FSMs)

CASE Statements

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 85

CASE Statements
FSM Encoding
Use CASE statements to describe FSMs Use //synopsys parallel_case to indicate mutual exclusivity Use //synopsys full_case when not all possible states are covered (one-hot) Do not use default unless recovery state is desired

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 86

CASE Statements
FSM Encoding (cont.)
module EXAMPLE (RESET, CLK, OUT); module EXAMPLE (RESET, CLK, OUT); input RESET, CLK; input RESET, CLK; output [1:0] OUT; output [1:0] OUT; parameter IDLE=4b0001, GO=4b0010, YIELD=4b0100, parameter IDLE=4b0001, GO=4b0010, YIELD=4b0100, STOP=4b1000; STOP=4b1000; reg [3:0] CURRENT_STATE, NEXT_STATE; reg [3:0] CURRENT_STATE, NEXT_STATE; always @(CURRENT_STATE) always @(CURRENT_STATE) begin: COMBO begin: COMBO case (CURRENT_STATE) // synopsys full_case parallel_case case (CURRENT_STATE) // synopsys full_case parallel_case IDLE: begin NEXT_STATE = GO; OUT <= 2b01; end IDLE: begin NEXT_STATE = GO; OUT <= 2b01; end GO: begin NEXT_STATE = YIELD; OUT <= 2b11; end GO: begin NEXT_STATE = YIELD; OUT <= 2b11; end YIELD: begin NEXT_STATE = STOP; OUT <= 2b10; end YIELD: begin NEXT_STATE = STOP; OUT <= 2b10; end STOP: begin NEXT_STATE = IDLE; OUT <= 2b00; end STOP: begin NEXT_STATE = IDLE; OUT <= 2b00; end endcase endcase end end always @(posedge CLK or negedge RESET) always @(posedge CLK or negedge RESET) begin: SEQUENTIAL begin: SEQUENTIAL if (~RESET) if (~RESET) CURRENT_STATE <= IDLE; CURRENT_STATE <= IDLE; else else CURRENT_STATE <= NEXT_STATE CURRENT_STATE <= NEXT_STATE end end endmodule endmodule
CIC Training Manual

Use parameter statements to define state values Use CASE statements and // synopsys parallel_case full_case to describe FSM

CURRENT_STATE

NEXT_STATE AND OUTPUT DECODING

STATE VECTOR

HDL Coding Hints: Generic Coding Techniques & Considerations - 87

Watch for Unintentional Latches


Completely specify all branches for every case and if statement Completely specify all outputs for every case and if statement Use //synopsys full_case if all desired cases have been specified Whats wrong with this example?
( Missing Case ) always @(SEL) always @(SEL) begin begin case (SEL) case (SEL) 2b00: A <= 1b1; 2b00: A <= 1b1; 2b01: A <= 1b0; 2b01: A <= 1b0; 2b10: B <= 1b1; 2b10: B <= 1b1; endcase endcase end end ( Missing Outputs )

CASE Statements

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 88

Cascade Chain Inference


Using cascade chains improves QoR significantly for multiplexers Completely specify all possible cases for cascade chains to be inferred
always @(SEL) always @(SEL) begin begin case (SEL) case (SEL) 3b000: OUT <= A; 3b000: OUT <= A; 3b001: OUT <= B; 3b001: OUT <= B; 3b010: OUT <= C; 3b010: OUT <= C; 3b011: OUT <= D; 3b011: OUT <= D; 3b100: OUT <= E; 3b100: OUT <= E; 3b101: OUT <= F; 3b101: OUT <= F; 3b110: OUT <= G; 3b110: OUT <= G; 3b111: OUT <= H; 3b111: OUT <= H; endcase endcase end end

CASE Statements

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 89

Multiplexers
Use IF or continuous assignment when select is a single-bit signal
always @(SEL or AA or B) always @(SEL or or B) if (SEL) if (SEL) DD <= A; <= A; else else DD <= B; <= B; --------------------------------------------assign DD == SEL ?? AA :: B; assign SEL B;

B A SEL

0 1

Use CASE statements when select is a multi-bit bus


always @(SEL or A or B always @(SEL or A or B or C or D) or C or D) begin begin case (SEL) case (SEL) 2b00 : OUT <= A; 2b00 : OUT <= A; 2b01 : OUT <= B; 2b01 : OUT <= B; 2b10 : OUT <= C; 2b10 : OUT <= C; 2b11 : OUT <= D; 2b11 : OUT <= D; endcase endcase end end

A B C D 2 SEL

00 01 10 11

OUT

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 90

Operators
Operators inferred from HDL

Adder, Subtractor, AddSub (+, -), Multiplier (*) Comparators (>, >=, <, <=, ==, !=) Incrementer, Decrementer, IncDec (+1, -1)

Example
module add (sum, a, b); module add (sum, a, b); output [15:0] sum; output [15:0] sum; input [15:0] a, b; input [15:0] a, b; assign sum == aa ++ bb ++ 1b1; assign sum 1b1; endmodule endmodule module add (sum, a, b); module add (sum, a, b); output [15:0] sum; output [15:0] sum; input [15:0] a, b; input [15:0] a, b; wire temp; wire temp; assign {sum, temp} = {a, 1b1} + {b, 1b1}; assign {sum, temp} = {a, 1b1} + {b, 1b1}; endmodule endmodule
CIC Training Manual HDL Coding Hints: Generic Coding Techniques & Considerations - 94

Design indicates two adders.

FE infers one adder with carry chain.

Operator Sharing
Operators can be shared within an always block by default Users can disable sharing
A Z

Operators

always @(SEL or A or B or C) begin if (SEL) Z = A+B; else Z = A+C; end

g arin h hS t Wi
Wi tho ut S har ing

+
C
MUX

B SEL
Smaller

+
B A
MUX

+
C

SEL

Larger

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 96

Operator Balancing
Use parenthesis to guide synthesis

Operators

A*B*C*D

(A*B)*(C*D)

CIC Training Manual

HDL Coding Hints: Generic Coding Techniques & Considerations - 98

Вам также может понравиться