找回密码
 注册

QQ登录

只需一步,快速开始

扫一扫,访问微社区

巢课
电巢直播8月计划
查看: 1|回复: 0
打印 上一主题 下一主题

[硬件] 走进逻辑6——逻辑设计经验小结

[复制链接]

551

主题

1470

帖子

3万

积分

EDA365管理团队

Rank: 9Rank: 9Rank: 9Rank: 9Rank: 9

积分
39487
跳转到指定楼层
1#
发表于 2019-9-27 15:08 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式

EDA365欢迎您!

您需要 登录 才可以下载或查看,没有帐号?注册

x
规范很重要! e8 s7 `" ^3 i* D; S
   工作过的朋友肯定知道,一定规模的公司里是很强调规范的,特别是对于大的设计(无论软件还是硬件),不按照规范走几乎是不可实现的。逻辑设计也是这样:如果不按规范做的话,过一个月后调试时发现有错,回头再看自己写的代码,估计很多信号功能都忘了,更不要说检错了;如果一个项目做了一半一个人走了,接班的估计得从头开始设计;如果需要在原来的版本基础上增加新功能,很可能也得从头来过,很难做到设计的可重用性。) {5 m. p. r' D/ `

4 x( K; p4 Y; T0 P% p在逻辑方面,我觉得比较重要的规范有这些:
. h& j9 Q, _* ~; U0 J7 z4 d7 w2 I   1.设计必须文档化。要将设计思路,详细实现等写入文档,然后经过严格评审通过后才能进行下一步的工作。这样做乍看起来很花时间,但是从整个项目过程来看,绝对要比一上来就写代码要节约时间,且这种做法可以使项目处于可控、可实现的状态。
/ X6 f% b" U& y6 \. T  k   2.代码规范。  u) ?( T7 l5 W, i' O; E
   a.设计要参数化。比如一开始的设计时钟周期是30ns,复位周期是5个时钟周期,我们可以这么写:
  V+ W* q" C, _- }* l2 z/ D         parameter  CLK_PERIOD = 30;4 N$ ~4 F& W' [& s6 l
         parameter  RST_MUL_TIME = 5;
- h% |. L' A  m3 |/ O         parameter  RST_TIME = RST_MUL_TIME * CLK_PERIOD;5 \+ y$ C/ K, J9 H% }1 b4 w
         ...1 F5 ]0 H/ C2 s. _: R
         rst_n = 1'b0;: T' p  O5 ?4 M; x, X
         # RST_TIME rst_n = 1'b1;4 \( Y8 G! e+ n  f" g" }) d
         ...7 ^. r0 ~+ m3 ]' c7 ]" ?
         # CLK_PERIOD/2 clk <= ~clk;0 Z- i  K8 K% M7 [
    如果在另一个设计中的时钟是40ns,复位周期不变,我们只需对CLK_PERIOD进行重新例化就行了,从而使得代码更加易于重用。( n9 q" I+ s/ a& x" g
   b.信号命名要规范化。( U- N  f  O, q0 f3 }% Z, W0 A
   1) 信号名一律小写,参数用大写。+ }2 u4 H+ q1 h& A$ i7 ~9 [
   2) 对于低电平有效的信号结尾要用_n标记,如rst_n。3 ^! `$ _- Q  u8 {' b. X2 K
   3) 端口信号排列要统一,一个信号只占一行,最好按输入输出及从哪个模块来到哪个模块去的关系排列,这样在后期仿真验证找错时后  方便很多。如:' v0 P6 Y0 T( G$ I
      module a(' n* c0 {' F6 L  F
               //input$ b1 z$ `" H6 D; W6 a
               clk,# f6 I1 g( h  I& V" g
               rst_n,   //globle signal, ]/ l% s: h( Q$ ]& p
               wren,
5 r8 M3 |: _  j; x5 O' q4 Z               rden,! u" J5 ^) o; e3 A( \
               avalon_din,  //related to avalon bus9 `$ _) o* S0 g4 E3 B* Z9 Z4 A, z$ s
               sdi,         //related to serial port input
# S; c# q# H( s/ t( }2 O- u               //output; e; r. i* f& Q, I- ?0 K5 s0 a% g
               data_ready,' v1 T: @: ]5 V& J$ e7 P  x2 t8 _
               avalon_dout, //related to avalon bus
