記憶體如何驗證

kyopc

各位前輩大家好：
  V" _! [) F/ g, E    小弟最近在做的project有很大量的記憶體存取
    但在做的過程中曾想過,
   
    在使用modelsim 看過控制訊號正確後
% {  E6 N* a# T; X/ F( r    "如何驗證自己寫的memory controller有資料真的寫入或讀出"
. G  i2 V/ ]8 S8 E' R% F  a( @7 j
) }/ x$ C: V2 l! H# M: Q* v- {    因為在模擬的時候data line都不可能真的有資料進出，頂多看adress輸出跟控制訊號的關係而已
    而我之前的做法還蠻爛的，就是先寫固定的資料進去，再讀取出來
     然後在內部寫比較器去比對，如果讀回來的跟寫入的資料一樣則讓LED亮某個燈
    想想這好像不是很好的方法
' x$ R) S/ \! E( b    想請問各位在做memory controller的驗證時有沒有什麼更好的方法呢 ?
2 v( R: B, b2 m4 g9 i# Q. `    p.s1 : 還是小弟使用軟體模擬的方向錯了?
    p.s2 : 我有一台簡單的LA , 可是飛機夾對memory的pin腳來說太粗了，很難夾，有前輩有什麼好方法可以讓我量到真實訊號呢???

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

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是外掛的
# I, A6 l5 [& d. d' s8 [+ H: f
0 e) }0 C, I! w% m8 o針對你用LA去來信號這個問題而言, 你可以考慮利用FPGA內建LA去捉信號來看

m851055

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

walltsou

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

yhchang

樓主的方法雖然不好  但卻是大部分 DRAM IC廠做 Function Check使用的方法
對自己準備要寫的資料  做一番精心的設計   0101  1010   0001  1110 .....etc
在同一套PATTERN  對Memory Controller 下不同的指令
比如   Burst Length =1,2,4,8   Cas Latency= 1,2,3
Data type是 sequential 還是 Interleave ....等
0 C$ j4 y( n8 B4 @
9 c/ m. e/ u! p; O' L每種MODE 都做一次 Write + Read 看看是否 一樣?
有些則是  你寫進去的DATA 會被 Mask掉  或是被 Trucate掉  所以你讀出來的資料不會與寫的一樣
反正各種PATTERN的設計  都是希望在 輸出端 看到想要的 WAVEFORM  但不見得要跟寫進去的一樣
' A& m/ H+ O8 s2 j當你把 CHIP全部類型的指令組合 都下過一次   
1 d" ?" _8 `- U+ B3 k都沒有問題  基本上FUNCTION就沒問題了
剩下的就是 Timing Spec能否調進去的問題.