交換機芯片協同仿真的驗證系統及方法
【技術領域】
[0001]本發明涉及交換機芯片功能仿真技術領域，尤其是涉及一種交換機芯片協同仿真的驗證系統及方法。
【背景技術】
[0002]在傳統的交換機芯片協同仿真系統中，我們需要通過存儲不同模塊間傳遞的消息來進行驗證。隨著芯片日益加劇的復雜性，這些消息結構會越來越大，而且，現在往往還需要實時地對芯片中的一些統計、狀態進行監控和記錄。
[0003]傳統交換機芯片協同仿真系統中的消息驗證模塊如圖1所示，是將芯片模塊中所有的消息和狀態以及仿真系統中模塊的所有消息和狀態都交給消息驗證模塊中去完成整個驗證工作，這樣就會導致消息驗證模塊中數據量大，使得驗證過程比較繁瑣。
[0004]且現有消息驗證模塊中對消息進行驗證時，是對每條消息進行逐一比較，整個驗證過程不是很高效和靈活。
【發明內容】
[0005]本發明的目的在于克服現有技術的缺陷，提供一種交換機芯片協同仿真的驗證系統及方法，通過設計一種有效的消息驗證接口，以實現更簡便、更全面、更可靠、更靈活的驗證工作。
[0006]為實現上述目的，本發明提出如下技術方案:一種交換機芯片協同仿真的驗證系統，包括芯片、仿真系統、芯片消息信息存儲單元、芯片狀態信息存儲單元、仿真系統消息信息存儲單元、仿真系統狀態信息存儲單元以及消息驗證模塊，所述芯片中需要驗證的消息和狀態分別存儲到對應的所述芯片消息信息存儲單元和芯片狀態信息存儲單元中，所述仿真系統中需要驗證的消息和狀態分別存儲到對應的所述仿真系統消息信息存儲單元和仿真系統狀態信息存儲單元中，所述芯片消息信息存儲單元和芯片狀態信息存儲單元將存儲的所述芯片的消息和狀態以及所述仿真系統消息信息存儲單元和仿真系統狀態信息存儲單元將存儲的所述仿真系統中的消息和狀態均發送到所述消息驗證模塊中進行驗證。
[0007]優選地，所述消息驗證模塊包括消息信息匹配模塊和狀態信息匹配模塊，所述芯片和仿真系統消息信息存儲單元將存儲的消息、所述芯片和仿真系統狀態信息存儲單元將存儲的狀態分別發送給所述消息信息匹配模塊和狀態信息匹配模塊內進行存儲單元級的比較。
[0008]優選地，所述消息信息匹配模塊包括消息信息存儲模塊、消息信息存儲單元數據結構和消息驗證自動化腳本，所述消息信息存儲單元數據結構通過所述消息驗證自動化腳本分別生成信息存儲單元、信息匹配單元和不匹配信息輸出單元。
[0009]優選地，所述狀態信息匹配模塊包括狀態信息存儲模塊、狀態信息存儲單元數據結構和狀態驗證自動化腳本，所述狀態信息存儲單元數據結構通過所述狀態驗證自動化腳本分別生成狀態存儲單元、狀態匹配單元和不匹配狀態輸出單元。
[0010]本發明還揭示了一種交換機芯片協同仿真的驗證方法，包括以下步驟:
[0011]將芯片中需要驗證的消息和狀態分別存儲到對應的芯片消息信息存儲單元和芯片狀態信息存儲單元中；將仿真系統中需要驗證的消息和狀態分別存儲到對應的仿真系統消息信息存儲單元和仿真系統狀態信息存儲單元中；
[0012]將所述芯片和仿真系統消息信息存儲單元中存儲的消息、所述芯片和仿真系統狀態信息存儲單元中存儲的狀態均發送到消息驗證模塊內進行驗證。
[0013]優選地，將所述芯片和仿真系統消息信息存儲單元中存儲的消息、所述芯片和仿真系統狀態信息存儲單元中存儲的狀態分別發送給對應的消息信息匹配模塊和狀態信息匹配模塊內進行存儲單元級的比較匹配，若結果不匹配，則分別輸出相應的不匹配信息。
[0014]優選地，將芯片和仿真系統的消息信息存儲單元中存儲的消息生成對應的消息信息存儲單元數據結構，并通過消息驗證自動化腳本，生成消息存儲單元、消息匹配單元和不匹配消息輸出單元。
[0015]優選地，將芯片和仿真系統的狀態信息存儲單元中存儲的狀態生成對應的狀態信息存儲單元數據結構，并通過狀態驗證自動化腳本，生成狀態存儲單元、狀態匹配單元和不匹配狀態輸出單元。
[0016]本發明的有益效果是:本發明提出了一種有效的模擬交換機芯片協同仿真系統的驗證方法，把芯片語言和協同仿真語言完美的結合了起來，并且在消息驗證模塊中引入了一個自動化的過程，只需要模塊和消息結構兩要素，就可以自動進行信息存儲、信息匹配、不匹配信息輸出的工作，這個驗證方法既能向下兼容原有的驗證方式，又增加了可擴展性和靈活性，更提高交換機芯片協同仿真驗證的全面性和可靠性。
【附圖說明】
[0017]圖1是現有的交換機芯片協同仿真的驗證方法的原理示意圖；
[0018]圖2是本發明實施例交換機芯片協同仿真的驗證系統的結構框圖；
[0019]圖3是本發明實施例交換機芯片協同仿真的驗證系統的驗證原理示意圖；
[0020]圖4是本發明實施例消息驗證模塊的原理示意圖。
【具體實施方式】
[0021]下面將結合本發明的附圖，對本發明實施例的技術方案進行清楚、完整的描述。
[0022]如圖2所示，本發明實施例所揭示的一種交換機芯片協同仿真的驗證系統，包括芯片、芯片消息信息存儲單元、芯片狀態信息存儲單元、消息驗證模塊、仿真系統消息信息存儲單元、仿真系統狀態信息存儲單元和仿真系統，以芯片中模塊A及仿真系統中模塊A為例，將芯片模塊A中需要驗證的消息信息和狀態信息抽離出來，分別存儲到芯片模塊A對應的芯片消息信息存儲單元和芯片狀態信息存儲單元中；對應的，將仿真系統模塊A中需要驗證的消息信息和狀態信息抽離出來，分別存儲到仿真模塊A對應的仿真系統消息信息存儲單元和仿真系統狀態信息存儲單元中，最后，將芯片消息信息存儲單元和仿真系統消息信息存儲單元內存儲的消息信息，以及芯片狀態信息存儲單元和仿真系統狀態信息存儲單元內存儲的狀態信息一起發送給消息驗證模塊去完成整個驗證工作。
[0023]如圖3所示，消息驗證模塊內包括消息信息匹配模塊和狀態信息匹配模塊，將芯片消息信息存儲單元和仿真系統消息信息存儲單元內存儲的消息信息發送到消息信息匹配模塊內進行存儲單元級的比較匹配，如果結果匹配，就說明驗證通過；如果不匹配，則輸出具體的不匹配的信息，方便后續的分析和定位。對應的，將芯片狀態信息存儲單元和仿真系統狀態信息存儲單元內存儲的狀態信息發送到對應的狀態信息匹配模塊內進行存儲單元級的比較匹配，如果結果匹配，就說明驗證通過；如果不匹配，則輸出具體的不匹配的信息。
[0024]為了增強消息驗證模塊驗證功能的可擴展性和靈活性，本發明在消息驗證模塊中加入一套自動化的優化過程。在消息驗證模塊有兩個關鍵的要素，一個是模塊；一個是信息，本發明把對于給定的模塊中消息信息和存儲信息分別給出對應的消息信息存儲單元數據結構和存儲信息存儲單元數據結構。具體地，如圖4所示，消息信息匹配模塊和狀態信息匹配模塊包括對應的信息存儲模