uart 16550 FIFO問題

addn

各位 大大
6 v0 p, o8 v- Y6 S) @# ]% F7 W請問有人知道uart 16550 的FIFO的電路結構嗎
% m0 L! e% s8 D. ]2 Y8 g0 t* k3 {
因為以前有用vhdl做一8250的功能
+ W0 p0 N: P) O+ W+ D5 A& s想加上FIFO ,變成16550的功能
所以才會想了解16550 FIFO的電路結構
) ]: U1 T- w2 v! D3 J& d  L8 p. T/ {
5 `; w' U/ k* ]/ r& m# s依照data sheet看起來似乎是用異步fifo
$ f. A( Q* y; \+ }% Q  G: N* K$ x寫入跟讀出fifo可以同時操作

; ?/ i1 |% |: b6 G' w% g0 y2 n可是我想到的fifo結構如果同時寫入跟讀出的話,就有機會
會發生full,empty,level trigger判斷錯誤,如下圖所示
: R( _8 o/ S9 @( Q! y- [

tommywgt

非常抱歉, 這個本來的討論被我不小心刪了才要害你重貼, 那天回了很多, 這次我就回的簡潔一點好了
3 R7 Y4 _0 Y; e# R
2 v) E$ A/ y' M& s5 @( ^
+ t$ C7 T: c% ]% ]7 M# E對於類似因不同clock所引起的問題我的看法有二個:
* {  l5 j, [/ Z% B7 w1) 使用handshake來完成資料交換 (包括status)
* s7 A3 @; B- H7 o1 u2) 使用較高的clock
* J' i0 C; K& B
/ n- W$ \7 o& L由於第2點你已經有提過了, 所以我就針對第2點討論好了
1 s3 a) y9 a# U4 ~  e使用較高的clock可以有二個方式:
1) 使用二個clock之間較高的那一個
2) 使用更高的clock

$ G5 g4 M2 ]1 [. z無論是選1或2, 都會遇到你說的那個問題
3 N5 d9 U3 N6 R我們的目的是不管選用哪種方式都希望可以很穩定的讀取到正確的資料, 接下來我們以RX FIFO來討論好了
4 i! z# h3 ?5 K; j7 U% e' |9 F假設我們在/RD時(讀STATUS)剛好有一筆資料進到RX buffer, 可能對empty及full造成以下幾個可能
5 v- r# H1 I! z9 z2 e1) 本來emptyl變成沒有empty
: V1 }7 J- a) \2) 本來沒有full變成full
2 [1 v8 T5 m: c( Y) r4 s  r3) 本來不是empty而且buffer也還夠所以empty跟full都沒改變

3 w, w: X* y+ z0 r3 e7 A$ B8 Q8 |對於case2, 3因為不會造成任何問題, 所以估且不加以討論, 討論case 1的話會發現在/RD出現時有可能
1) /RD讀到empty, 故CPU會以為沒資料而去處理別的事, 過會兒再來讀status時才把資料捉走
2) /RD讀到沒有empty, 程式直接捉走FIFO的資料
! L/ n! L- I7 A% ^
: r4 P5 T9 ~: n3 l2 ~我只能說以上二種情況也不會有問題的, 主要的原因是這幾個信號都是1 bit.
1 {* p: Z/ h" a0 i' w
再回到你顧慮的問題討論
+ p/ H- [, T; t5 ?8 ]( _假設說這個status是超過1 bit, 例如: buffer資料的長度, 假設FIFO長度是8的話, 那麼這個值要有3 bits類似的情況發生在/RD時有可能因為011->100時讀到111, 這個也是你圖中所表示的問題, 針對類似的問解決方法應該不少, 我在這提出一個個人的看法 (這個問題用handshake的方法也是可以解決的)
0 \* x" a3 b  p3 k: c6 k
下圖是說將資料多COPY一份, 這一份資料的UPDATE跟原來的資料差了一個clock cycle
! U  _# }" |6 D# w0 |* m1 I假設在/RD時剛好發生資料改變的話, 只有一個值會有問題, 透過VOTE找出沒問題的那二個再決定輸出哪一個穩定的值即可
% w# y% ?( M' A" f& R
以上, 希望會有幫助

tommywgt

類似因為不同clock而造成的問題在設計時常會遇到

, r; J4 `: a5 h6 O, R1 d有人有別的好答案嗎?

addn

您好
% @4 J+ I: z& l! j$ V" E1 [2 j8 Q
9 v6 K% _* m. D( @2 `7 B感謝版主 大大的講解,提供解決方式的參考
) H+ @) [3 G& Q
6 {. d; e, i, H$ e! z1 K我這邊還是有一些問題

* o" Y; H% V5 G0 R; G' p8 W6 N1.
& N" h7 \4 P3 Z; VRX FIFO
6 H5 U. G! d3 Q! h! X' Vwrite_ptr變動對/RD empty的影響就如同大大所講的
9 a+ T4 \4 F# W1 t. ^2 @; Kcpu對於錯誤的empty只是延遲下次在來讀FIFO資料,並不會
8 K' b: L- q5 k8 D( X6 o造成嚴重的錯誤
' W  A* ]& g- ]7 T9 c( d可是
5 }/ _. e  u8 ^3 G( vread_ptr變動對於寫入FIFO full的影響就很嚴重了
當要寫入FIFO時誤判FIFO 滿了,這時就會造成溢位的動作
/ l# M3 [9 a" L3 b7 r
2.
16550有TIGGER LEVEL功能,可以設定當FIFO收到1,4,8或14筆資料時
; H8 |0 T4 s5 ]4 s去觸發中斷輸出腳INTR
+ h3 S5 p8 N% U2 T" r" ^這樣勢必要有TRIGGER_LEVEL_FLG邏輯來指出是否符合條件
這TRIGGER_LEVEL_FLG也要根據變動的write_ptr和read_ptr來決定
: Z+ M# M7 x# {! N這樣INTR輸出不是就有機會產生毛刺在write_ptr和read_ptr變動時
9 R. c9 F- U) B  m& w' F- h% }那要怎麼消除這毛刺現象呢

9 D/ G2 u8 P! C2 K. g# O+ P3.
" u* {' }0 g0 n/ c& l如果加上handshake的話,那時序動作可能就會跟16550有些差異了

tommywgt

其實在早期我遇到這類的問題也是用這樣子的方法, 近來我不太使用這個方法了, 這個方法一定可行, 但是就如你問題所說的, 會有一大堆timing的問題, 一個沒有注意到就會留下bugs

你的思考很周詳, 顧慮也都沒有錯, 繞在一堆timing打轉時, 腦袋一定很吃力.

0 b) r' _9 s( n回到我本來的答案, 加以修改還是可以解決你的問題, 在一堆timing打轉時, 一定要非常小心什麼時候會出現什麼信號, 以及這個信號跟別的一大堆信號之間的關係, 只要這些關係都弄清楚的話的, 自然會慢慢的有答案, 在找到不會有問題的答案之前已經不知道跑了多少次的模擬了. 我講的這些你一定很清楚而且感同身受...

有人說做演算法實現的人比較厲害, 看看這麼多的問題, 幾乎不會出現在演算法實現上, 所以我常常覺得不認同這句話. 一些AE在使用別人設計的IC時常會不保留的直接批評, 殊不知IC designer在這上面花了多少苦心, 深深害怕一個不小心, 多少心血就要再來一次...
2 A( y$ Y1 E& y* L# {  T9 g0 S& p
7 {9 h; ~9 r, L4 r. j5 j% u對於你的問題我可以給另一個建議: 很多時候我們常會思考說, 當什麼信號或者狀態出現時, 要做什麼相對的回應, 只是我覺得這個回應不見得必須是即時的. 舉個例子, 在/RD出現時並不是非得把對的資料送出去不可, 在/RD的falling edge到rising edge之間的時間還很長, 資料只要在rising edge加上setup time時間之前送出去就可以確保資料的正確無誤(當然是愈早愈好), 這中間還有好長的時間可以做很多事的. 要啟動一個事件去做一件事也不見得只有一個狀態, 例如在/RD之前, /CS一定會先出現, 這中間一定還有什麼好處可以做什麼事的(這只是個假設, 因為有時會遇到AE把/CS直接接地或者讓/CS跟/RD, /WR一起出現的CASE)

3 G* Y. ?( Y- B4 g另外你可能對我講的handshake有點誤解, 很抱歉應該是我沒講清楚造成的
在research上有個電路叫asynchronize circuit直接翻譯就變成了非同步電路, 講非同步電路有時會令人誤解, 有時講非同步電路時講的是單純的類似ripper counter那類的電路, 在research上的非同步電路是利用一些handshake的方法來完成, 資料的交換之間並沒有clock, 當然也可以快速且正確的完成工作, 跟16550的時序是沒有任何關係, 就算你整個設計都用asynchronize circuit來完成, 還是可以做到interface timing跟16550完全相容.
至少目前, 我遇到這類問題時都用這樣子的方法來實現, 硬體不見得比較大, 電路也比較穩定.
( z! U/ l5 N3 C( ^2 G+ y
講了這麼多似乎沒有直接回答你的問題, 不過討論這類的問題常需要一來一回的, 這樣PO文似乎不太有效率, 所以我先分享一些我的經驗給你看看, 看是否對你會有所幫助.

addn

您好
感謝版主 大大的建議及經驗分享
對於數位設計的確讓人傷腦筋
7 P  ?: q4 E0 \: v+ m, J4 D$ d( M有一大堆的情況都要考慮進去
需要發很大的心力在設計電路的穩定性上

大大可否對於handshake在這裡與FIFO搭配使用
再進一步說明一下呢
. ^# k5 G/ U& B7 L) }' e) A
我的想法是這樣不曉得對不對
當要寫入FIFO前先通知/RD電路暫時不要改變read_ptr讀取FIFO
+ T1 c; e* c$ f寫入FIFO後再通知/RD電路可正常動作
/ `+ w/ _; P" Z0 n0 E8 M反之讀出FIFO對於寫入電路也用一樣的機制

tommywgt

意思並沒差太多

2 @) v! o2 n# \換個方式講好了
在狀態改變時, 總是要有相對應的信號出現, 但是別的電路對於這個信號是否需要立即處理可以視情況決定, 而這個信號會停留多久也是看你的設計決定. 一個信號出現時間不管經過多少個clock cycle在 "電路上都很容易解讀為只出現一次" .
這也是個解決的好方式.

addn

您好
/ ~+ \7 X  C) x9 V0 c  ^
可是這樣還有問題我搞不懂

  寫入端有16Xbaud可以當clock可以達成交握動作
  讀取端邏輯,沒有讀取端的clock只有/RD脈波
  當/RD來時就表示一定要讀取,而且沒辦法
  產生及判斷交握訊號

