記憶體如何驗證

kyopc

各位前輩大家好：
. S3 u( u+ Q6 `5 R    小弟最近在做的project有很大量的記憶體存取
% [7 `8 T. }( Z" t6 `7 u5 V/ l    但在做的過程中曾想過,
# u  @: D$ P7 z/ t% O   
" A$ f# A) t+ d* G    在使用modelsim 看過控制訊號正確後
    "如何驗證自己寫的memory controller有資料真的寫入或讀出"
" O% z3 y$ H4 m: S
    因為在模擬的時候data line都不可能真的有資料進出，頂多看adress輸出跟控制訊號的關係而已
1 M4 c# u6 M" ~' B7 Y5 L    而我之前的做法還蠻爛的，就是先寫固定的資料進去，再讀取出來
+ f: m1 u6 h% Z! q# y     然後在內部寫比較器去比對，如果讀回來的跟寫入的資料一樣則讓LED亮某個燈
4 C7 p3 `3 u4 ~2 P    想想這好像不是很好的方法
    想請問各位在做memory controller的驗證時有沒有什麼更好的方法呢 ?
    p.s1 : 還是小弟使用軟體模擬的方向錯了?
3 M) d$ W* B: ?' B4 v  a    p.s2 : 我有一台簡單的LA , 可是飛機夾對memory的pin腳來說太粗了，很難夾，有前輩有什麼好方法可以讓我量到真實訊號呢???

    以上是我的問題，如果之前有人問過請版主告知，小弟會刪掉的

yhchang

樓主的方法雖然不好  但卻是大部分 DRAM IC廠做 Function Check使用的方法
/ ~- X, l- p( K' ~1 _對自己準備要寫的資料  做一番精心的設計   0101  1010   0001  1110 .....etc
3 l7 x# S7 h# _3 D; h在同一套PATTERN  對Memory Controller 下不同的指令
, K, y3 a% ^3 n) M  S/ V1 R* d比如   Burst Length =1,2,4,8   Cas Latency= 1,2,3
Data type是 sequential 還是 Interleave ....等
' l, k8 A% A$ \$ X
# [6 X5 e: H7 [! b5 `! f0 `- {每種MODE 都做一次 Write + Read 看看是否 一樣?
5 B& ~6 k) |& L. Q有些則是  你寫進去的DATA 會被 Mask掉  或是被 Trucate掉  所以你讀出來的資料不會與寫的一樣
反正各種PATTERN的設計  都是希望在 輸出端 看到想要的 WAVEFORM  但不見得要跟寫進去的一樣
當你把 CHIP全部類型的指令組合 都下過一次   
9 K+ I! u1 q* {3 v都沒有問題  基本上FUNCTION就沒問題了
剩下的就是 Timing Spec能否調進去的問題.

walltsou

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

m851055

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

tommywgt

聽起來是你的ram是外掛的

: O% E. v1 d9 D. b1 p2 k針對你用LA去來信號這個問題而言, 你可以考慮利用FPGA內建LA去捉信號來看

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.