Chip123 科技應用創新平台

標題: uart 16550 FIFO問題 [打印本頁]

作者: addn    時間: 2007-3-1 01:39 AM
標題: uart 16550 FIFO問題
各位 大大9 U: l% y+ `1 ^( _8 v% k$ X5 t
請問有人知道uart 16550 的FIFO的電路結構嗎
# B2 o& S9 O9 W! |7 S+ w/ J5 b. A3 P
因為以前有用vhdl做一8250的功能
0 V) u( @. x8 h* F$ G- A6 |/ n1 P* M2 L想加上FIFO ,變成16550的功能
$ m/ e/ d* |# T, w, O9 a) G4 a% G" K所以才會想了解16550 FIFO的電路結構
0 N) G8 e( E! e( ~' D) d' a/ @" z8 d8 ^- b
依照data sheet看起來似乎是用異步fifo
% }7 A* ]% d4 H  g7 V* d3 F寫入跟讀出fifo可以同時操作9 Y9 R+ V  N% x7 o5 ~# i

% W" _1 J  z# @可是我想到的fifo結構如果同時寫入跟讀出的話,就有機會
2 H; m: }3 f- Y6 _會發生full,empty,level trigger判斷錯誤,如下圖所示
4 U- C8 a1 `, e' `0 P7 v; N9 H; Y$ y
作者: tommywgt    時間: 2007-3-1 02:06 PM
非常抱歉, 這個本來的討論被我不小心刪了才要害你重貼, 那天回了很多, 這次我就回的簡潔一點好了
  f* a9 S# J/ {, C! T
4 U" z& T2 _0 I
! s, B3 R4 A: J% D6 q% _; N對於類似因不同clock所引起的問題我的看法有二個:
2 O0 D7 n/ [. u1 F1) 使用handshake來完成資料交換 (包括status)/ [# L" h) u3 C4 l( k0 u7 k
2) 使用較高的clock
, [1 ~* v; S  w  I* {% M! Y; l9 G& L: l2 \1 p: }) r
由於第2點你已經有提過了, 所以我就針對第2點討論好了/ d) x7 b% q! S2 f, n: D, B4 S& y6 B
使用較高的clock可以有二個方式:* x$ n9 j" G  [( L' o$ v
1) 使用二個clock之間較高的那一個
* M1 j4 B, b" p, d2) 使用更高的clock
0 X. p* b8 {0 Y: d) r5 }
2 v- _+ ^7 M% r" E2 V1 Q無論是選1或2, 都會遇到你說的那個問題8 j) k" b% U. j) K( q5 I$ `, {
我們的目的是不管選用哪種方式都希望可以很穩定的讀取到正確的資料, 接下來我們以RX FIFO來討論好了0 D, s" u9 y2 S$ T& q4 r
假設我們在/RD時(讀STATUS)剛好有一筆資料進到RX buffer, 可能對empty及full造成以下幾個可能( y, @( a, d6 W% f, q; Z6 h2 H7 h
1) 本來emptyl變成沒有empty9 Q7 y3 i2 A- V* Q! y/ f+ {" x$ m
2) 本來沒有full變成full
4 ?( Z9 n/ h9 i3 x4 W* n3) 本來不是empty而且buffer也還夠所以empty跟full都沒改變5 ~3 X+ {. c) U
/ u$ L, E2 Y7 m( B( ~' E9 v% s3 i
對於case2, 3因為不會造成任何問題, 所以估且不加以討論, 討論case 1的話會發現在/RD出現時有可能+ X. e4 S5 F( |# b
1) /RD讀到empty, 故CPU會以為沒資料而去處理別的事, 過會兒再來讀status時才把資料捉走6 C) q6 y, G/ O# T3 R+ G# M
2) /RD讀到沒有empty, 程式直接捉走FIFO的資料3 @- p- `) Q8 t3 o% Z' I( D
1 ~1 \# \3 B  m1 q$ R9 Y
我只能說以上二種情況也不會有問題的, 主要的原因是這幾個信號都是1 bit.
# l( _, p! ~' a' e  l# O; h* @! G
6 k4 V5 w6 L$ {2 P, n再回到你顧慮的問題討論. P/ M0 X/ _- K7 ~' f8 t$ _
假設說這個status是超過1 bit, 例如: buffer資料的長度, 假設FIFO長度是8的話, 那麼這個值要有3 bits類似的情況發生在/RD時有可能因為011->100時讀到111, 這個也是你圖中所表示的問題, 針對類似的問解決方法應該不少, 我在這提出一個個人的看法 (這個問題用handshake的方法也是可以解決的), t+ r" T/ x) k  z- |5 G
8 @- a' q. T% h& E, Z$ U# y* ]  Q4 Z
下圖是說將資料多COPY一份, 這一份資料的UPDATE跟原來的資料差了一個clock cycle
9 L2 a) ~6 R0 `) ], Z2 O假設在/RD時剛好發生資料改變的話, 只有一個值會有問題, 透過VOTE找出沒問題的那二個再決定輸出哪一個穩定的值即可# C. v/ D/ T/ }9 y

) s5 `( X! q8 f/ F以上, 希望會有幫助
作者: tommywgt    時間: 2007-3-1 02:07 PM
類似因為不同clock而造成的問題在設計時常會遇到( f& J- [$ I. W) A7 O' S( I, Z

- N. |$ L1 D9 J$ d, h7 ?  m有人有別的好答案嗎?
作者: addn    時間: 2007-3-2 01:16 AM
您好
, g9 z& n: j0 e# p! }
+ U, x9 m# X8 u/ F感謝版主 大大的講解,提供解決方式的參考
& @. _5 c: S# a) w
4 x8 N; a/ S& n# c3 F9 u" K我這邊還是有一些問題9 e" P8 W0 o4 o& ^+ c/ [( j
2 g' |, P6 s& i: F/ a/ d
1.
. d! r% b8 {" v# iRX FIFO+ I; X+ s/ L! f: q9 H
write_ptr變動對/RD empty的影響就如同大大所講的
& x1 [8 z6 V* d* G4 \  X% N% dcpu對於錯誤的empty只是延遲下次在來讀FIFO資料,並不會
6 ~  e8 ?5 b+ ~& Y! F% ~" L9 w造成嚴重的錯誤: u- T1 K( l4 \( n0 x- ]
可是
- L- X/ {& ]: S5 d: |read_ptr變動對於寫入FIFO full的影響就很嚴重了. A$ c. e6 [: n- o$ L- y8 t) W
當要寫入FIFO時誤判FIFO 滿了,這時就會造成溢位的動作
1 e7 I& C# g6 E; P2 t* E9 `
! A/ }5 s( _( Z) f2 F2.' e& b% B4 L. t; l5 C" x/ }5 w
16550有TIGGER LEVEL功能,可以設定當FIFO收到1,4,8或14筆資料時# v. C; k" O+ G' y; W+ T
去觸發中斷輸出腳INTR; w" f0 m, u# _6 ~" ]# i
這樣勢必要有TRIGGER_LEVEL_FLG邏輯來指出是否符合條件5 v2 U, o+ `' e0 R5 ]
這TRIGGER_LEVEL_FLG也要根據變動的write_ptr和read_ptr來決定+ U; P( K1 Z: a5 h7 g; S
這樣INTR輸出不是就有機會產生毛刺在write_ptr和read_ptr變動時
; N& e# A( N- j# j" y- u那要怎麼消除這毛刺現象呢4 z- f) Q, b) N

# ]" l5 u! E+ H$ Q8 }3.  C! F8 U4 U4 N' b
如果加上handshake的話,那時序動作可能就會跟16550有些差異了
作者: tommywgt    時間: 2007-3-2 12:10 PM
其實在早期我遇到這類的問題也是用這樣子的方法, 近來我不太使用這個方法了, 這個方法一定可行, 但是就如你問題所說的, 會有一大堆timing的問題, 一個沒有注意到就會留下bugs
. j1 \5 X/ ~7 `7 o4 j) W5 n9 U' f! U. C6 S9 r
你的思考很周詳, 顧慮也都沒有錯, 繞在一堆timing打轉時, 腦袋一定很吃力.
) H7 G5 }1 t) w
  i# G! E2 H* w$ k回到我本來的答案, 加以修改還是可以解決你的問題, 在一堆timing打轉時, 一定要非常小心什麼時候會出現什麼信號, 以及這個信號跟別的一大堆信號之間的關係, 只要這些關係都弄清楚的話的, 自然會慢慢的有答案, 在找到不會有問題的答案之前已經不知道跑了多少次的模擬了. 我講的這些你一定很清楚而且感同身受...
