0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

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

3天內(nèi)不再提示

如何解決大芯片的驗證痛點

旺材芯片 ? 來源:半導體行業(yè)觀察 ? 2023-05-22 11:47 ? 次閱讀

隨著后摩爾時代的到來, AI、5G、自動駕駛等眾多熱門應用不斷涌現(xiàn),芯片規(guī)模呈指數(shù)級增長,十億門甚至幾十億門的芯片設計比比皆是,芯片規(guī)模越大、工藝節(jié)點越高,流片成本也是水漲船高。為了提高流片成功率,EDA驗證成為高端芯片設計必不可少的環(huán)節(jié),貫穿從設計到量產(chǎn)的全流程。驗證在整個芯片開發(fā)過程中,投入時間最長、耗費資源最多,也面臨著諸多技術挑戰(zhàn)。如何解決大芯片的驗證痛點,成為芯片設計公司的關注焦點。

一、EDA驗證為何至關重要

如今芯片設計軟件已走過了60多年的浩浩蕩蕩發(fā)展史,其過程是從輔助繪圖CAD,到能夠仿真驗證的CAE階段,再到模塊化的自動化工具EDA。EDA作為集成電路設計的基礎工具,隨著大規(guī)模集成電路、計算機和電子系統(tǒng)設計技術的不斷發(fā)展,發(fā)揮了至關重要的作用,已經(jīng)從輔助性技術成為了芯片產(chǎn)業(yè)的核心支柱技術之一,是IC設計最上游、技術壁壘最高的部分。沒有EDA軟件的支持,芯片的設計成本將幾十上百倍地增加。

根據(jù)應用場景的不同,EDA工具的使用主要分為設計、驗證、封裝、制造等幾大類,其中驗證(Verification)在EDA工具中覆蓋從前端邏輯設計、到后端物理設計、最終制造量產(chǎn)的整個環(huán)節(jié),隨著芯片設計成本越來越高昂,以及集成度的提高,復雜性也在大幅提升,通過驗證發(fā)現(xiàn)所有的設計缺陷和錯誤已命系成敗,驗證EDA工具已成為責任擔當。

9fd2b41c-f811-11ed-90ce-dac502259ad0.png

數(shù)據(jù)來源:IBS, Design Activities & Strategic Implications, July 2018

從驗證來看,EDA軟件非常復雜,技術壁壘也很高,最重要的是不僅要開發(fā)出工具,而且一定要不斷迭代,要有生態(tài)和客戶的支持,才能形成閉環(huán)。盡管國際三大巨頭經(jīng)過多年的積累,在驗證市場已有相應的成熟產(chǎn)品,但如果想進一步創(chuàng)新和迭代,則必須要考慮向前兼容,這無疑是一個沉重的歷史包袱。這也促成了中國在驗證EDA領域破局的機會。

二、大芯片有哪些驗證痛點

大芯片一般指大型SoC芯片,包含AI engine、CPU、GPU等,多使用12nm以下先進制程,應用于機器學習、自動駕駛、圖像識別、自然語言處理、數(shù)據(jù)中心等領域。對大芯片的驗證,是一項復雜且具有挑戰(zhàn)的任務,主要痛點體現(xiàn)在如下四個方面。

第一,驗證工具需要支持足夠大的芯片設計容量。大芯片的流片成本居高不下,流片失敗的損失難以估量,因此驗證工具需要與時俱進,能夠靈活堆疊,從而支持超大規(guī)模的芯片設計,并且保障正確性、可靠性。

第二,驗證時間需要盡可能縮短。有些驗證工具的自動化程度較低,部分流程需要手動干預,這將耗費工程師的精力,影響芯片上市時間。比如,在原型驗證方面,因芯片設計過大,需要進行分割后才能驗證,傳統(tǒng)方法是采用手動分割,既費時費力,又極易出錯,自動、智能的分割方法及工具是必然趨勢。

第三,需要高效的調試工具。一旦出現(xiàn)問題,需要盡快找到設計中的問題點進行調試,實現(xiàn)最快的迭代速度。面對復雜芯片,有些驗證平臺的觀測性和調試性較差,影響驗證效率。此外,調試工具在迭代過程中,還要不斷引入方法學和流程的創(chuàng)新,不僅支持功能的調試,還應拓展至功耗、覆蓋率、安全等方面的調試;不僅要支持不同設計層級如RTL和Gate級的需求,還要支持事務級和系統(tǒng)級的驗證調試。