4 B; n) p; u6 E) ]               ..." z( D/ G, a% \+ u2 R8 O
              );' r* n9 [1 O5 b* b
      4) 一个模块尽量只用一个时钟,这里的一个模块是指一个module或者是一个entity。在多时钟域的设计中涉及到跨时钟域的设计中最好有专门一个模块做时钟域的隔离。这样做可以让综合器综合出更优的结果。: u) J6 k: b1 y1 r7 H7 c8 V
      5) 尽量在底层模块上做逻辑,在高层尽量做例化,顶层模块只能做例化,禁止出现任何胶连逻辑(glue logic),哪怕仅仅是对某个信号取反。理由同上。
( S  u3 S: q# s7 j      6) 在FPGA的设计上禁止用纯组合逻辑产生latch,带D触发器的latch的是允许的,比如配置寄存器就是这种类型。
$ y9 V4 i  o4 V; o4 Y8 X      7) 一般来说,进入FPGA的信号必须先同步,以提高系统工作频率(板级)。
5 r! P8 w* X4 V3 m  x4 z       所有模块的输出都要寄存器化,以提高工作频率,这对设计做到时序收敛也是极有好处的。
7 U0 Y# i( T9 c. ?8 @      9) 除非是低功耗设计,不然不要用门控时钟--这会增加设计的不稳定性,在要用到门控时钟的地方,也要将门控信号用时钟的下降沿 打一拍再输出与时钟相与。
0 |4 {8 W/ ?6 S- j' m               clk_gate_en      --------                    ----
# [2 I- b) n( W) g              -----------------|D     Q |------------------|     \ gate_clk
0 v0 p9 @$ Z; n_out
- Q/ Z6 }) r- u3 w9 S                               |        |         ---------|      )--------% q4 `/ s+ h) e8 m% F
-% Y8 v; I; `" x3 m4 h0 L; w; `$ ~
                        ------o|>       |         |        |     /
0 H" B3 j* v( O( i' r                clk    |       --------           |         ----. S) o% Y- I& I& q
              ------------------------------------4 K7 |) S" p9 O8 Y9 w1 m
      10)禁止用计数器分频后的信号做其它模块的时钟,而要用改成时钟使能的方式,否则这种时钟满天飞的方式对设计的可靠性极为不利,也大大增加了静态时序分析的复杂性。如FPGA的输入时钟是25M的,现在系统内部要通过RS232与PC通信,要以rs232_1xclk的速率发送数据。5 V1 _1 M8 i# D2 O: L! s; T
        不要这样做:1 U5 A* L: v! P! H( l- ?
        always (posedge rs232_1xclk or negedge rst_n)1 ~' }2 @: W; Z/ z3 v+ \
        begin) }* Q8 n0 m8 f' ]7 s/ f
            ...7 j3 w! V1 K$ w8 c
        end
4 E0 F1 E$ n# p  g1 Y2 B% h        而要这样做:  q0 `7 H, i9 V4 |5 u
        always (posedge clk_25m or negedge rst_n)
2 Z9 `8 g* {5 ~6 M! z8 O( Z) l        begin
8 m# X- h- f( O' v, S; Y            ..." S' w0 u& k# _
            else if ( rs232_1xclk == 1'b1 )4 O: u" R, t$ o( j6 c- ^& N
            ...( T1 b/ D: d4 ~; v5 b5 Z
        end
& G+ l8 D7 _' U% H; \  L      11)状态机要写成3段式的(这是最标准的写法),即  J& b& r1 \8 x* i3 F# ?8 r2 r
         ...
  K4 }, y! q6 _9 j         always @(posedge clk or negedge rst_n)
: i2 G; ~4 h( W! ^% S! o         ...
* F" n. W6 B' ?: V; T$ X) v             current_state <= next_state;) S" q% D7 n6 P" s' K5 E! k
         ...
" m' B8 e$ }! f/ L0 c- S         always @ (current_state ...)# P7 F8 @- |" Y. w
         ...8 z  ~% o4 i1 K3 O( L8 y# C" V
         case(current_state)
3 K4 f$ v5 F) y4 p2 `$ }0 P% m2 E               ...
: E5 z1 c5 F- i" s! `+ ?; {               s1:
2 B3 b2 D, f& p+ g. \  z: Z' h$ l                  if ...; M* a6 r/ s$ N! c& G0 N$ ^
                    next_state = s2;& V9 ^* n0 @$ d  _
               ...