# e% ~$ |( t4 b- h$ w. `1 ~) B, c. H- r5 ^" K8 G# M* _. p) b* R
有人說做演算法實現的人比較厲害, 看看這麼多的問題, 幾乎不會出現在演算法實現上, 所以我常常覺得不認同這句話. 一些AE在使用別人設計的IC時常會不保留的直接批評, 殊不知IC designer在這上面花了多少苦心, 深深害怕一個不小心, 多少心血就要再來一次...
, O7 W2 `1 j3 G1 o0 ~2 ?' M: d6 E
- U& o: r$ C. f/ Q2 z% x對於你的問題我可以給另一個建議: 很多時候我們常會思考說, 當什麼信號或者狀態出現時, 要做什麼相對的回應, 只是我覺得這個回應不見得必須是即時的. 舉個例子, 在/RD出現時並不是非得把對的資料送出去不可, 在/RD的falling edge到rising edge之間的時間還很長, 資料只要在rising edge加上setup time時間之前送出去就可以確保資料的正確無誤(當然是愈早愈好), 這中間還有好長的時間可以做很多事的. 要啟動一個事件去做一件事也不見得只有一個狀態, 例如在/RD之前, /CS一定會先出現, 這中間一定還有什麼好處可以做什麼事的(這只是個假設, 因為有時會遇到AE把/CS直接接地或者讓/CS跟/RD, /WR一起出現的CASE)2 U( g# P3 d; g! @. x

7 r6 H. w! @& D8 i/ {2 b6 p: b* [$ e另外你可能對我講的handshake有點誤解, 很抱歉應該是我沒講清楚造成的
% i  R* B1 w) x  |/ A/ z2 y! j在research上有個電路叫asynchronize circuit直接翻譯就變成了非同步電路, 講非同步電路有時會令人誤解, 有時講非同步電路時講的是單純的類似ripper counter那類的電路, 在research上的非同步電路是利用一些handshake的方法來完成, 資料的交換之間並沒有clock, 當然也可以快速且正確的完成工作, 跟16550的時序是沒有任何關係, 就算你整個設計都用asynchronize circuit來完成, 還是可以做到interface timing跟16550完全相容.
0 {8 c8 v( N" T0 L7 }至少目前, 我遇到這類問題時都用這樣子的方法來實現, 硬體不見得比較大, 電路也比較穩定.
; ~+ U6 {' J- p/ F2 ^  b
( E" \8 @' }# l, ?! K9 k& f1 x講了這麼多似乎沒有直接回答你的問題, 不過討論這類的問題常需要一來一回的, 這樣PO文似乎不太有效率, 所以我先分享一些我的經驗給你看看, 看是否對你會有所幫助.
作者: addn    時間: 2007-3-3 11:53 AM
您好
/ p) l$ C1 p6 r! p感謝版主 大大的建議及經驗分享
( F3 ^$ L. I; @& L& K對於數位設計的確讓人傷腦筋: Z3 M) ^3 h' p) c+ P/ g0 J
有一大堆的情況都要考慮進去
. L1 Z* W9 T% Z# Q2 M6 {需要發很大的心力在設計電路的穩定性上
0 V4 u1 d# w  h) ?) J4 q' r
! h3 r3 f% Z% J7 {7 g% }大大可否對於handshake在這裡與FIFO搭配使用
0 Q" Y+ [7 ]6 g% L再進一步說明一下呢
& q4 C7 l4 g. d! K- y5 z3 v8 g- ?0 i
我的想法是這樣不曉得對不對
& R  s1 Z) h1 A; {. \當要寫入FIFO前先通知/RD電路暫時不要改變read_ptr讀取FIFO. S: v* G$ k: [' ]1 n0 Y- a* X
寫入FIFO後再通知/RD電路可正常動作# g1 H. L! e) s6 F; g. s' _
反之讀出FIFO對於寫入電路也用一樣的機制
作者: tommywgt    時間: 2007-3-6 10:13 AM
意思並沒差太多
7 e* o4 _$ X) c( ?; R" U
* G% M) ~$ ]  X" A/ l  \換個方式講好了
+ G# v5 m, {: g& V在狀態改變時, 總是要有相對應的信號出現, 但是別的電路對於這個信號是否需要立即處理可以視情況決定, 而這個信號會停留多久也是看你的設計決定. 一個信號出現時間不管經過多少個clock cycle在 "電路上都很容易解讀為只出現一次" .% c' h* X9 z( C4 ~8 [2 s- \
這也是個解決的好方式.
作者: addn    時間: 2007-3-6 11:52 AM
標題: 回復 #7 tommywgt 的帖子
您好: I' z$ }3 e; u+ k+ @3 q* ~' w4 ]
" J- g+ o+ d' ?8 N! d" |" i
可是這樣還有問題我搞不懂
/ J; U+ n$ P( T, p! _" p5 n' y
  寫入端有16Xbaud可以當clock可以達成交握動作8 l6 {& ?/ |' \, r
  讀取端邏輯,沒有讀取端的clock只有/RD脈波& d9 p& W0 g: h3 e- P5 o7 g
  當/RD來時就表示一定要讀取,而且沒辦法
2 c5 e+ a+ s. M2 A/ w6 a0 p$ T  產生及判斷交握訊號
作者: tommywgt    時間: 2007-3-6 03:54 PM
需要我寫個code貼上來嗎?
作者: addn    時間: 2007-3-6 08:06 PM
您好+ c1 e  X; Z9 l2 V9 m
  ~. l2 {; I( W
這部分我實在想不出來
5 u; s8 R% ?5 j; g  N5 j如果版主 大大可以提供參考例子,那最好不過了8 Z' d5 F! M1 b# m" R

. V) z/ R9 m' y! e謝謝
作者: bosscck    時間: 2007-3-6 10:10 PM
原帖由 tommywgt 於 2007-3-1 14:07 發表
/ V8 \* J7 b6 Q$ e, x' A; n- B類似因為不同clock而造成的問題在設計時常會遇到
6 O  W  r0 G! A$ w3 U5 n" `' K2 G* C8 P3 b, \
有人有別的好答案嗎?