第四,流片前的驗證算力峰值需求如何解決。IC企業(yè)流片前存在3-6個月的算力峰值需求,芯片驗證需要大內(nèi)存、高主頻的算力以及高性能存儲等。如果本地搭建,會耗費大量人力、物力、財力,還會存在計算、存儲等硬件資源的限制,加上耗時的采購與部署流程,導致驗證工程師難以在預定上市時間內(nèi)完成所有期望的作業(yè)。

三、FPGA原型驗證是大芯片驗證的首選方法

面臨這些痛點,F(xiàn)PGA(現(xiàn)場可編程門陣列)原型驗證已發(fā)展成為芯片公司首選的驗證方法。FPGA原型驗證,是基于FPGA的一種芯片功能驗證方式。它利用了FPGA可以多次擦寫的特性,在芯片RTL代碼開發(fā)的過程中,將RTL代碼綜合到FPGA上來做芯片的功能驗證。其目的是在芯片流片之前,為芯片開發(fā)團隊提供一個可以反復迭代的邏輯驗證平臺。在芯片設計定型之后,流片回片之前,為軟件開發(fā)團隊提供一個可以提前開發(fā)軟件功能的硬件環(huán)境,縮短芯片回片之后產(chǎn)品的上市時間。這個驗證環(huán)境能夠讓芯片驗證與軟件驗證并行,確保芯片軟硬件功能在真實應用場景中準確無誤。

FPGA通過級聯(lián),即可輕松實現(xiàn)大規(guī)模的芯片驗證;并且運行速度高,特別適合系統(tǒng)級驗證。再進一步通過級聯(lián)數(shù)臺FPGA原型驗證仿真器,即可搭建EDA云數(shù)據(jù)中心,通過云端彈性算力,滿足IC企業(yè)峰值算力需求,并能有效降低企業(yè)的IT投入和運維成本,提高芯片設計和驗證的效率和質量,還可以實現(xiàn)跨地域、跨平臺、跨設備的協(xié)同工作。

四、相比其它驗證手段,F(xiàn)PGA原型驗證有何優(yōu)勢

現(xiàn)代SoC芯片是一個軟硬件協(xié)同運行的系統(tǒng)。上面有復雜的軟件運行,和芯片硬件共同實現(xiàn)各種功能。與芯片協(xié)同工作的軟件系統(tǒng),其設計、開發(fā)和驗證工作需要和芯片設計驗證工作同步展開。這樣才能保證芯片功能正確,降低芯片流片失敗的風險,縮短產(chǎn)品的上市周期。

為了保證芯片功能正確,在芯片RTL代碼開發(fā)之后,需要經(jīng)過一系列的驗證流程。常見的數(shù)字芯片驗證手段,包括邏輯功能仿真、形式化驗證、硬件仿真和FPGA原型驗證等。

這幾種常見的數(shù)字芯片驗證手段中,F(xiàn)PGA原型驗證技術是最適合芯片軟硬件協(xié)同功能的驗證技術之一。FPGA原型驗證平臺可以提供調試芯片軟件必要的真實物理接口和硬件環(huán)境。這是邏輯功能仿真和形式化驗證無法提供的。相比硬件加速器,F(xiàn)PGA原型驗證平臺的軟件運行速度快一個數(shù)量級,很大程度縮短了軟件運行時間和驗證迭代的周期,優(yōu)化接口邏輯運行頻率可以使之對接真實設備,同時也使得軟硬件開發(fā)驗證并行成為可能。在芯片驗證流程中,F(xiàn)PGA原型驗證技術是軟硬件協(xié)同功能驗證的必備解決方案,具有顯著的不可替代性。

a00afebc-f811-11ed-90ce-dac502259ad0.png

因此,F(xiàn)PGA原型驗證技術,作為主流且成熟的芯片驗證方法,已成為數(shù)字芯片公司不可或缺的驗證工具。