9 I% D* z$ X% `8 O& }# ~         ...
7 y& b: B+ }8 g4 d0 [         always @(posedge clk or negedge rst_n)3 i: k6 ]7 E: [& H& I6 a
         ...0 G+ p  E+ M7 y6 q. O
             else
. Z+ z$ M9 n  v. s                a <= 1'b0;
) y% `6 }2 k* o4 j# b/ z) d                c <= 1'b0;
4 V; s; \+ T# `8 U4 @0 X+ f                c <= 1'b0;            //赋默认值
8 J3 a: p! E- S2 d$ T& \1 l                 case(current_state)
" E# o. r4 P" K& S2 \                     s1:. X. Z3 N8 Z* z9 c+ v9 z& D$ r+ y
                         a <= 1'b0;   //由于上面赋了默认值,这里就不用再对b、c赋值了(b、c在该状态为0,不会产生锁存器,下同)
5 r) P' l$ a" e1 l/ C                     s2:0 \: |# b, t  b( V" F& O# e) M
                         b <= 1'b1;7 O# O0 p, E# w' g! g! q
                     s3:
+ ~5 d0 n  d+ k7 r                         c <= 1'b1;
4 o3 c4 ^# q- k( _: f                     default:1 H- T4 T, ]- d8 s
                     ...6 g& C1 a" d; H0 n' s* B
        ...4 D5 r5 ^, R& p$ Y9 S7 b
      3.ALTERA参考设计准则
