創作

完善資料讓更多小伙伴認識你,還能領取20積分哦, 立即完善>

3天內不再提示

這4種CPU錯誤該如何找到,沒找到會有什么后果

物聯網評論 ? 來源:物聯網評論 ? 作者:物聯網評論 ? 2022-04-29 15:28 ? 次閱讀

Codasip 驗證總監 Philippe Luc 分享了他對驗證工程師應注意哪些錯誤的看法。

您是否知道在設計復雜的處理器內核時可能會出現 1,000 到 2,000 個錯誤?真的,一千個蟲子?嗯,這就是經驗告訴我們的。并非所有的錯誤都是生來平等的:它們的重要性和后果可能會有很大差異。讓我們來看看 4 類CPU 錯誤,如何找到它們,如果我們沒有找到它們會給用戶帶來什么后果。

類型 1:驗證工程師容易發現的處理器 BUG

“哦,我忘記了分號”。是的,這是一個錯誤。很容易檢測到,通常是您在編譯時直接發現的錯誤。除了睜大眼睛,沒有其他辦法可以避免這些.

“哦,原來規范的一部分沒有實現”。這是另一個容易找到的 CPU 錯誤,您可以通過任何體面的測試平臺找到 - 前提是存在顯式測試。在這種情況下,執行該功能的第一個簡單測試將失敗。您的處理器驗證團隊需要做什么?確保你有詳盡的測試。另一方面,設計團隊需要努力仔細閱讀規范,并在開發過程中遵循規范中的任何更改。

換句話說,簡單的錯誤是通過運行一個測試該功能的測試來發現的。它的(壞)行為是系統性的,而不是時間條件。詳盡的驗證是找到此類 CPU 錯誤的關鍵。代碼覆蓋率會幫助你,但絕對不夠。如果 RTL 中沒有對某個特性進行編碼,那么覆蓋率如何報告它缺失?代碼審查- 手頭有規范 - 絕對有幫助。

類型 2:驗證團隊喜歡找到的極端案例

極端情況下的CPU 錯誤更難找到,需要強大的測試平臺。運行該功能的簡單測試用例正確通過,即使有隨機延遲。很多時候,當異步事件加入聚會時,您會發現這些錯誤。例如,一個中斷恰好在 2 條指令之間以精確的時間到達?;蛘呔彺嬷械囊恍性诖鎯彌_區想要合并時被驅逐。要解決這些錯誤,您需要一個能夠兼顧指令、參數和延遲的測試平臺,以便執行所有可能的指令和事件交錯。顯然,一個好的檢查者應該發現任何與預期的偏差。

在這種情況下,代碼覆蓋率有幫助嗎?不幸的是沒有。僅僅因為錯誤的情況是已經單獨涵蓋的幾個事件的組合。在這里,條件覆蓋分支覆蓋可能會有所幫助。但分析起來很痛苦,而且最終很少有好處。

動畫展示了 4 種 CPU 錯誤的演變過程

1. 測試臺發現了簡單的錯誤和一些極端情況。2.我們從這些極端案例中學習,以改進測試平臺并擴大驗證范圍。這樣做,我們會發現隱藏的案例變成了極端案例(或簡單的錯誤)。3. 由于Bug“成群結隊”,我們可以根據最后發現的Bug進一步擴大我們的驗證范圍。當我們遇到一個愚蠢的錯誤時,我們知道我們的測試已經足夠遠了。

類型 3:意外發現的隱藏 CPU 錯誤 - 或由客戶發現

隱藏的錯誤是由客戶發現的(這是不好的),或者是偶然發現的(在內部,在發布之前)。在這兩種情況下,這意味著驗證方法無法找到它們。

如果您使用不同的測試臺或環境,您可能會因為刺激不同而找到其他案例。很公平。那么,我們所說的“偶然發現”是什么意思?這是隨機測試平臺方法的限制。

對于隨機刺激,測試平臺通常會生成“相同”的東西。如果你擲骰子得到一個隨機數,那么連續 10 次得到數字 6 的機會很少。準確地說,6000 萬分之一的機會。對于具有 100 條不同指令的RISC-V CPU,(等概率的)隨機指令生成器每 102? 次只有 1 次機會連續生成 10 次相同的指令。只是魔方不同位置數量的兩倍……在 10 級流水線處理器上,使用所有流水線級上存在的相同指令對其進行測試并非不合理。如果你不調整你的隨機約束,祝你好運......

