Chip123 科技應用創新平台

標題: verilog 寫有限狀態機的問題 [打印本頁]

作者: michael6172    時間: 2010-4-28 04:49 PM
標題: verilog 寫有限狀態機的問題
各位大大
. b0 B+ z% N$ l7 o8 z+ Y9 J6 `0 d' @* {, [; m- o! Y5 ^9 h# M
我使用的是ISE 11.1版,在寫有限狀態機的時候,沒有把所有的狀態寫完,6 H( @+ Y$ r2 |( F2 M% Y
" i7 _8 j9 ?# f
例如,用4bit共16個狀態,我只用到10個狀態,所以就寫10個狀態," s/ _% Q/ n+ B  N
  W" x) E% \: i) ]$ b% H
最後有加上default,這樣的方式寫RTL simulation 的結果是正確的,' L# Q' U- r; H( y; V/ m- s2 h

9 L, y1 e! p2 w  p/ n1 y. G但是,pose-route simulation 的結果就會有錯誤。0 C0 v8 n- A4 P2 S

% m% H0 i/ X( d8 F0 {不曉得有沒有大大遇到相同的問題,那都是怎麼解決的?
2 N( K9 w/ e; Q' x8 E. z. ~% T: I* D
麻煩各位大大分享一下
+ v! }0 d% {/ E' z; A0 x
' }& B  T6 x" M) i$ G2 R謝謝
作者: russell    時間: 2010-5-5 08:45 PM
哈囉! 我發訊息給你囉! . u3 _4 v# i' r
! e- {8 x% _5 R' `. K
需要更多的info. 來幫您解決喔!
/ L3 S. R; |% B  f/ r6 \
. k' T+ ?. c+ C' E$ Z; trussell0916@gmail.com
作者: ishoni    時間: 2010-5-10 09:34 PM
有沒有加上這句呢?
* J3 H/ _$ h7 M7 V7 Z6 I/ F. A7 m2 L" B7 E
"synopsys full_case parallel_case"
8 O# o3 j, ^1 ]( P7 N4 e- }( Q
9 U- c9 N. ~5 o. d1 d3 P0 x3 _0 T幫助描述你的case status...8 r# d( d; I5 }, G7 L8 B

' R4 c5 a  s# d0 P5 J& M* [1 S有一篇文章在討論這個:! a" W' e/ X0 D/ V2 D3 u! ^+ {
4 x- v3 W: `6 R
kunalvyas.com/Documents/fullcase%20and%20parallel%20case.pdf
作者: johndoedie    時間: 2010-5-30 10:13 PM
回復 1# michael6172
5 s1 `# I! f0 n3 f! f/ R1 R* O, ^* H2 \; {& p# N
會這樣通常是RTL model的方式不正確導致合成後產生latch,但沒看到code&你也沒詳細描述是怎樣的錯誤,很難找出問題0 f0 |9 J) F0 |, e( \
. z" `- p5 \: _0 ?% b
另外model FSM時,個人習慣分成3個always block:) s: s; \5 \1 @3 I% j9 _3 J6 G
/ s2 g. M7 f* u9 [# l/ Y  I
   1. sequential logic part for state assign
8 W0 X7 Y- }7 o/ J3 [5 R( v   2. combinational logic part for state transition
2 g  i2 H, j- u* j# E   3. combinational logic part for control signals  i  f4 L! Z/ u+ u

& h, P2 _+ L; P% n' H9 W這樣做的好處是可以讓合成器確切的合出FSM,另外閱讀時也可以很清楚的掌握狀態的改變和每個狀態所要做的事,debug的時候比較方便,希望對你有幫助,FYI。
作者: thjan65    時間: 2011-12-29 05:53 PM
樓上建議都是對的.7 x# Z( B8 @; @+ U4 i
但是等project 大了, 或是時間趕, 根本懶得 把 sequential & combinational 分開寫.
3 j/ x. F0 L% r- r3 o, Y/ a  e) h" V( l9 L
總言之, 沒看到code, 無法幫您找問題.
作者: superyoure    時間: 2012-2-14 04:01 PM
還是要把code貼出來大家才可以幫你抓問題
1 m. v$ G% q2 ]. k" M" t不然這樣的描述太籠統了




歡迎光臨 Chip123 科技應用創新平台 (http://chip123.com/) Powered by Discuz! X3.2