- L4 B2 j. k. _       1) Ensure Clock, Preset, and Clear configurations are free of glitches.
, H6 f) `! {  Y: j7 H$ c1 Q       2) Never use Clocks consisting of more than one level of combinatorial logic.$ o$ s& b# _% [1 I
       3) Carefully calculate setup times and hold times for multi-Clock systems.
7 @9 N4 O! c4 l% j( `- T& K       4) Synchronize signals between flipflops in multi-Clock systems when the setup and hold time requirements cannot be met.7 k6 O( y7 E: L$ L1 _
       5) Ensure that Preset and Clear signals do not contain race conditions.: I# }5 [" E4 a; w: Y
       6) Ensure that no other internal race conditions exist.* {8 a' `" o1 W5 B9 B
       7) Register all glitch-sensitive outputs." g) O4 {3 r6 F: C0 y2 D
       8) Synchronize all asynchronous inputs.+ ]4 N  t4 o; B5 `
       9) Never rely on delay chains for pin-to-pin or internal delays.
( l' j$ U% }4 }       10)Do not rely on Power-On Reset. Use a master Reset pin to clear all flipflops.) S+ O4 q! N/ H1 t1 ?" J$ E. Y. {
       11)Remove any stuck states from state machines or synchronous logic.
8 a- a, {2 B) z* b9 T    其它方面的规范一时没有想到,想到了再写,也欢迎大家补充。
. I9 \7 I! d$ K- t=======================================================
0 D; |7 Q2 D7 \, n2 P时序是设计出来的
! E( O. t# W6 L/ N   我的boss有在华为及峻龙工作的背景,自然就给我们讲了一些华为及altera做逻辑的一些东西,而我们的项目规范,也基本上是按华为的那一套去做。在工作这几个月中,给我感触最深的是华为的那句话:时序是设计出来的,不是仿出来的,更不是凑出来的。
( T9 A  X3 f) s, g7 @   在我们公司,每一个项目都有很严格的评审,只有评审通过了,才能做下一步的工作。以做逻辑为例,并不是一上来就开始写代码,而是要先写总体设计方案和逻辑详细设计方案,要等这些方案评审通过,认为可行了,才能进行编码,一般来说这部分工作所占的时间要远大于编码的时间。
3 F+ F# ~" x& ~9 B, O   总体方案主要是涉及模块划分,一级模块和二级模块的接口信号和时序(我们要求把接口信号的时序波形描述出来)以及将来如何测试设计。在这一级方案中,要保证在今后的设计中时序要收敛到一级模块(最后是在二级模块中)。什么意思呢?我们在做详细设计的时候,对于一些信号的时序肯定会做一些调整的,但是这种时序的调整最多只能波及到本一级模块,而不能影响到整个设计。记得以前在学校做设计的时候,由于不懂得设计时序,经常因为有一处信号的时序不满足,结果不得不将其它模块信号的时序也改一下,搞得人很郁闷。) m9 u% I: H( P* ]5 a& t
   在逻辑详细设计方案这一级的时候,我们已经将各级模块的接口时序都设计出来了,各级模块内部是怎么实现的也基本上确定下来了。, ~. n& g; D) n' S
   由于做到这一点,在编码的时候自然就很快了,最重要的是这样做后可以让设计会一直处于可控的状态,不会因为某一处的错误引起整个设计从头进行。
& ]% j$ ?# [- |  P3 Z   版权所有,未经作者允许,禁止用于商业性质的转载;如对此文有疑问或想给作者提建议请给作者发email:wangdian@tom.com
5 @0 P# g1 O+ e& x; S* E+ y+ g==========================================================
7 P5 q$ f$ F; ~' {, d( n2 U如何提高电路工作频率0 T: I! X( ?: }
   对于设计者来说,我们当然希望我们设计的电路的工作频率(在这里如无特别说明,工作频率指FPGA片内的工作频率)尽量高。我们也经常听说用资源换速度,用流水的方式可以提高工作频率,这确实是一个很重要的方法,今天我想进一步去分析该如何提高电路的工作频率。# L* G' Z; J1 ?5 f5 \, W7 a
   我们先来分析下是什么影响了电路的工作频率。/ h, K* H% g' n6 B
   我们电路的工作频率主要与寄存器到寄存器之间的信号传播时延及clock skew有关。在FPGA内部如果时钟走长线的话,clock skew很小,基本上可以忽略, 在这里为了简单起见,我们只考虑信号的传播时延的因素。' c7 A9 u& ]* m% Q! |5 ^
   信号的传播时延包括寄存器的开关时延、走线时延、经过组合逻辑的时延(这样划分或许不是很准确,不过对分析问题来说应该是没有可以的),要提高电路的工作频率,我们就要在这三个时延中做文章,使其尽可能的小。% r* w- ?8 q% T: W5 Y1 L( d
   我们先来看开关时延,这个时延是由器件物理特性决定的,我们没有办法去改变,所以我们只能通过改变走线方式和减少组合逻辑的方法来提高工作频率。1 O8 Q% s0 h; O, q+ P
   1.通过改变走线的方式减少时延。
% [6 m9 `7 `3 P1 N. M   以altera的器件为例,我们在quartus里面的timing closure floorplan可以看到有很多条条块块,我们可以将条条块块按行和按列分,每一个条块代表1个LAB,每个LAB里有8个或者是10个LE。它们的走线时延的关系如下:同一个LAB中(最快) < 同列或者同行 < 不同行且不同列。2 L% ]1 r5 J  z/ j
   我们通过给综合器加适当的约束(不可贪心,一般以加5%裕量较为合适,比如电路工作在100Mhz,则加约束加到105Mhz就可以了,贪心效果反而不好,且极大增加综合时间)可以将相关的逻辑在布线时尽量布的靠近一点,从而减少走线的时延。(注:约束的实现不完全是通过改进布局布线方式去提高工作频率,还有其它的改进措施)
7 N7 K+ R( u2 P$ ]   2.通过减少组合逻辑的减少时延。+ J) f# @& a. R+ K
   上面我们讲了可以通过加约束来提高工作频率,但是我们在做设计之初可万万不可将提高工作频率的美好愿望寄托在加约束上,我们要通过合理的设计去避免出现大的组合逻辑,从而提高电路的工作频率,这才能增强设计的可移植性,才可以使得我们的设计在移植到另一同等速度级别的芯片时还能使用。
! g/ R% j2 B3 U. a   我们知道,目前大部分FPGA都基于4输入LUT的,如果一个输出对应的判断条件大于四输入的话就要由多个LUT级联才能完成,这样就引入一级组合逻辑时延,我们要减少组合逻辑,无非就是要输入条件尽可能的少,,这样就可以级联的LUT更少,从而减少了组合逻辑引起的时延。8 l9 x5 Z7 v5 c1 ~
   我们平时听说的流水就是一种通过切割大的组合逻辑(在其中插入一级或多级D触发器,从而使寄存器与寄存器之间的组合逻辑减少)来提高工作频率的方法。比如一个32位的计数器,该计数器的进位链很长,必然会降低工作频率,我们可以将其分割成4位和8位的计数,每当4位的计数器计到15后触发一次8位的计数器,这样就实现了计数器的切割,也提高了工作频率。" v: k% f1 K* {+ p9 r/ }4 `
   在状态机中,一般也要将大的计数器移到状态机外,因为计数器这东西一般是经常是大于4输入的,如果再和其它条件一起做为状态的跳变判据的话,必然会增加LUT的级联,从而增大组合逻辑。以一个6输入的计数器为例,我们原希望当计数器计到111100后状态跳变,现在我们将计数器放到状态机外,当计数器计到111011后产生个enable信号去触发状态跳变,这样就将组合逻辑减少了。