/ {6 z. ]' J9 x( [) J! p, b+ r! p+ Q# a- L* f

7 v3 k/ G7 }( T! l. ~時序的問題這方面我去找找看,我學過我會去翻翻資料.這兩天回覆
作者: bosscck    時間: 2007-3-6 10:19 PM
原帖由 bosscck 於 2007-3-6 22:10 發表" {- K& q! r+ o* l, u3 B

8 P/ P( u1 w0 w' O# H
- c- T9 b& R. D7 m  o/ _' b! |! m% B$ T7 u) S" @
時序的問題這方面我去找找看,我學過我會去翻翻資料.這兩天回覆

作者: bosscck    時間: 2007-3-6 10:19 PM
原帖由 bosscck 於 2007-3-6 22:19 發表
2 u" i; I, k& O. P, d& _7 A* o* I

作者: bosscck    時間: 2007-3-6 10:20 PM
原帖由 bosscck 於 2007-3-6 22:19 發表
, Y* O% X6 V  h

作者: bosscck    時間: 2007-3-6 10:20 PM
原帖由 bosscck 於 2007-3-6 22:20 發表
4 f2 t% ~/ t5 |* R& w

作者: bosscck    時間: 2007-3-6 10:20 PM
原帖由 bosscck 於 2007-3-6 22:20 發表4 l5 g3 V1 S: Y6 O

作者: bosscck    時間: 2007-3-6 10:26 PM
clock問題,一般來說都會設計成"A主" B,C,D.....跟隨A"clock
* L$ k) p/ X* k) R9 S( p- H) L: \: H+ J% w6 r. H+ m
新產品通常都是跟隨舊產品clock,除非新品有更好的clock產生器.
作者: tommywgt    時間: 2007-3-6 11:18 PM
嗯...感謝你把standard cell based design flow貼出來, 可以給沒做過digital IC的人瞭解一下下
作者: tommywgt    時間: 2007-3-8 12:39 AM
addn大大
# n  e3 m. ~. b% a
' @( O* E, G( Z3 Y其實我這一陣子好忙, 所以常常有點無力感...
/ v3 j7 G" d8 ~+ Y2 b& `  M# j- i3 T2 o, V- w8 n3 B
你想一下這個東東, 如果再沒答案的話我再PO個CODE上來好嗎?
0 Z6 l0 D% I0 h, J. V8 c4 m0 d# ?) O
你可以試著把那個ptr改成gray code counter看看嗎?
作者: addn    時間: 2007-3-9 10:23 AM
標題: 回復 #19 tommywgt 的帖子
版主 大大 等你有空在幫我解答就好了啦2 M9 b& U2 |, O! t* s0 u
7 F  J+ p# h  `  M$ k
我有找到一些對岸的異步FIFO文章,有興趣可以參考看看/ A+ Y. c* p. i9 I
http://www.21ic.com/news/html/70/show1661.htm# a& o! f/ @! ?4 N  v0 ~3 g
http://blog.21ic.com/user1/1202/archives/2006/23787.html* g) y0 W8 Q2 w/ ~9 ^* h2 a
根據文章用格雷碼當ptr的count是可以大大降低亞穩太被取樣到的概率
! n5 x& W; o9 P( T* P- q可是還是會有最高兩位元同時發生變化的情形,這是不是表示使用格雷
" K' f8 R% i- C7 Z( H碼後還是無法百分百保證正確呢
) q3 W% K# i2 A. x) N1 E
) Y# W$ q! O* s+ ^. W4 I還有trigger level要如何由格雷碼的read_ptr,write_ptr去判斷呢
作者: tommywgt    時間: 2007-3-9 07:56 PM
我來回看看好了..." t/ R# T/ l9 M+ X: t
4 b8 H' O6 u- w9 R& a$ M
這是我剛想了一下畫的圖你先參考一下
作者: tommywgt    時間: 2007-3-9 08:07 PM
大部分都跟你想的差不多3 \/ E- W4 T: S% I4 X" ]( q
' S% |6 r( P- Y5 }" B  j* _
那些信號也先估且如我假設一般
: u+ b' b- Q5 @. p  @& x7 kwen是RX收到一筆完整的資料時所送出來的
6 D* u! M$ u# N8 |5 g4 r因此我想rptr 跟wptr會像這個樣子(這些都是我直接key的, 語法跟細節再麻煩你檢查一下)" |3 D3 I% b, F7 e9 b
prptr:process(nSysRst, nrd)
) A% O( [' U% _5 sbegin
' n/ S  L* J, T5 T; B    if nSysRst='0' then! q. ~0 V' B7 u1 h4 w. J
        rptr <= "00000";( x1 G3 ?5 @4 }4 ^/ o% I+ u
    elsif nrd'event and nrd='1' then) Z. `3 }5 s, L$ L& t1 v6 O+ w
        rptr <= rptr + '1';
) J9 U7 f1 X+ o& M( H' j    end if;
, U7 F$ K" B0 R7 r6 A# {! Mend process;6 a/ }& q' R. m, N2 @- p4 n
9 C) m4 K- X* a3 C% v1 \( H
pwptr:process(nSysRst, wck, wen); h2 h" _# X, {; P8 p, x3 ~8 D
begin
- M" Y4 _7 Y  v/ u' t% n/ s    if nSysRst='0' then
8 ?. ^1 o( R2 t        wptr <= "00000";/ z; M3 G, c8 x  Z* x% b: e
    elsif wck'event and wck='1' then# m) Y/ O: o4 {  k9 _2 D
        if wen='1' then
* Q% d+ r- k; v4 K. p$ r% Y            wptr <= wptr + '1';
# W, Y& w  K- i8 Z. s        end if;0 ^9 @: q. }( {. y/ l
    end if;2 }+ ~. Y6 ?% o9 H9 Z( ~$ @5 ]& e3 w
end process;
/ O1 U" D% O' c% N$ N, ^# |( G3 a& `* p; ~$ J
假設buffer長度是16的話, wptr跟rprt為什麼都要用5bits 呢?
1 s0 `4 O4 |* h; F& Q  O你一定猜的到主要是為了判斷full跟empty, 後面的code會拿來判斷
作者: tommywgt    時間: 2007-3-9 08:12 PM
直接key怕按錯的話會消失, 所以分段key
  R2 U/ b) K- c3 \5 |  z5 M: D" W8 H1 k& T- `6 V5 k
Read buffer部分
6 \/ K+ f0 E# S- _; v: e& V6 |% i7 L; L
--read_buffer3 k9 @* y/ ?7 c4 W* h' _$ ?# r
with rptr(3 downto 0) select rdata <=
3 H* R4 s3 O) u/ j    fifo(0) when "0000",3 T7 a  J  ]* p/ l2 n
    fifo(1) when "0001",- Y8 I4 l( z( B2 k9 D: }
    fifo(2) when "0010",( H8 s7 h# _4 ]* Z5 G
    fifo(3) when "0011",1 ?/ `% X3 V  p' q! B
    fifo(4) when "0100",
3 R- P9 P8 r6 T8 Z1 |    fifo(5) when "0101",. e( t# L2 A7 j" C
    fifo(6) when "0110",
& O- }) m: x- \( C: y/ Q# z    fifo(7) when "0111",4 q4 c  l+ @+ U7 L. w( |! a6 [$ o
    fifo(8) when "1000",- [) ]3 E: r" D, K
    fifo(9) when "1001",
) ]- y' z# E1 i7 t' K: [# G1 [    fifo(10) when "1010",/ z: Y4 D# p! L% t: H* a
    fifo(11)when "1011",: K# _/ O/ l- B  D
    fifo(12) when "1100",
6 s3 r$ v+ R; r5 ~% T    fifo(13) when "1101",
3 S" B; W5 U; G1 |7 `, |    fifo(14) when "1110",; w& z/ e5 c# w2 Q, q& X) {
    fifo(15) when others;
作者: tommywgt    時間: 2007-3-9 08:18 PM
write buffer 部分
% a9 {8 F. ^# U' L& \1 g8 o# y! }* V% ]0 a- |. M/ `" Y3 D
write_buffer:process(nSysRst, wck, wen, wptr, wdata)
$ N0 E3 S' J9 G3 v" Z: G. wbegin3 y& r- _9 M) c: y: P: V
    if nSysRst='0' then& r* S( i' K! u% |1 A) h# U5 U/ L! p
        for i in 0 to 15 loop5 Y; `2 U% `, s9 Y. Y& z( h2 q
            fifo(i) <= "00000000";
# r' M/ t( J! N! e' x, u! C        end loop;4 A8 u7 A! o$ v# k4 ?
    elsif wck'event and wck='1' then
+ `  _. [, n! T# I4 F+ P4 w        if wen='1' then. M' q7 \5 D1 @. N* J" Y
            case wptr(3 downto 0) is" h7 @" u8 W/ M: [
                when "0000" => fifo(0) <=wdata;7 E6 k' ^  f* o9 N7 ^
                when "0001" => fifo(1) <=wdata;0 e3 H" f) F4 B: E# s% p
                when "0010" => fifo(2) <=wdata;$ T* n0 e7 C  i1 C$ G, ]
                when "0011" => fifo(3) <=wdata;
/ c9 v( ^/ P/ e                when "0100" => fifo(4) <=wdata;
$ D+ D1 r* p& u$ E/ P) q                when "0101" => fifo(5) <=wdata;/ o$ B  q3 }, f' h% |0 x
                when "0110" => fifo(6) <=wdata;. c4 o, {$ I6 M
                when "0111" => fifo(7) <=wdata;' t; u& d  ~3 i9 _# ~, N
                when "1000" => fifo(8) <=wdata;
1 G+ @5 [9 t" d1 ?: S! k+ \                when "1001" => fifo(9) <=wdata;3 ^9 I3 z( N9 n/ P- `
                when "1010" => fifo(10) <=wdata;
5 W$ D4 R& W8 F$ b3 }                when "1011" => fifo(11) <=wdata;5 v( O6 r- O) I7 ~; _3 Z
                when "1100" => fifo(12) <=wdata;
- g4 e% m8 v* e" H4 L# `# w                when "1101" => fifo(13) <=wdata;
# f0 L: C% }; @  ~7 P) x, J7 V                when "1110" => fifo(14) <=wdata;9 c- O6 v1 @) L3 \
                when others  => fifo(15) <=wdata;" b  a' Q4 u5 J9 b
            end case;
  n* F4 @) m6 S$ o3 J6 N. J5 B        end if;% {# A" R5 \/ S2 _+ K' ?, i3 C2 k
    end if;1 [2 _# I" `0 e: u) I6 v. @
end process;. c! F! L' I& v" \& t% z

' s" Z% Y5 _+ |9 l[ 本帖最後由 tommywgt 於 2007-3-9 08:37 PM 編輯 ]
作者: tommywgt    時間: 2007-3-9 08:31 PM
最後是你最關心的部分' M( v8 z, E% |; o2 `
我先做些假設# v3 E/ x# {4 C. i+ Q6 f, o3 M& D2 b
1) /RD動作時狀態不能改變2 t8 o; o6 \9 }# h  J
2) wen動作時也不能改變狀態
/ x" I& ^. k2 \1 K, Y如果只有這二個case的話以下這段code或許可行( W8 ]2 }9 M6 ?2 x$ o

2 `' R5 N1 o, Zstatus:process(nSysRst, wck, wen, nrd, wptr, rptr)8 X+ \/ [. Z0 j* a( Z, p8 a0 j
begin
2 e; o" a% p9 O; ]' Z% d' H    if nSysRst='0' then
  o7 @4 d# X: }; {: Q        full <= '0';
' z3 c1 x8 E7 ^( T) ]& L& d; t        empty <= '0';. L2 a$ @. ]  F1 m
        flag1 <= '0';. z5 l8 V! q2 L. N
        flag4 <= '0';2 x7 L0 i, {9 t" a: m
        flag8 <= '0';
* L0 K8 O! X3 r2 U        flag14 <= '0';
0 z+ M* D, g# D, M    elsif wck'event and wck='1' then
5 H' `/ G1 n& U, e( n        if wen='0' and nrd='1' then: U* \4 |5 S6 m3 Y' n
            if wptr/=rptr then flag1 <= '1'; else flag1 <= '0'; end if;) f& v: @3 T. G* b# P2 o8 G
            if wptr=rptr then empty<='1';  else empty<='0'  end if;$ M4 |' O. x( ~
            if wptr(4)/=rptr(4) and wptr(3 downto 0)=rptr(3 downto 0) then full<='1'; else full<='0'; end if;1 N; Z# r0 N+ E' a. {: X/ P
            if wptr-rptr>"00011" then flag4<='1'; else flag4<='0'; end if;5 \' X! H: B+ j6 _  q$ w
            if wptr-rptr>"00111" then flag8<='1'; else flag8<='0'; end if;
1 a$ ~9 {! d6 Y            if wptr-rptr>"01101" then flag14<='1'; else flag14<='0'; end if;
( M5 {8 L/ e; {1 A; \" C# P( Y) r        end if;
7 C, n% ^1 u) C( |3 O/ t8 k    end if;2 a) b5 U4 I( }* _3 s0 {: M
end process;
. R" ^& L+ q0 x3 F* I3 m% C1 r7 v/ \
[ 本帖最後由 tommywgt 於 2007-3-9 08:52 PM 編輯 ]
作者: tommywgt    時間: 2007-3-9 08:33 PM
前題是wck的clock rate比/rd高8 K6 s0 |0 u; T+ G8 w: h

  q% c- l- p7 u好像也沒思考太多, 直接key的, 有什麼問題再討論好了...
作者: tommywgt    時間: 2007-3-9 08:39 PM
好像跟之前討論的結果有很大出入...管他的, 你看能不能用比較重要...
作者: addn    時間: 2007-3-10 10:53 PM
謝謝 版主 大大提供的參考範例0 D* h  k; n2 W

  J4 F. C/ \) q) R將code研究後,發現可能會有一些問題,所以將問題po上跟大家討論
. h( P; _0 N8 z! W: ]' x8 _; a: f* x! Q8 T& w
1.
4 X. j4 X: V: C3 }0 X+ V   版主之前的兩個假設 "/RD動作時狀態不能改變"及"wen動作時也不能改變狀態"
5 h1 b) n" `! `! t% l; y  B   這兩個case是發生在best case,可是還要考慮到worst case就是/RD,wen同時發生/ c- o: x+ A# x2 O- Y
   wptr及rptr同時發生變化,同時兩者又互為判斷來源依據之一
4 y# v& ^( N8 ~2 l3 u9 e- \0 s2.! {6 v& b! n4 U/ z
   由data sheet看起來,實際在操作上未必能符合wck的clock rate比/rd高
% e& ?5 N, `0 {/ R( Y: [  X7 Q   假設wck的clock用16xbaud rate或者直接用1.8432 Mhz,由下圖可以看出# K3 z( K  {3 e
   資料讀取週期RC最小280ns
' ~5 o8 w& Z" m  X; T$ A+ o3.7 _# ?: M8 A/ U  k" G, B
   full,empty,trigger level等訊號之設定清除由wck觸發同步,可是當讀取週期$ m' R- S3 a: v5 z+ F( g  i# E
   小小於wck週期的case,會有問題,以trigger level造成的INTR來講- F+ W. O3 {$ V+ }2 h
   當FIFO裡的資料都被讀完了以後,INTR不會立即變0,而要等下一個wck的時間5 Y3 h0 @  J' B! }  d
   而這段時間不會造成多餘的中斷被執行嗎
作者: tommywgt    時間: 2007-3-10 11:42 PM
第一個問題我想已經不是什麼嚴重的問題了' m, I1 _; V  d4 m# m' V7 o% {
( ~: q% M, x3 p' ]6 L+ Y% E* q  p8 D% W! K
第二個問題, 如果你不介意把外接的clock接高一點的話也就OK,不過可能就無法達到你要的相容性了
& D) m7 f- w- X  Q- S! \! _0 M
" ^! j0 g5 x* s$ N第三個問題還是clock rate的問題( p  ]! V: \6 p" z+ }( `5 z$ j" I

9 ]+ h- K/ U/ d+ E8 \第一個問題留給別人回答好了...
  G, u) R- x( V4 R. q  u2~3問題的確是問題沒錯, 誰來接手一下呢?
6 V# ^/ X5 B- Y' i) N9 |+ Q2 @" l8 w% R( G3 K
addn大大一直都很細心, 做什麼的呢? 不介意的話請addn大大自我介紹一下! 讓大家多認識你一下吧!
作者: tommywgt    時間: 2007-3-12 07:55 PM
標題: [ref]asynchronous circuit
有關非同步電路, 先給你一些參考吧!
! j9 U9 D5 `6 X& z: N5 l; W; w
" w& B, R3 v% _[1] Bernard Cole, “Asynchronous logic moves toward mainstream acceptance”,  Embedded.Com, March 2006. [link]
" t4 W; c( L0 z- A1 v2 [. [# F5 _[2] Chris Angelini, “Asynchronous Logic - Who Let The Clocks Out?” ,Computer Power User, May 2005. [link]
% c1 B0 k8 |0 D6 S( x9 r$ f[3] David Geer, “Is it time for clock-less chips?”, IEEE Computer Magazine, May 2005.
6 C8 C! b& p+ L; q% B; f! S% J) G1 D[4] Website of USC Asynchronous CAD/VSLI group. [link]
! X0 s* M9 |# o; u6 {7 f( o[5] “Epson develops the worlds first flexible 8-bit asynchronous microprocessor,” Website of Epson, Feb. 2005. [link]' b8 I. x2 C* L" @9 I- \/ I" F
[6] “Asynchronous array of processors chip presented at ISSCC 2006”, EETimes.com, Feb. 2006. [link]
2 }! Q$ q- W7 U[7] I. E. Sutherland, “Micropipelines,” Communications of the ACM, Vol. 32, Issue 6., pp 720-738, June 1989.
作者: addn    時間: 2007-3-12 09:33 PM
版主 大大謝謝你再提供這些參考的資料5 G: F& @' W' s
我會好好的找來研究看看* ?0 y# r& J; c- x& P
2 j+ w$ _& o5 Z! @+ L' b
我本身目前不是從事電子相關行業,不過對於
7 B6 x. `7 O! `$ q, JFPGA/CPLD,HDL,數位邏輯設計及單晶片等2 Y2 |3 T0 y; G! N! s8 k- l
都很有興趣,之所以要寫16550 code主要是想
6 w. x* i' c: r8 n: E- E挑戰看看自己能不能寫的出來,不過似乎沒那麼容易/ j. N, g- k" T, u9 x

( E5 w+ k7 e2 h, }FIFO這部分我有上其他討論區問過,可是都沒人回覆3 ^. {% @6 J2 h0 z5 g
感謝版主願意跟我討論這個問題2 a9 e) u6 [$ M

3 v2 A1 f+ O6 S( `; Q2 m5 c再次謝謝啦
作者: tommywgt    時間: 2007-3-13 09:31 AM
SORRY...上次回時也沒想那麼多9 u0 N+ a, s3 k: `0 i
不過那些問題總有答案的, 希望各位潛水的版友高手可以幫忙出點意見
# ]7 R0 t; t  S6 u$ p$ J不然的話就變成只有我們二個人在討論了..." h- S# z& R( W/ R3 D& h6 k' Z
( i6 N- b' z8 s( U3 ^
過幾天沒人回時我再找個時間來回吧!
作者: addn    時間: 2007-3-15 11:46 PM
您好5 j3 ]  j& m0 j8 [
最近想到一種架構,用來做FIFO不曉得可不可行
! V& @' v" e) z% l8 d如下圖所示
9 u7 A# m$ R  O* `% k7 T! ~
* z1 I- b2 i: c* H先就full,empty討論,trigger level不管( @! L3 b" I5 D6 L! b
讓/RD脈波,16*baud rate週期大大於亞穩態出現的時間0 f& \+ u$ r1 Z5 L! M: A0 b8 }

6 ]; G5 m+ k; y# X; |1.用額外bit(valid_bit)來指出register是否有資料寫入2 P/ O: z/ r3 n6 o7 C7 Q6 M
  當寫資料到FIFO則相對應的valid_bit會一起被設定為1