tommywgt

需要我寫個code貼上來嗎?

addn

您好

; _2 C9 V- P: X6 {' i" `/ U這部分我實在想不出來
如果版主 大大可以提供參考例子,那最好不過了

謝謝

bosscck

原帖由 tommywgt 於 2007-3-1 14:07 發表
類似因為不同clock而造成的問題在設計時常會遇到
' z; e+ b9 L! T0 O5 G& X
0 f+ U! p1 R5 I0 l有人有別的好答案嗎?

/ g" D  X6 _& O

5 R3 x3 F* b; h$ I' _6 [* Y6 X4 }/ C4 F時序的問題這方面我去找找看,我學過我會去翻翻資料.這兩天回覆

bosscck

原帖由 bosscck 於 2007-3-6 22:10 發表
$ d( H, i4 B0 ]. q- e* Y8 M
2 \/ ?8 ^0 q, K% N7 u3 K" c5 C
. {/ m2 a2 G! @( {- C
7 D* E: D0 V* c+ g6 _) e4 p時序的問題這方面我去找找看,我學過我會去翻翻資料.這兩天回覆

bosscck

原帖由 bosscck 於 2007-3-6 22:19 發表
0 a; W' H7 ~& F# B

bosscck

原帖由 bosscck 於 2007-3-6 22:19 發表

bosscck

原帖由 bosscck 於 2007-3-6 22:20 發表
7 R5 E* s" _) ?

bosscck

原帖由 bosscck 於 2007-3-6 22:20 發表
7 v0 Q% T  _  J7 Y1 V

bosscck

clock問題,一般來說都會設計成"A主" B,C,D.....跟隨A"clock

新產品通常都是跟隨舊產品clock,除非新品有更好的clock產生器.

tommywgt

嗯...感謝你把standard cell based design flow貼出來, 可以給沒做過digital IC的人瞭解一下下

tommywgt

addn大大
+ p' \0 e; M  y8 }! V& [; C
1 l' f, i/ \% `- [5 n) B/ o# C其實我這一陣子好忙, 所以常常有點無力感...

你想一下這個東東, 如果再沒答案的話我再PO個CODE上來好嗎?

; [9 M* C9 F; B+ B$ @1 P" |3 x你可以試著把那個ptr改成gray code counter看看嗎?

addn

版主 大大 等你有空在幫我解答就好了啦

$ i) X% x6 o  A/ |  _我有找到一些對岸的異步FIFO文章,有興趣可以參考看看
http://www.21ic.com/news/html/70/show1661.htm
# @' J- k& U& j' s5 z! B$ zhttp://blog.21ic.com/user1/1202/archives/2006/23787.html
2 i; T" J: Y4 y1 {根據文章用格雷碼當ptr的count是可以大大降低亞穩太被取樣到的概率
可是還是會有最高兩位元同時發生變化的情形,這是不是表示使用格雷
碼後還是無法百分百保證正確呢
. V9 K9 b. q: b( M* t% N5 k
7 J# ]+ h8 {: b+ X還有trigger level要如何由格雷碼的read_ptr,write_ptr去判斷呢