五、合見工軟數(shù)字驗證全流程及新一代時序驅動FPGA原型驗證系統(tǒng)UV APS

上海合見工業(yè)軟件集團有限公司(簡稱“合見工軟”)作為自主創(chuàng)新的高性能工業(yè)軟件及解決方案提供商,核心是數(shù)字芯片驗證的全流程支持,實現(xiàn)從點到面的突破。合見工軟現(xiàn)已推出完整的數(shù)字芯片驗證全流程工具,包括:商用級別邏輯仿真器UVS,時序驅動的高性能原型驗證系統(tǒng)UV APS、數(shù)字功能仿真調試工具UVD、大規(guī)模功能驗證回歸測試管理平臺VPS、即插即用的混合原型系統(tǒng)級IP驗證方案HIPK。同時合見工軟還對上海阿卡思、孤波科技進行戰(zhàn)略投資,補充形式化驗證工具和半導體自動化測試工具為全流程驗證平臺。

其中,2022年6月發(fā)布的新一代時序驅動FPGA原型驗證系統(tǒng)UniVista Advanced Prototyping System(UV APS)為合見工軟旗艦產(chǎn)品。自產(chǎn)品面世以來,已經(jīng)在高性能計算、5G通信、GPU、人工智能、汽車電子等領域的IC企業(yè)中成功部署應用。

UV APS單套設備使用了4片 FPGA,可靈活堆疊,最大容量支持25套設備級聯(lián)(100片F(xiàn)PGA互聯(lián))。集成智能化、自動化的全流程編譯軟件 APS Compiler,為芯片設計者提供了高效的驗證方式,降低在驗證階段的時間成本;同時提供豐富的FMC接口子卡,以適配各種接口驗證,提供充足的One-Bank互聯(lián)通道,以支撐系統(tǒng)擴展;配合深度調試方案,縮短測試周期,加快芯片上市。

a044de34-f811-11ed-90ce-dac502259ad0.png

圖 新一代時序驅動FPGA原型驗證系統(tǒng)UV APS

創(chuàng)新點一:創(chuàng)新自研的時序驅動全流程編譯軟件APS Compiler

UV APS集成了創(chuàng)新自研的時序驅動全流程編譯軟件APS Compiler,在性能和自動化程度方面具有明顯優(yōu)勢。

在性能上:APS Compiler內(nèi)嵌時序驅動分割引擎,可通過大范圍的TDM Ratio自動最優(yōu)求解,輕松處理多達100顆FPGA的設計容量,讓邏輯電路運行速度更快。同時,APS Compiler還能實現(xiàn)自動化時序驅動分割、片間走線、邏輯本地化、MCP(多周期路徑)分析等,使時序驅動流程更完整。對于典型的SoC設計,APS Compiler的驗證性能高達20+MHz,可輕松支持10億門以上設計的分割需求。

在自動化程度上:APS Compiler可基于RTL Module的時序驅動分割算法,提供全自動和人工向導兩種模式,助力實現(xiàn)高效驗證。而對于FPGA不能支持的設計單元,比如多端口存儲(Multi-port Memory)、多維數(shù)組、跨模塊引用(XMR)、三態(tài)門(Tri-state)等,業(yè)界一些主流工具會要求用戶修改RTL代碼,而UV APS可實現(xiàn)自動化轉換。

a07b56c6-f811-11ed-90ce-dac502259ad0.png

圖 UV APS自動化時序驅動編譯流程

創(chuàng)新點二:多樣化調試手段

在原型驗證過程中,調試功能是不可或缺的。傳統(tǒng)FPGA原型驗證平臺受限于自身容量,其觀測性和調試性較差,而UV APS在這兩方面做出了較大提升。

UV APS中的信號波形采集工具不占用FPGA內(nèi)部存儲空間,通過可配置的Trigger條件,抓取設計內(nèi)部信號波形,存儲到外部專用Memory上。可支持多種邏輯組合的觸發(fā)條件,波形顯示清晰便于直觀查看。