, m, @+ m- o$ H0 g+ E1 q   上面说的都是可以通过流水的方式切割组合逻辑的情况,但是有些情况下我们是很难去切割组合逻辑的,在这些情况下我们又该怎么做呢?) v+ k/ W, Z# A3 R1 k9 }0 D
   状态机就是这么一个例子,我们不能通过往状态译码组合逻辑中加入流水。如果我们的设计中有一个几十个状态的状态机,它的状态译码逻辑将非常之巨大,毫无疑问,这极有可能是设计中的关键路径。那我们该怎么做呢?还是老思路,减少组合逻辑。我们可以对状态的输出进行分析,对它们进行重新分类,并根据这个重新定义成一组组小状态机,通过对输入进行选择(case语句)并去触发相应的小状态机,从而实现了将大的状态机切割成小的状态机。在ATA6的规范中(硬盘的标准),输入的命令大概有20十种,每一个命令又对应很多种状态,如果用一个大的状态机(状态套状态)去做那是不可想象的,我们可以通过case语句去对命令进行译码,并触发相应的状态机,这样做下来这一个模块的频率就可以跑得比较高了。, d- r2 Q3 `; }9 S; ?
   总结:提高工作频率的本质就是要减少寄存器到寄存器的时延,最有效的方法就是避免出现大的组合逻辑,也就是要尽量去满足四输入的条件,减少LUT级联的数量。我们可以通过加约束、流水、切割状态的方法提高工作频率。
) @" E# G/ ?' Z. u# c==============================================================3 u6 ]7 S/ @" N6 Q
做逻辑的难点在于系统结构设计和仿真验证0 t  I" G2 u6 w
   刚去公司的时候BOSS就和我讲,做逻辑的难点不在于RTL级代码的设计,而在于系统结构设计和仿真验证方面。目前国内对可综合的设计强调的比较多,而对系统结构设计和仿真验证方面似乎还没有什么资料,这或许也从一个侧面反映了国内目前的设计水平还比较低下吧。$ k' j7 n% \4 @9 m
   以前在学校的时候,总是觉得将RTL级代码做好就行了,仿真验证只是形式而已,所以对HDL的行为描述方面的语法不屑一顾,对testbench也一直不愿意去学--因为觉得画波形图方便;对于系统结构设计更是一点都不懂了。/ B% g" U' y  l  D
   到了公司接触了些东西才发现完全不是这样。
7 g: }* e: ]/ E+ U% z# N1 h   其实在国外,花在仿真验证上的时间和人力大概是花在RTL级代码上的两倍,现在仿真验证才是百万门级芯片设计的关键路径。仿真验证的难点主要在于怎么建模才能完全和准确地去验证设计的正确性(主要是提高代码覆盖),在这过程中,验证速度也是很重要的。; H6 q5 B% d4 x
   验证说白了也就是怎么产生足够覆盖率的激励源,然后怎么去检测错误。我个人认为,在仿真验证中,最基本就是要做到验证的自动化。这也是为什么我们要写testbench的原因。在我现在的一个设计中,每次跑仿真都要一个小时左右(这其实算小设计)。由于画波形图无法做到验证自动化,如果用通过画波形图来仿真的话,一是画波形会画死(特别是对于算法复杂的、输入呈统计分布的设计),二是看波形图要看死,三是检错率几乎为零。
% v6 @: S  }# L+ l5 ]   那么怎么做到自动化呢?我个人的水平还很有限,只能简单地谈下BFM(bus function model,总线功能模型)。. y" @/ O5 e& l$ |1 X0 h
   以做一个MAC的core为例(背板是PCI总线),那么我们需要一个MAC_BFM和PCI_BFM及PCI_BM(PCI behavior model)。MAC_BFM的主要功能是产生以太网帧(激励源),随机的长度和帧头,内容也是随机的,在发送的同时也将其复制一份到PCI_BM中;PCI_BFM的功能则是仿PCI总线的行为,比如被测收到了一个正确帧后会向PCI总线发送一个请求,PCI_BFM则会去响应它,并将数据收进来;PCI_BM的主要功能是将MAC_BFM发送出来的东西与PCI_BFM接收到的东西做比较,由于它具有了MAC_BFM的发送信息和PCI_BFM的接收信息,只要设计合理,它总是可以自动地、完全地去测试被测是否工作正常,从而实现自动检测。" u' @7 |$ W8 j. @* e
   华为在仿真验证方面估计在国内来说是做的比较好的,他们已建立起了比较好的验证平台,大部分与通信有关的BFM都做好了,听我朋友说,现在他们只需要将被测放在测试平台中,并配置好参数,就可以自动地检测被测功能的正确与否。
& q8 t# X( `% C& Q   在功能仿真做完后,由于我们做在是FPGA的设计,在设计时已经基本保证RTL级代码在综合结果和功能仿真结果的一致性,只要综合布局布线后的静态时序报告没有违反时序约束的警告,就可以下到板子上去调试了。事实上,在华为中兴,他们做FPGA的设计时也是不做时序仿真的,因为做时序仿真很花时间,且效果也不见得比看静态时序分析报告好。6 S. P- \" r+ x7 n+ s3 ~
   当然了,如果是ASIC的设计话,它们的仿真验证的工作量要大一些,在涉及到多时钟域的设计时,一般还是做后仿的。不过在做后仿之前,也一般会先用形式验证工具和通过静态时序分序报告去查看有没有违反设计要求的地方,这样做了之后,后仿的工作量可以小很多。