# h5 a3 j; c  v  當讀取FIFO,相對應的valid_bit會被清為09 P9 \- d' W4 \  U
+ L  S* n# c) {, S+ _7 s9 u  [" K
2.wptr及rptr用bin count
" l4 A% V# q% g( o$ M0 F- p' M0 R5 e* A
3.full將所有valid_bit取and,empty將所有valid_bit取nor
0 D) k- {4 w; A. p- r, O" G0 K" k& B% c' \5 ?
4.讀取狀態empty時,/RD下緣將empty訊號鎖住,如此在讀狀態時6 [* `7 C4 |; d5 F8 O8 `$ e' g
  worst case(有一筆資料在FIFO可是讀到的狀態是空),這種case
  P* }9 E' c7 X" r  出現的機會不會太頻繁,就算出現也不過延遲一個讀取週期而已
- |/ e$ u' V, J- q: y% b8 ~/ }+ z4 r% u4 k$ ~
5.16*baud rate下緣鎖住full,接收狀態機16*baud rate上緣動作
: I9 S+ D! s0 v- b  當接收狀態機要寫資料到FIFO時,如果遇到full(lock)=1時,下一個clk4 @# [5 H8 ]# X- q9 m
  週期再判斷一次full(lock)如果也是1,則判定FIFO真的滿了,否則直接( F0 W* e* j( Y- D* v7 w+ k6 n
  將資料寫入FIFO,如此就可避免可能會發生的worst case(當FIFO還有一- U( J9 [9 X" u3 A' ?7 Y! h. v
  個位置是空但被判定為已經滿了的狀況)5 {* f& ~9 H& x2 q2 P# ]

. t$ S5 F$ A& n! O9 G+ k: X  h" B以上的推論不曉得是否正確
作者: tommywgt    時間: 2007-3-16 09:28 AM
看起來是個好主意
. ]$ \* R8 g6 h+ I4 C. x  L
) [7 R1 z- t, b" z3 {3 U& Q8 _1 _如果不管coding style的話, 這個想法很好
- C7 p& Z) H+ n" n+ `. O( D! p$ E1 b% X: z/ [; h( d8 r2 j8 M
相同的, 如果不管coding style的話, 我也有另一個想法一直沒貼上來, 就是使用dual edge在/RD下降綠去記錄狀態, 在/RD週期可以讀到穩定的值, 另外在16x baud的上升跟下降綠也分別去update狀態, 有需要的話可以使用2組buffer length給二邊判斷, 我想這個方式也可以解決你之前問的3個問題. 不過還真的非常的違反coding style rule.6 [9 f$ ]  z# L" c& ^  ~- F: }
跟你的方法比起來, 我的方法所產生的硬體似乎小一點點, 但是你的方法似乎比較簡單點.5 m9 g% {! ~; m( {+ P0 |9 P( W
anyway, 互相交流吧.
  U2 t% e& j2 D6 e$ k7 o, |2 z# W! ~! y( {  _4 }! w, b9 K5 U9 F
改天有空的話來討論一下asynchrous circuit也不錯
作者: addn    時間: 2007-3-16 08:13 PM
您好- N8 p( P+ s) p* d; \. o
我想到這個方法除了電路會比較大外還有其他缺點1 L: h, \7 m# o9 w5 a: L; D! @! \
' N4 _$ q0 }+ Y. c( v) z
1.不適合做成容量較大的FIFO! ?( v* [  C- u8 c# E5 B
/ U7 j! T+ ~  m
2.清除valid_bit邏輯,有用到回授清除的方式,可能會造成其他不好的影響
/ F5 o! T! ?( y: s9 j% \% P3 b) J8 |8 i1 N$ k: j2 @
3.tigger level會用到連續加16次的組合邏輯(把valid_bit全加起來),這樣" q0 e5 C  o4 p. B' o9 Q4 m6 L
   會有較長的延遲時間,所以速度被拖慢了
$ o2 |5 ^, B$ F9 m  U+ i8 R3 a3 D9 u" D8 C, K. j% ~7 Z
謝謝 版主 大大 再提供了另一個思考的方向
作者: tommywgt    時間: 2007-3-17 10:56 AM
1.不適合做成容量較大的FIFO
9 z% p, N% a2 G0 q我覺得這部分是OK的, 如果你是在PLD上驗証的話會覺得硬體很大5 k$ X7 u* v1 o+ ~
但是做ASIC時你會發現其實很小的, O. \8 |. @# O  i
6 C. `4 m# [' A' b

3 O7 _$ i* f% U9 `) R9 J& u, {2.清除valid_bit邏輯,有用到回授清除的方式,可能會造成其他不好的影響  j" J& y- ~: f9 w
這些valid_bit如果跟著某些信的edge反應的話(latch), 問題會比較小, 不過我覺得你本來就會打算這麼做了) }# f$ Q: K$ H; K$ V7 C
& k0 C. _' g$ X% K: f1 x. ]
3.tigger level會用到連續加16次的組合邏輯tigger level會用到連續加16次的組合邏輯(把valid_bit全加起來),這樣會有較長的延遲時間,所以速度被拖慢了
8 P, K7 S' i$ }- c  J相同的, 用ASIC製程做時也不會有你講的這些問題, 另外在判斷empty跟full時, 不用全判斷所有的bit (因為這是一個circle buffer)至於判斷其他的 如flag4, flag8...可以想看看有沒簡單一點的方法.
作者: addn    時間: 2007-3-17 07:38 PM
您好5 x  m8 ^3 J* h7 y' V# }3 i
' R- g# v' l% Z

# O; O+ \& c: s6 Z' O+ |+ Z1.
% n7 O3 S7 v" h   "另外在判斷empty跟full時, 不用全判斷所有的bit (因為這是一個circle buffer)"
" Y' e, {# p8 j& ]: `
, k, a/ _& Z9 t7 I) p4 k   不了解這段話的意思,可以在進一步說明嗎8 h; l: z7 W$ F

$ ~: t' d8 H- r7 X2 `  {% c8 V2.
8 z, U* t  X7 X+ L/ g& r  我這方法是假設讓/RD脈波,16*baud rate週期大大於亞穩態(metastate)出現的時間* G4 q0 b$ r: ^/ q
  才適用的,可是最近看一些關於亞穩態的文章,發現亞穏態維持的時間是不定的,有機會' L1 }7 w" Y4 j) C5 t
  超過/RD脈波及16*baud rate週期,這樣的話我想的這個方法就不能用了
( R! Y% R( `4 w  請問有辦法評估亞穩態維持的時間嗎0 m8 K  u& C& V! O! R3 m$ j
  
& Q& \* S9 Z& x2 K謝謝
+ z, h$ U# d0 _4 _9 l" B- B' g4 J# t; z; T, W
[ 本帖最後由 addn 於 2007-3-18 10:34 AM 編輯 ]
作者: tommywgt    時間: 2007-3-18 12:55 PM
1. 這是一個很直觀的想法, 全部判斷所有的bit所需要的and / or gate數目跟用multiplexer後只判斷2個bit 所需要的and /or gate數目, 可以評估計算一下, 看哪個比較省, 上回我也沒算, 你可以算算看. " R4 E, p( e, b6 w" \
我舉個例子好了: 如果WPTR永遠指向下一個空的位置的話, 那麼empty/full也可以如此表示:. U6 }; x0 g  o
empty = true if valid[WPTR-1]=false
+ E* s$ p' v6 P( g3 S+ [7 S* x& Ufull = true if valid[WPTR]=true
8 ~% f, v: }' d可能還有其他case需要考慮, 畢竟設計的方法不是只有一種而已. H. a% l' w7 q# A
& ~% u. o; P5 o5 c! |- s% u8 P
2. metastate是一個random function, 我們不需要去評估metastate的時間有多長, 我們只要避免在出現的時候產生錯誤的輸出即可.
作者: addn    時間: 2007-3-22 10:36 PM
您好
  G5 ~- c- v3 D, M  S* W關於 metastate
' n: d9 a) ^+ |7 c( X請問如果一個d-ff假設 clock頻率1 hz4 Y  b. b# V9 @1 t4 ]7 d, ^, {
如果剛好發生metastate,metastate這個狀態: q1 i+ j; q9 P
有沒有可能有機會維持1秒的時間長度呢
$ w+ H, D6 q. X  L  z& l1 S" `4 P: U8 I6 L5 a
謝謝
作者: tommywgt    時間: 2007-3-23 08:41 AM
答案是沒有
$ g) B8 C) }$ l, }4 m6 t0 |' ]' K
metastate的時間長短是根據信號跟gate delay所得的, 也許設的計很糟糕時會出現us, 不然的話應該只會有ns的狀態
作者: addn    時間: 2007-3-23 11:02 AM
您好  \! [  X# H. P- C5 s% O
依讀取狀態來說,/RD負緣鎖住empty訊號
5 p* i8 r8 I0 [, L# C; ]而剛好發生metastate,且剛好時間超過/RD默波的週期
5 {- w* N* H1 a6 @那讀取到的empty不就是錯的嗎 如下圖
作者: tommywgt    時間: 2007-3-23 11:42 AM
這是因為2個clock之間所造成empty信號不滿足於那個DFF的setup time跟hold time.所造成的. 所以問題不在於那個DFF會輸出unknow state, 而是如何提供滿足於DFF setup time and hold time的empty信號才是, 如果是我的話我會回到引起問題的地方找答案, 不會去看那個DFF的輸出
作者: addn    時間: 2007-3-23 01:43 PM
您好
- H4 B% w; ^3 D  J& `. J6 K所以是否如我37篇所講
. D8 h* V. ]3 g這樣的設計會有問題,因為無法保證發生亞穩態的時間4 Y  |/ w4 S  L8 P8 M$ d! Y
比/RD,16*BAUD週期短  K6 g5 f' l, e2 V

+ W. Q3 j; {) \, m* D那麼這個問題不就無法解決,因為empty可能再任何時間點
% v; }# X) b' t9 |發生變化,而/RD脈波也可能再任何時間發生' r- M. I" i2 L4 J' q) c
( v/ c# t8 u2 z7 P) z$ z
請問這樣的架構,有什麼方式可以解決這個問題% d# G# U: ~$ P' k% q5 }* U7 p
) _$ x' X1 T/ T% {
謝謝
作者: tommywgt    時間: 2007-3-23 02:33 PM
就依我看來, 我們二人討論的這些篇幅內就可以湊出答案了, 給你一個建議, 你可以上www.opencores.com下載完整的16550 VHDL source code, 看一下別人是怎麼做的.
! b- ?# ?% B0 e) A6 S1 k8 H
% c. D  s+ _) m4 G, D  {另外, 你可以試著用自己的想法做看看, 把TX loop back to RX, 然後接個uC寫個程式測個幾天看看6 c0 d+ E* V0 _, B7 A5 ?3 S0 y
3 @" J3 v- x! t/ L! T6 h
也許這樣子會比我們在這討論的有效多了
作者: tommywgt    時間: 2007-3-27 10:46 AM
在opencores內是不用註冊的, 直接以cvs下載就行了
作者: addn    時間: 2007-3-27 07:30 PM
原帖由 tommywgt 於 2007-3-27 10:46 AM 發表: ]8 p5 L+ c8 C+ O9 }
在opencores內是不用註冊的, 直接以cvs下載就行了

9 P, w) h  I- z6 N! u% @+ E
: t& ~' C2 a1 R* m1 q' f6 I- ^原來是要選cvs選項就能下載6 H0 b( ?" s4 p

0 \, a& ^7 b: g- G0 a& `謝謝 版主 大大回覆
作者: 西湖水    時間: 2007-4-10 05:18 PM
你找找這篇文章,simulationg and synthesis techniques for asynchronous FIFO design ,by clifford E.cummings。這是一個很好的文章,肯定對你有用的。資料不在我身邊,所以不能帖上去了
作者: milksoda    時間: 2010-2-1 10:03 AM
好深奧的一堆問題...有看沒有懂= =
作者: keyway    時間: 2010-8-15 08:33 AM
不知道有沒有類似過慮器的架購,謝謝!!!!




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