同時,UV APS支持FPGA芯片回讀捕獲調試,可讀取片內(nèi)寄存器值;Back Door功能可實現(xiàn)后門讀寫,有效避免用戶頻繁地重啟系統(tǒng);支持多FPGA、多觸發(fā)條件調試,多時鐘域信號采集至單一波形文件,多波形單一窗口組合顯示。此外,ECO功能通過利用VIVADO工具的增量布局布線特性,可以加快周轉時間。這些調試方式都能極大地提高調試效率,大幅縮短測試周期和上市時間。

a0c144b0-f811-11ed-90ce-dac502259ad0.png

圖 UV APS豐富的Debug功能

創(chuàng)新點三:大容量、拓展靈活的硬件系統(tǒng)

FPGA原型驗證平臺作為一個生產(chǎn)工具,其硬件系統(tǒng)的大容量與可拓展的靈活性都將直接影響芯片驗證的進度。

在容量方面,UV APS硬件系統(tǒng)能夠支持最多25臺設備級聯(lián)。

在靈活性方面,UV APS硬件系統(tǒng)中單顆FPGA便可支持46路以上高速GTY收發(fā)器,速度高達28Gbps,支持多路全局可編程時鐘。此外,UV APS中單顆FPGA還擁有超過1700個IO接口,并提供FMC外部標準擴展接口和One Bank連接器,可滿足用戶的互聯(lián)需求。

UV APS硬件系統(tǒng)還提供了自檢功能,同時支持上位機軟件控制上電、斷電功能,并且?guī)в校合到y(tǒng)狀態(tài)監(jiān)測、過流過壓保護、溫度監(jiān)測等一系列的安全保護措施。

創(chuàng)新點四:適配典型應用場景的解決方案

合見工軟UV APS同時提供了面向多種行業(yè)應用的原型驗證子卡、Memory Model、Speed Adaptor及快速定制服務;UV APS支持PCIe Gen5、DDR5、HBM2e、HBM3、MIPI、LPDDR5、Gigabit Ethernet等高性能接口速率適配,支持虛擬原型混合驗證等一系列適配多種典型應用的解決方案,以滿足用戶對原型驗證的各種復雜場景需求。

六、大芯片驗證算力集群解決方案——企業(yè)級EDA云數(shù)據(jù)中心

區(qū)別于傳統(tǒng)的云數(shù)據(jù)中心,EDA云數(shù)據(jù)中心需要搭建專用的硬件仿真器,來進行大規(guī)模的芯片驗證。其次,數(shù)據(jù)安全性對IC企業(yè)尤為重要,必須確保芯片設計、驗證是在安全的工作環(huán)境中。再結合靈活的付費模式、云端彈性算力,EDA云數(shù)據(jù)中心可以有效降低企業(yè)的硬件投入成本,提高芯片驗證效率。

以合見工軟針對某半導體設計公司的云數(shù)據(jù)中心項目為例,合見工軟為本項目定制化部署了企業(yè)級EDA云數(shù)據(jù)中心,建設了專用的IDC機房。根據(jù)客戶的算力要求,搭建了FPGA硬件驗證云設備集群,級聯(lián)數(shù)百顆FPGA,全天候7x24小時運行,為客戶的超大規(guī)模系統(tǒng)芯片做驗證。并可同步運作多種驗證場景,包括芯片設計仿真Simulation云任務、系統(tǒng)級PCB設計軟件云任務等,同時支持跨地域驗證團隊協(xié)同使用云數(shù)據(jù)中心資源。

七、結語

基于自建的EDA云數(shù)據(jù)中心,結合新一代時序驅動FPGA原型驗證系統(tǒng)UV APS等旗艦產(chǎn)品,合見工軟在解決大芯片的驗證問題方面實現(xiàn)了升維和突破,不僅進一步提升了我國在EDA驗證工具領域的水平,也將為國內(nèi)半導體設計業(yè)的發(fā)展持續(xù)助力。

合見工軟秉承兩點原則為中國芯片企業(yè)提供支持:“以客戶為中心,以產(chǎn)品為核心競爭力”。EDA是一個產(chǎn)品為王的行業(yè),在保持技術和性能領先的同時,需要更快地把握設計公司的真正需求和痛點,從前端需求上研發(fā)和演進EDA設計方法學,打造更好的產(chǎn)品和技術,并持續(xù)優(yōu)化,秉持“守正出新,篤行致遠”的企業(yè)精神,合見工軟將不斷的進行迭代和技術更新,以保持產(chǎn)品競爭力。

