記憶體如何驗證

kyopc

各位前輩大家好：
# N: d2 q" _% }7 r& d; H* }    小弟最近在做的project有很大量的記憶體存取
    但在做的過程中曾想過,
   
5 X% U( ^, Q7 Y1 a5 e    在使用modelsim 看過控制訊號正確後
2 G6 T6 a' X- h; R% G0 i    "如何驗證自己寫的memory controller有資料真的寫入或讀出"
8 B8 E% F2 N) l# ?( f, i, |
& j$ L' _8 _* {6 N8 i' `2 L    因為在模擬的時候data line都不可能真的有資料進出，頂多看adress輸出跟控制訊號的關係而已
2 K2 G# v1 c! }+ {    而我之前的做法還蠻爛的，就是先寫固定的資料進去，再讀取出來
     然後在內部寫比較器去比對，如果讀回來的跟寫入的資料一樣則讓LED亮某個燈
    想想這好像不是很好的方法
2 e$ F# K! v" l7 x$ f    想請問各位在做memory controller的驗證時有沒有什麼更好的方法呢 ?
    p.s1 : 還是小弟使用軟體模擬的方向錯了?
" u2 L' x$ C- d' ?/ h% _    p.s2 : 我有一台簡單的LA , 可是飛機夾對memory的pin腳來說太粗了，很難夾，有前輩有什麼好方法可以讓我量到真實訊號呢???
4 ~3 v) S( K- m: j8 t- V7 Y1 ]
( U# L2 _! k4 s1 Q+ b. Q' g3 N    以上是我的問題，如果之前有人問過請版主告知，小弟會刪掉的

kevin

對memory controller做驗證,要做到完整不容易,跟你要驗證的memory type有關,要做到每一家的memory都適用,更須了解各種memory的規格.
基本上要有software interface (c/c++ program)到memory controller,還要建立各家memory model,然後先驗證memory controller 的control and status register 的reset values,再改變control and status register 值看是否正確,都正確後,再去做各種memory model的 read/write.

tommywgt

聽起來是你的ram是外掛的
: {9 d8 o, G- q" X7 M& ^# b  o
; i: C7 ^7 E: u  r針對你用LA去來信號這個問題而言, 你可以考慮利用FPGA內建LA去捉信號來看

m851055

針對量測的問題給你意見，探棒可以用轉接成小的或是將要量測點作拉線之處理。

walltsou

之前我在寫SDRAM控制器，因為容量達8MB時也遇到相同問題。要一個一個寫入再讀回送到PC去做驗證，花的時間很長。另一個問題是要放那一種資料。
0 U6 N  M% ?2 R1 g& A後來試了幾個方法：
7 y& Y3 Q" j, N- I1.放在Address相同的資料binary code。驗證是很簡單，可是覺得資料太規律，可能會有沒考量到的，像high byte data大多為零，驗不到。
2.利用固定加入數值的counter做為資料，每次加入像97等質數，這樣就可以驗到high byte data。而且Address和data之間有數學關係，也很容易驗。
3.使用CRC(或Linear  Feedback Shift Register)產生數列方法來驗，數值近似亂數，效果最好。

yhchang

樓主的方法雖然不好  但卻是大部分 DRAM IC廠做 Function Check使用的方法
( \5 t9 J; x6 p8 i* g對自己準備要寫的資料  做一番精心的設計   0101  1010   0001  1110 .....etc
  V' @2 e8 n) d; f) M9 c7 U在同一套PATTERN  對Memory Controller 下不同的指令
比如   Burst Length =1,2,4,8   Cas Latency= 1,2,3
Data type是 sequential 還是 Interleave ....等
0 f, g5 S: W/ W2 I3 `
每種MODE 都做一次 Write + Read 看看是否 一樣?
9 V) B- z1 R, u5 s4 ]. }# V# ?; }+ S5 X有些則是  你寫進去的DATA 會被 Mask掉  或是被 Trucate掉  所以你讀出來的資料不會與寫的一樣
反正各種PATTERN的設計  都是希望在 輸出端 看到想要的 WAVEFORM  但不見得要跟寫進去的一樣
- S. G1 O& l/ \. f( a- T5 Q當你把 CHIP全部類型的指令組合 都下過一次   
都沒有問題  基本上FUNCTION就沒問題了
4 E5 m& J" ?' O6 H& o4 `剩下的就是 Timing Spec能否調進去的問題.