* c3 U, ~4 r8 B( i& U# ?; [7 B   在HDL语言方面,国内语言很多人都在争论VHDL和verilog哪个好,其实我个人认为这并没有多大的意义,外面的大公司基本上都是用verilog在做RTL级的代码,所以还是建议大家尽量学verilog。在仿真方面,由于VHDL在行为级建模方面弱于verilog,用VHDL做仿真模型的很少,当然也不是说verilog就好,其实verilog在复杂的行为级建模方面的能力也是有限的,比如目前它还不支持数组。在一些复杂的算法设计中,需要高级语言做抽象才能描述出行为级模型。在国外,仿真建模很多都是用System C和E语言,用verilog的都算是很落后的了,国内华为的验证平台好像是用System C写。" n2 j! {( R( h' {) }
   在系统结构设计方面,由于我做的设计还不够大,还谈不上什么经验,只是觉得必须要具备一些计算机系统结构的知识才行。划分的首要依据是功能,之后是选择合适的总线结构、存储结构和处理器架构,通过系统结构划分要使各部分功能模块清晰,易于实现。这一部分我想过段时间有一点体会了再和大家分享,就先不误导大家了。
分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友 微信微信
收藏收藏 支持!支持! 反对!反对!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

推荐内容上一条 /1 下一条

巢课

技术风云榜

关于我们|手机版|EDA365 ( 粤ICP备18020198号 )

GMT+8, 2025-4-12 03:03 , Processed in 0.057825 second(s), 32 queries , Gzip On.

深圳市墨知创新科技有限公司

地址:深圳市南山区科技生态园2栋A座805 电话:19926409050

快速回复 返回顶部 返回列表