審核編輯 :李倩

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • FPGA
    +關注

    關注

    1620

    文章

    21510

    瀏覽量

    598990
  • 芯片
    +關注

    關注

    450

    文章

    49636

    瀏覽量

    417223
  • eda
    eda
    +關注

    關注

    71

    文章

    2654

    瀏覽量

    172181

原文標題:設計大芯片,這個問題不容忽視!

文章出處:【微信號:wc_ysj,微信公眾號:旺材芯片】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    光伏電站運維系統(tǒng)解決傳統(tǒng)光伏電站運維

    光伏電站運維系統(tǒng)解決傳統(tǒng)光伏電站運維 隨著光伏電站的日益普及,光伏運維成為保障光伏電站安全、高效運行的重要手段,但是傳統(tǒng)的運維方式面臨著一系列挑戰(zhàn),為了應對這些挑戰(zhàn)并提高運維效率,陜西公眾
    的頭像 發(fā)表于 08-09 16:16 ?280次閱讀
    光伏電站運維系統(tǒng)解決傳統(tǒng)光伏電站運維<b class='flag-5'>痛</b><b class='flag-5'>點</b>

    IO模塊助力水處理行業(yè)升級,破解行業(yè)發(fā)展

    水處理行業(yè)作為關乎國計民生的重要領域,其發(fā)展水平直接影響到水資源利用效率和生態(tài)環(huán)境保護。然而,傳統(tǒng)水處理行業(yè)面臨諸多挑戰(zhàn)。明達技術利用IO模塊解決水處理行業(yè)的問題,推動行業(yè)技術升級和可持續(xù)發(fā)展。
    的頭像 發(fā)表于 08-02 09:02 ?140次閱讀

    芯片測試和芯片驗證的區(qū)別

    這是芯片在設計過程中的一個環(huán)節(jié),主要通過EDA(電子設計自動化)工具進行仿真檢驗。它的主要目的是在芯片生產(chǎn)之前,驗證芯片設計是否符合預定的需求規(guī)格,是否已經(jīng)消除了所有的風險,發(fā)現(xiàn)并更正
    的頭像 發(fā)表于 05-08 16:52 ?1229次閱讀

    工業(yè)級路由器:解決網(wǎng)絡傳輸?shù)?b class='flag-5'>痛

    工業(yè)級路由器專為工業(yè)應用場景設計,具備高可靠性、穩(wěn)定性和帶寬,解決實時性要求高、大量數(shù)據(jù)傳輸、復雜網(wǎng)絡環(huán)境等,適用于制造業(yè)和能源行業(yè),提升生產(chǎn)效率、產(chǎn)品質量和企業(yè)競爭優(yōu)勢。
    的頭像 發(fā)表于 04-29 11:40 ?317次閱讀

    錫膏膠時拉絲不均勻,如何解決?

    時就出現(xiàn)拉絲不均勻,那么如何解決呢?接下來深圳佳金源錫膏廠家為大家講解一下:在膠的過程中比較容易出現(xiàn)的問題就是拉絲,可以采取以下幾種措施:1、設置開膠延時。由于膠嘴
    的頭像 發(fā)表于 04-20 16:03 ?266次閱讀
    錫膏<b class='flag-5'>點</b>膠時拉絲不均勻,如<b class='flag-5'>何解</b>決?

    數(shù)據(jù)采集邊緣網(wǎng)關解決企業(yè)數(shù)據(jù)采集的關鍵

    網(wǎng)關 應運而生,成為解決企業(yè)數(shù)據(jù)采集的關鍵所在。 一、企業(yè)背景與分析 在當前信息化、智能化的時代背景下,許多企業(yè)面臨著海量數(shù)據(jù)采集和處理的難題。這些企業(yè)通常擁有多個分散的業(yè)務場
    的頭像 發(fā)表于 04-07 13:56 ?270次閱讀

    電梯物聯(lián)網(wǎng)技術如何解決電梯管理的?

    隨著物聯(lián)網(wǎng)技術的不斷發(fā)展,電梯行業(yè)也迎來了新的變革。電梯物聯(lián)網(wǎng)技術的應用為電梯管理帶來了許多新的機遇和優(yōu)勢,同時也有效地解決了傳統(tǒng)電梯管理中存在的各種。 本文梯云物聯(lián)網(wǎng)將探討電梯物聯(lián)網(wǎng)技術如何解決電梯管理的
    的頭像 發(fā)表于 03-19 10:09 ?361次閱讀

    fpga驗證和uvm驗證的區(qū)別

    FPGA驗證和UVM驗證芯片設計和驗證過程中都扮演著重要的角色,但它們之間存在明顯的區(qū)別。
    的頭像 發(fā)表于 03-15 15:00 ?1123次閱讀

    5G網(wǎng)絡通信有哪些技術?光耦技術在5G網(wǎng)絡通信的應用

    5G網(wǎng)絡通信有哪些技術?光耦技術在5G網(wǎng)絡通信的應用? 5G網(wǎng)絡通信的技術: 1. 頻譜資源短缺:5G通信需要更高的頻譜資源來支持更大的數(shù)據(jù)傳輸量和更高的速度,但是目前無線通信
    的頭像 發(fā)表于 02-18 17:13 ?731次閱讀

    通過Goooood?狗帝 融合CDN解決內(nèi)容傳遞

    Goooood?狗帝 融合CDN解決了與內(nèi)容傳遞相關的,為企業(yè)提供了一個全面的解決方案,優(yōu)化性能、增強安全性、擴展全球覆蓋范圍并實現(xiàn)可擴展性。借助Goooood?狗帝 融合CDN強大的功能和全球網(wǎng)絡基礎設施,企業(yè)可以無縫地傳遞內(nèi)容,提供卓越的用戶體驗,并在當今競爭激烈
    的頭像 發(fā)表于 01-08 14:36 ?320次閱讀

    華芯邦:創(chuàng)新MEMS技術,改善電子煙  

    傳統(tǒng)電子煙存在許多,而華芯邦的創(chuàng)新型MEMS技術和孔科微電子的電子煙PCBA方案妥善解決了這些問題。華芯邦的MEMS傳感器集成咪頭電子煙芯片具有高容錯率和防粘柱功能,顯著提高了口感和使用效率。
    的頭像 發(fā)表于 12-20 16:05 ?681次閱讀
    華芯邦:創(chuàng)新MEMS技術,改善電子煙<b class='flag-5'>痛</b><b class='flag-5'>點</b>  

    醫(yī)療廢物全生命周期監(jiān)管平臺解決醫(yī)廢管理

    醫(yī)療廢物全生命周期監(jiān)管平臺解決醫(yī)廢管理 當前醫(yī)療機構醫(yī)療廢物監(jiān)管: 1、依賴人工處理,處理過程存在監(jiān)管漏洞。憑紙質單據(jù)易修改、易丟失,無法做到過程數(shù)據(jù)信息監(jiān)控。 2、醫(yī)廢處置效
    的頭像 發(fā)表于 11-10 17:13 ?363次閱讀
    醫(yī)療廢物全生命周期監(jiān)管平臺解決醫(yī)廢管理<b class='flag-5'>痛</b><b class='flag-5'>點</b>

    形式驗證及其在芯片工程中的應用

    形式驗證不僅僅是芯片領域中的一個概念。正如文章開頭提到過,形式驗證強調使用嚴格的數(shù)學推理和形式化技術,以確保系統(tǒng)的行為是否符合預期的性質和規(guī)格。
    的頭像 發(fā)表于 10-20 10:46 ?860次閱讀

    高頻RFID讀寫器解決了那些工業(yè)智能制造

    在智能制造的實際應用中,仍存在一些問題,如信息孤島、數(shù)據(jù)質量不高、設備故障等。如何解決這些問題,成為智能制造發(fā)展的關鍵。本文將探討高頻RFID讀寫器在智能制造中的應用,以及如何解
    的頭像 發(fā)表于 10-20 10:25 ?336次閱讀

    芯片驗證模塊劃分

    任何芯片都需要把芯片劃分成更便于管理的小模塊/特性進行驗證
    的頭像 發(fā)表于 10-07 14:41 ?530次閱讀