類型 4:現實生活中不會發生的愚蠢錯誤

您可能會過度尋找極端案例和隱藏案例,最終創建的測試太愚蠢了。

在連接調試器的同時在每個周期來回更改字節順序可能永遠不會在消費產品上發生,如果 CPU 錯誤的后果對客戶來說永遠不可見,那么它就不是真正的錯誤。如果您在復制文件時故意拔下 U 盤,而文件已損壞,我認為這不是錯誤。如果某些操作導致 USB 控制器掛起,那么是的,這是一個錯誤。

謹防擴大驗證范圍。當發現愚蠢的案例時,您可能將工程工作投入到錯誤的地方。

您可以應用不同的驗證技術在客戶之前有效地發現 CPU 錯誤。在 Codasip,我們使用多個組件測試平臺、各種隨機測試生成器、隨機刺激器和其他幾種技術來驗證我們的產品。隨著項目的發展,我們開發了這些技術以擁有強大的驗證方法。在我們的博客文章中了解更多信息,其中我們解釋了我們如何不斷改進我們的驗證方法。

審核編輯:符乾江

  • cpu
    cpu
    +關注

    關注

    68

    文章

    6819

    瀏覽量

    193423
  • 服務器
    +關注

    關注

    10

    文章

    4422

    瀏覽量

    75978
  • 錯誤
    +關注

    關注

    0

    文章

    14

    瀏覽量

    16678
收藏 人收藏

    評論

    相關推薦

    現代測試系統具有豐富的數據管理策略

      Cyth Systems 在設計 Omnimetriq 產品系列時實施了上述數據管理策略。打包為....
    的頭像 星星科技指導員 發表于 07-04 14:30 ? 20次 閱讀
    現代測試系統具有豐富的數據管理策略

    Nginx如何做到熱部署

    Nginx是一款輕量級的Web服務器、反向代理服務器,由于它的內存占用少(一個worker進程只占用....
    的頭像 一口Linux 發表于 07-04 11:26 ? 74次 閱讀

    PT8M2301A可多次編程A/D型8位MCU概述及特性

    PT8M2301A 是一款可多次編程(MTP)A/D 型 8 位 MCU,其包括 2K*16bit ....
    的頭像 batai 發表于 07-04 10:38 ? 35次 閱讀
    PT8M2301A可多次編程A/D型8位MCU概述及特性

    MOS 6510/8500 CPU適配器開源分享

    電子發燒友網站提供《MOS 6510/8500 CPU適配器開源分享.zip》資料免費下載
    發表于 07-04 09:47 ? 1次 閱讀
    MOS 6510/8500 CPU適配器開源分享

    嵌入式Linux調試變得更容易

    在評估用戶空間性能時,跟蹤工具可以更加強大。像大多數嵌入式軟件開發人員一樣,我開發針對 Linux ....
    的頭像 星星科技指導員 發表于 07-04 09:15 ? 61次 閱讀
    嵌入式Linux調試變得更容易

    SMP、NUMA、MPP體系結構比較

    從系統架構來看,目前的商用服務器大體可以分為三類,即對稱多處理器結構 (SMP :Symmetric....
    的頭像 馬哥Linux運維 發表于 07-04 09:04 ? 27次 閱讀

    帶寬與網速之間的區別是怎樣的

    什么是帶寬?什么是網速?至今我接觸的客戶還有不少是沒搞懂這塊, 誤認為互聯網的一切只是數據傳輸交換互....
    的頭像 陳志誠 發表于 07-03 20:50 ? 7次 閱讀
    帶寬與網速之間的區別是怎樣的

    SPDK Thread模型設計與實現 NVMe-oF的使用案例

    SPDK Thread 模型是SPDK誕生以來十分重要的模塊,它的設計確保了spdk應用的無鎖化編程....
    的頭像 FPGA之家 發表于 07-03 16:20 ? 220次 閱讀

    如何遷移docker的存儲目錄

    那就準備遷移 docker 的存儲目錄吧,或者對 /var 設備進行擴容來達到相同的目的。更多關于 ....
    的頭像 馬哥Linux運維 發表于 07-03 09:21 ? 112次 閱讀

    華為OceanStor2810計算型存儲助力檔案信息化建設加速

    在國家經濟社會發展的歷史進程中,各項重大事業的規律認識、經驗總結、歷史文化傳承延續,老百姓的生產生活....
    的頭像 華為數字中國 發表于 07-01 15:31 ? 157次 閱讀

    新加坡vps和新加坡云服務器有什么區別

    許多公司都在租用新加坡vps和新加坡云服務器,不知道這兩者有何區別?新加坡vps和新加坡云服務器肯定....
    的頭像 深圳市恒訊科技有限公司 發表于 07-01 15:24 ? 34次 閱讀

    在開發平臺上使用VITIS AI加速AI應用

    在運行量化器時,我們可以使用更大的校準圖像、迭代和檢測來調整輸出,視頻輸入的準確率約為 96%。我們....
    的頭像 星星科技指導員 發表于 07-01 14:24 ? 106次 閱讀
    在開發平臺上使用VITIS AI加速AI應用

    調度中心顯示系統設計應用方案

    根據調度所大屏幕顯示單元的具體配置,由于各顯示單元至大屏幕控制室之間的距離遠超過15m,采用數字DV....
    發表于 07-01 13:25 ? 204次 閱讀
    調度中心顯示系統設計應用方案

    關于llist.h文件中的鏈表宏講解

    鏈表宏在linux內核、鴻蒙內核、rtos和一些開源代碼中用的非常多。鏈表宏是雙向鏈表的經典實現方式....
    的頭像 一口Linux 發表于 07-01 11:58 ? 217次 閱讀

    如何用Go重寫Node.js服務

    Hasura Storage 是一項開源服務,在 hasura 和任何 s3 兼容的存儲服務之上增加....
    的頭像 馬哥Linux運維 發表于 07-01 10:51 ? 121次 閱讀

    使用OpenAMP多核框架來滿足控制和通信要求

      該框架的一個實例在每個核心上運行。使用Remoteproc提供生命周期管理,其中一個核心被指定為....
    的頭像 星星科技指導員 發表于 07-01 10:04 ? 134次 閱讀
    使用OpenAMP多核框架來滿足控制和通信要求

    關于二進制表示和補碼計算

    作為一名軟件開發者,入門學習的內容可能就是認識這 2 個既簡單、又強大的數字。但是大部分人,對于二進....
    的頭像 FPGA之家 發表于 07-01 09:48 ? 69次 閱讀

    使用TensorBoard進行機器學習模型分析

      總體而言,TensorBoard 是幫助開發和培訓過程的絕佳工具。Scalar and Metr....
    的頭像 星星科技指導員 發表于 07-01 09:44 ? 77次 閱讀
    使用TensorBoard進行機器學習模型分析

    帶有AT89S52多用途的CPU設計

    描述 多用途 CPU,帶 AT89S52 (SMD) 該 CPU 設計用于 7 段 SMD 顯示器,具有串行控制。它有一個用于編程的 I...
    發表于 07-01 09:40 ? 2341次 閱讀

    新一代旗艦!Arm Cortex-X3 + Immortalis GPU發布,Arm全面計算賦能視覺體驗

    電子發燒友網報道(文/黃晶晶)去年初,被稱為Arm公司十年來最大技術革新的Armv9架構發布,基于此....
    發表于 06-30 20:32 ? 506次 閱讀
    新一代旗艦!Arm Cortex-X3 + Immortalis GPU發布,Arm全面計算賦能視覺體驗

    小白求助AMD跟ARM有什么關系

    據我所知,兩者是沒什么關系的, 一個是美國的桌面級CPU生產商, 一個是英國移動平臺CPU芯片生產商。 但那天在網上看到...
    發表于 06-30 18:02 ? 3000次 閱讀

    ARM芯片是小端還是大端

    ARM芯片是小端還是大端?哪位大佬知道,能否給說明一下。ARM大小端格式是由編譯器決定?還是CPU決定? ...
    發表于 06-30 17:59 ? 3404次 閱讀

    盤點一些用上先進制程工藝的RISC-V處理器

    電子發燒友網報道(文/周凱揚)無論是x86、Arm還是新秀RISC-V,大家談及基于這些架構的處理器....
    發表于 06-30 16:33 ? 593次 閱讀

    2022年中國DPU行業白皮書 DPU將成為CPU、GPU后的第三塊主力芯片

    本報告旨在分析 DPU 發展現狀、產品特點、技術動向及發展趨勢,并識別中國芯片廠商與海外芯片廠商的差....
    的頭像 拍明芯城 發表于 06-30 16:05 ? 1398次 閱讀
    2022年中國DPU行業白皮書 DPU將成為CPU、GPU后的第三塊主力芯片

    在重構或重新設計時驗證你的代碼

      大多數組織希望通過在源代碼更改時更新這些測試來保留先前測試投資的價值。但這會導致高昂的測試維護成....
    的頭像 星星科技指導員 發表于 06-30 14:52 ? 63次 閱讀

    NVIDIA Morpheus應用框架可實時發現和阻止復雜攻擊

    如今,網絡安全格局隨著威脅與攻擊方法的不斷變化而變化,使商業世界處于高度戒備狀態。通過不斷改變攻擊技....
    的頭像 科技綠洲 發表于 06-30 14:38 ? 261次 閱讀
    NVIDIA Morpheus應用框架可實時發現和阻止復雜攻擊

    Ampere Mt. Jade服務器首款通過SystemReady LS等級認證

    Arm SystemReady 合規性認證計劃已經達到了一個重要里程碑——基于 Arm 架構的 Am....
    的頭像 科技綠洲 發表于 06-30 11:25 ? 193次 閱讀

    數據日志的使用

    在目標 CPU 的設備配置中啟用 Web 服務器,“設備視圖”→“鼠標選中CPU”→“屬性”→“We....
    的頭像 機器人及PLC自動化應用 發表于 06-30 11:04 ? 175次 閱讀

    統信服務器操作系統V20助力鐵路局完成核心業務系統信創改造

    未來,統信軟件將提供更加安全穩定和智能易用的產品和服務,成為堅實可信的新基建基座,與國鐵集團及相關單....
    的頭像 科技綠洲 發表于 06-30 10:33 ? 168次 閱讀

    使用RTOS時問題如何檢測和糾正

      請注意,如果 LPT 僅比 HPT 低一個優先級,則可以使用信號量。在這種情況下,信號量是首選,....
    的頭像 星星科技指導員 發表于 06-30 10:07 ? 61次 閱讀
    使用RTOS時問題如何檢測和糾正

    專用工具為調試基于RTOS的系統設計

      另一個可以補充 SystemView 的工具是 Micrium 的 μC/Probe ,它是一種....
    的頭像 星星科技指導員 發表于 06-30 10:04 ? 62次 閱讀
    專用工具為調試基于RTOS的系統設計

    PING不通是怎么回事

    1、訪問控制。不管中間跨越了多少跳,只要有節點(包括端節點)對ICMP進行了過濾,Ping不通是正常的。最常見的就是防火墻的...
    發表于 06-30 09:41 ? 1745次 閱讀

    CheerPrintService基于瀏覽器渲染的服務器PDF打印服務

    ./oschina_soft/CheerPrintService.zip
    發表于 06-30 09:23 ? 6次 閱讀
    CheerPrintService基于瀏覽器渲染的服務器PDF打印服務

    OAuth2-Server OAuth 2.0授權服務器的實現

    ./oschina_soft/oauth2-server.zip
    發表于 06-30 09:19 ? 7次 閱讀
    OAuth2-Server OAuth 2.0授權服務器的實現

    開源軟件-不死鳥微信域名防封整站系統

    ./oschina_soft/gitee-WechatUrlWebSite.zip
    發表于 06-30 09:15 ? 9次 閱讀
    開源軟件-不死鳥微信域名防封整站系統

    正在為服務器市場創造數十億價值的CXL

    CXL已經成了業界高速通信逐漸普及的公開標準之一,也在為整個服務器市場創造數十億的價值,無論是內存廠....
    的頭像 E4Life 發表于 06-30 08:03 ? 896次 閱讀
    正在為服務器市場創造數十億價值的CXL

    仿真新挑戰的解決方案

      這些是讓我徹夜難眠的原因——除了我們已經在努力解決它們,讓我的夜晚不再那么煩惱。在接下來的一年里....
    發表于 06-29 15:28 ? 268次 閱讀

    HeartbeatOne MySQL主服務器復制延遲時間檢查工具

    ./oschina_soft/gitee-HeartbeatOne.zip
    發表于 06-29 15:27 ? 6次 閱讀
    HeartbeatOne MySQL主服務器復制延遲時間檢查工具

    什么是字節序?字節序重要嗎?

      c和d最后會包含什么值?無論字節順序如何,c 都應該包含值 0x0 d。但是,d的值將取決于字節....
    的頭像 星星科技指導員 發表于 06-29 15:20 ? 126次 閱讀

    RTOS消息隊列的多種用途

      消息隊列可以以多種不同的方式使用。事實上,您可以編寫可能只使用消息隊列的相當復雜的應用程序。僅使....
    的頭像 星星科技指導員 發表于 06-29 14:57 ? 115次 閱讀
    RTOS消息隊列的多種用途

    Arm 全面計算解決方案重新定義視覺體驗 強力賦能移動游戲

    Arm? 今日宣布推出 2022 全面計算解決方案?(TCS22),可提供不同級別的性能、效率和可擴....
    發表于 06-29 14:37 ? 363次 閱讀
    Arm 全面計算解決方案重新定義視覺體驗 強力賦能移動游戲

    如何處理RTOS系統中的時序問題

    一些調試器可以在系統執行時實時呈現變量(“實時監視”),盡管這可能不適合快速變化的變量。
    的頭像 星星科技指導員 發表于 06-29 14:29 ? 107次 閱讀

    如何實現對TS-7680硬件的支持

      一旦 npm 升級,任何時候它運行都會返回一個錯誤,說 npm 不支持 node.js v0.1....
    的頭像 星星科技指導員 發表于 06-29 14:20 ? 165次 閱讀
    如何實現對TS-7680硬件的支持

    基于分流電阻的無橋圖騰柱PFC電流感應方案

    在大多數雙向傳感器中,V Offset通常設置為 V CC的二分之一,因此輸入電流的最大允許范圍為 ....
    發表于 06-29 11:54 ? 675次 閱讀
    基于分流電阻的無橋圖騰柱PFC電流感應方案

    IBM如何與企業共創可持續未來

    2022年6月,IBM 大中華區總經理陳旭東受邀參加由中歐校友總會、中歐校友工業互聯網協會主辦的“第....
    的頭像 科技綠洲 發表于 06-29 11:54 ? 218次 閱讀

    傳統網絡引導預引導執行環境

      在相同的 PXE 服務器設置的幫助下,我們在大約五臺具有 PXE SDK 的不同計算機上部署了 ....
    的頭像 星星科技指導員 發表于 06-29 11:51 ? 1577次 閱讀

    欣威視通國產化整體解決方案滿足行業伙伴國產化替代需求

     欣威視通作為國內智能終端AIoT整體解決方案商代表,正式加入“同心生態聯盟”,將與同心生態聯盟各成....
    的頭像 科技綠洲 發表于 06-29 10:25 ? 150次 閱讀

    為什么需要量子計算

    隨著今年超算正式跨入Exascale級別,各大地區的HPC中心、國家實驗室也都已經有了Exascal....
    的頭像 電子發燒友網 發表于 06-29 10:12 ? 93次 閱讀

    摩爾線程MTT S10產品與同方超翔TF830系列完成兼容性互認證

    繼摩爾線程與同方計算機有限公司(簡稱:同方計算機或同方)達成戰略合作關系后,雙方合作又有新進展。近日....
    的頭像 科技綠洲 發表于 06-29 10:01 ? 123次 閱讀

    回顧歷史,從串行計算到并行計算

    計算的問題應該能夠:分解成可以同時解決的離散工作;隨時執行多條程序指令;使用多個計算資源比使用單個計....
    的頭像 e星球 發表于 06-29 09:44 ? 79次 閱讀

    滴答處理程序不是調度程序

      從技術上講,可以編寫一個沒有超時和延遲函數(如 OSTimeDly())的多任務應用程序。然而,....
    的頭像 星星科技指導員 發表于 06-29 09:19 ? 276次 閱讀
    滴答處理程序不是調度程序

    主要演示BL702/704/706系列mcu低功耗性能

    1、主要演示BL702/704/706系列mcu低功耗性能 低功耗模式: Running : Running 為 CPU 正常運行時的功耗,由客戶應用代碼...
    發表于 06-28 18:19 ? 5630次 閱讀

    詳解Android Studio Chipmunk新增功能

    我們非常激動地宣布推出 Android Studio Chipmunk 穩定版: 構建 Androi....
    的頭像 谷歌開發者 發表于 06-28 17:57 ? 302次 閱讀

    CPU研發現狀以及市場現狀

    國產CPU市場概況CPU處理器主要面向的市場有PC、服務器、嵌入式、智能手機、安防監控、汽車電子、視....
    的頭像 科技綠洲 發表于 06-28 17:37 ? 267次 閱讀
    CPU研發現狀以及市場現狀

    國產CPU市場概況 CPU應用中的挑戰

    前言近兩年,隨著國家對信息技術應用創新日益重視,作為芯片行業的重要成員,許多國產CPU公司有了長足的....
    的頭像 Xpeedic 發表于 06-28 17:15 ? 767次 閱讀

    什么是鏡像技術

    鏡像(Mirroring)是冗余的一種類型,一個磁盤上的數據在另一個磁盤上存在一個完全相同的副本即為鏡像,RAID 1和RAID 1...
    發表于 06-28 09:38 ? 3764次 閱讀

    更改CPU調度程序和優先級的教程

    描述 更改CPU調度程序和優先級 ...
    發表于 06-28 07:45 ? 56次 閱讀

    一個簡單的MOS 6510/8500 CPU適配器

    描述 MOS 6510/8500 CPU 適配器 一個簡單的適配器,用于連接來自 CPU 的 A5-A8 和 RW 信號,用于 ARM2SID...
    發表于 06-28 07:14 ? 87次 閱讀

    學習一下LVGL的款式

    按照官網學習順序,下學一下LVGL的款式。 先看lv_example_style_1()。代碼如下,稍作修改: void lv_example_style_1(void...
    發表于 06-27 11:32 ? 882次 閱讀

    物理機服務器有什么用?

    首先我們先了解物理機是由什么部分組成:主板、內存、硬盤、陣列卡、電源、網卡、風扇。tg@CDNJSFY 另外物理機服務器有幾...
    發表于 06-22 10:16 ? 1928次 閱讀
    物理機服務器有什么用?

    TMS320VC5501 定點數字信號處理器

    TMS320VC5501(5501)定點數字信號處理器(DSP)基于TMS320C55x™DSP生成CPU處理器內核。 C55x™DSP架構通過增加并行性和全面關注降低功耗來實現高性能和低功耗。 CPU支持內部總線結構,該結構由一個程序總線,三個數據讀總線,兩個數據寫總線以及專用于外設和DMA活動的附加總線組成。這些總線能夠在一個周期內執行最多三次數據讀取和兩次數據寫入。并行,DMA控制器可以獨立于CPU活動執行數據傳輸。 C55x™CPU提供兩個乘法累加(MAC)單元,每個單元能夠進行17位×17位乘法運算。單循環。額外的16位ALU支持中央40位算術/邏輯單元(ALU)。 ALU的使用受指令集控制,提供優化并行活動和功耗的能力。這些資源在C55x CPU的地址單元(AU)和數據單元(DU)中進行管理。 C55x DSP代支持可變字節寬度指令集,以提高代碼密度。指令單元(IU)從內部或外部存儲器執行32位程序提取,并為程序單元(PU)排隊指令。程序單元解碼指令,將任務指向AU和DU資源,并管理完全受保護的管道。預測分支功能可避免執行條件指令時的管道刷新。 5501外設...
    發表于 10-09 14:55 ? 508次 閱讀
    TMS320VC5501 定點數字信號處理器
    欧美最猛性xxxxx潮喷,国产熟女出轨做受的叫床声,国产精品熟女视频一区二区,亚洲妇熟XXXX妇色黄
    <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <文本链> <文本链> <文本链> <文本链> <文本链> <文本链>