色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

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

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

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

新思科技 VC Formal DPV是CPU、GPU和AI/ML設(shè)計數(shù)據(jù)路徑驗證的不二之選

新思科技 ? 來源:新思科技 ? 作者:新思科技 ? 2022-05-09 16:27 ? 次閱讀

我們生活在大數(shù)據(jù)的世界中:B站日均播放量17億次,微信每天發(fā)送約500億條信息。預(yù)計到2025年,全球每天生成的數(shù)據(jù)量有望達到463EB。

如此龐大的數(shù)據(jù)量,需要采用浮點算術(shù)運算的芯片才能夠以最快的速度和最高的精度進行處理、存儲、分析和共享。而驗證這些芯片上的數(shù)據(jù)處理邏輯(數(shù)據(jù)路徑)的正確性至關(guān)重要。歷史證明,未能及時發(fā)現(xiàn)錯誤將會導(dǎo)致高昂的代價。

鑒于此,新思科技很早就開始研究驗證復(fù)雜數(shù)據(jù)路徑邏輯的方法。例如,基于仿真的傳統(tǒng)驗證方法效率低、耗時長,而且對于無遺漏地驗證這些復(fù)雜的數(shù)學(xué)函數(shù)根本不切實際。以一個兩個32位操作數(shù)的簡單數(shù)學(xué)運算為例子,其中就會包含264個操作數(shù)對。假設(shè)處理速度為每秒30億次模擬速度,則需要195個計算年。這導(dǎo)致計算資源根本無法得到充分和高效利用。

形式驗證使用數(shù)學(xué)方法來證明或反駁預(yù)期算法的正確性,可提供一種有效、高效且可追溯的解決方案。在對函數(shù)正確性至關(guān)重要的復(fù)雜控制和數(shù)據(jù)路徑邏輯進行驗證時,它可對仿真方法起到補充作用。認識到設(shè)計架構(gòu)師趨向于將規(guī)范編寫為C或C++參考模型,新思科技的研究團隊開始致力于開發(fā)一種驗證技術(shù)來確定硬件設(shè)計人員創(chuàng)建的RTL是否等效于C/C++模型。復(fù)雜數(shù)據(jù)路徑專用驗證解決方案HECTOR(High-level Equivalence C++ to RTL)由此誕生。

過去20年間,新思科技不斷升級形式求解器,性能越來越完善,促使許多客戶開始使用HECTOR來驗證CPUGPU網(wǎng)絡(luò)和安全性應(yīng)用中的ALU、FPU和DSP塊。

2017中,HECTOR技術(shù)被整合到新思科技 VC Formal Datapath Validation (DPV) App中,該應(yīng)用現(xiàn)已能夠支持所有現(xiàn)代C++語言和基于業(yè)界領(lǐng)先的新思科技 Verdi SoC Debug Platform的完整調(diào)試環(huán)境。

VC Formal DPV成為業(yè)界首個用于對數(shù)據(jù)路徑元素進行無遺漏驗證的商用形式驗證工具。 VC Formal DPV針對獨立開發(fā)的模型提供等效性檢查,無遺漏地驗證RTL實現(xiàn)是否與可信的C/C++參考模型等效,并且可用于無遺漏地驗證C到C、C到RTL,以及RTL到RTL等連續(xù)設(shè)計改進,而無需任何驗證平臺、斷言或覆蓋率要求。VC Formal DPV可以靈敏地檢測極端缺陷,從而避免代價高昂的錯誤發(fā)生。該技術(shù)嵌入了:

快速高效的形式算法,包括加入多個求解器用于解算復(fù)雜的數(shù)學(xué)邏輯

快速收斂技術(shù),包括自動設(shè)計分區(qū)和多處理器支持

高級調(diào)試支持,包括一個集成的調(diào)試器,支持單步調(diào)試C/C++代碼

靈活的語言支持:Verilog、VHDL、SystemVerilog、C、C++

VC Formal DPV可提供100%的信任度,其RTL設(shè)計實現(xiàn)符合C/C++參考算法,因此與基于仿真的技術(shù)相比,可以顯著加快數(shù)據(jù)路徑組件的簽核。

17b17b30-cf6e-11ec-bce3-dac502259ad0.png

隨著電子設(shè)備變得越來越智能人工智能AI)和機器學(xué)習(xí)(ML)芯片被廣泛應(yīng)用于許多領(lǐng)域。由于AI/ML芯片使用浮點運算來處理大量數(shù)據(jù),因此VC Formal DPV非常適合此類芯片設(shè)計,獲得了全球AI/ML初創(chuàng)企業(yè)的大量部署。 為了幫助企業(yè)采用數(shù)據(jù)路徑驗證方法,新思科技提供了經(jīng)過形式驗證的全面的C++數(shù)學(xué)庫來驗證RTL,并且還為交鑰匙項目的培訓(xùn)和執(zhí)行提供咨詢服務(wù)。 數(shù)據(jù)路徑驗證的前景十分光明。新思科技憑借20多年的HECTOR技術(shù)投入和不斷革新,其VC Formal DPV可對任何數(shù)據(jù)路徑塊進行簽核。

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

    關(guān)注

    68

    文章

    10858

    瀏覽量

    211647
  • gpu
    gpu
    +關(guān)注

    關(guān)注

    28

    文章

    4733

    瀏覽量

    128911
  • 新思科技
    +關(guān)注

    關(guān)注

    5

    文章

    796

    瀏覽量

    50335
  • 數(shù)據(jù)路徑
    +關(guān)注

    關(guān)注

    0

    文章

    4

    瀏覽量

    6302

原文標題:VC Formal DPV:CPU、GPU和AI/ML設(shè)計數(shù)據(jù)路徑驗證的不二之選

文章出處:【微信號:Synopsys_CN,微信公眾號:新思科技】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏

    評論

    相關(guān)推薦

    CPU\GPU引領(lǐng),國產(chǎn)AI PC進階

    電子發(fā)燒友網(wǎng)報道(文/黃晶晶)當前AI PC已經(jīng)成為PC產(chǎn)業(yè)的下一個浪潮,國產(chǎn)CPUGPU廠商在PC市場一直處于追趕態(tài)勢,AI PC給了大家新的機遇,在這個賽道國產(chǎn)廠商加速了布局與滲
    的頭像 發(fā)表于 09-01 02:15 ?5072次閱讀
    <b class='flag-5'>CPU</b>\<b class='flag-5'>GPU</b>引領(lǐng),國產(chǎn)<b class='flag-5'>AI</b> PC進階

    《算力芯片 高性能 CPUGPUNPU 微架構(gòu)分析》第3篇閱讀心得:GPU革命:從圖形引擎到AI加速器的蛻變

    CPUGPU的演進歷程,AI專用芯片或?qū)⒁I(lǐng)未來計算平臺的新方向。正如愛因斯坦所說:\"想象力比知識更重要\" —— 在芯片設(shè)計領(lǐng)域,創(chuàng)新思維帶來的突破往往令人驚嘆。
    發(fā)表于 11-24 17:12

    FA 鏡頭:印刷品質(zhì)量檢測的卓越

    普密斯 FA 鏡頭在印刷品質(zhì)量檢測領(lǐng)域展現(xiàn)出了無可比擬的優(yōu)勢。它是印刷企業(yè)追求卓越品質(zhì)、提升市場競爭力的不二
    的頭像 發(fā)表于 10-11 10:41 ?230次閱讀
    FA 鏡頭:印刷品質(zhì)量檢測的卓越<b class='flag-5'>之</b><b class='flag-5'>選</b>

    gpu服務(wù)器與cpu服務(wù)器的區(qū)別對比,終于知道怎么了!

    gpu服務(wù)器與cpu服務(wù)器的區(qū)別主要體現(xiàn)在架構(gòu)設(shè)計、性能特點、能耗效率、應(yīng)用場景、市場定位等方面,在以上幾個方面均存在顯著差異。CPU服務(wù)器更適合數(shù)據(jù)庫管理和企業(yè)應(yīng)用,而
    的頭像 發(fā)表于 08-01 11:41 ?489次閱讀

    思科技PCIe 7.0驗證IP(VIP)的特性

    在近期的博文《新思科技率先推出PCIe 7.0 IP解決方案,加速HPC和AI等萬億參數(shù)領(lǐng)域的芯片設(shè)計》中,新思科技宣布推出綜合全面的PCIe Express Gen 7(PCIe 7.0)
    的頭像 發(fā)表于 07-24 10:11 ?669次閱讀
    新<b class='flag-5'>思科</b>技PCIe 7.0<b class='flag-5'>驗證</b>IP(VIP)的特性

    三星電子采納新思科技Synopsys.ai EDA套件,完成GAA制程驗證

    據(jù)新思科技介紹,他們的 Synopsys.ai EDA 套件專為 CPU 高效運行而設(shè)計,為三星的 GAA 節(jié)點帶來了卓越的 PPA(性能、功耗和面積)表現(xiàn)。
    的頭像 發(fā)表于 05-06 11:23 ?379次閱讀

    為什么跑AI往往用GPU而不是CPU

    GPU的能力,并且支持的GPU數(shù)量越多,就代表其AI性能越強大。那么問題來了,為什么是GPU而不是CPU
    的頭像 發(fā)表于 04-24 08:27 ?1879次閱讀
    為什么跑<b class='flag-5'>AI</b>往往用<b class='flag-5'>GPU</b>而不是<b class='flag-5'>CPU</b>?

    AI訓(xùn)練,為什么需要GPU

    隨著由ChatGPT引發(fā)的人工智能熱潮,GPU成為了AI大模型訓(xùn)練平臺的基石,甚至是決定性的算力底座。為什么GPU能力壓CPU,成為炙手可熱的主角呢?要回答這個問題,首先需要了解當前人
    的頭像 發(fā)表于 04-24 08:05 ?1075次閱讀
    <b class='flag-5'>AI</b>訓(xùn)練,為什么需要<b class='flag-5'>GPU</b>?

    大模型推理顯卡選購指南:4090顯卡為何成為不二

    開發(fā)者非常關(guān)注的話題。 現(xiàn)在市面上加速卡型號多如牛毛,但說到適用大模型推理的顯卡,那4090顯卡絕對是現(xiàn)階段“推理王卡”般的存在。論性能不如H100,論價格不如3090,看似平平無奇的4090顯卡為何能在眾多競爭者中脫穎而出,成為大模型推理的不二
    的頭像 發(fā)表于 04-11 11:00 ?767次閱讀
    大模型推理顯卡選購指南:4090顯卡為何成為<b class='flag-5'>不二</b><b class='flag-5'>之</b><b class='flag-5'>選</b>

    新型的FPGA器件將支持多樣化AI/ML創(chuàng)新進程

    的來臨,而是包括GPU、FPGA和NPU等一眾數(shù)據(jù)處理加速器時代的來臨,就像GPU以更高的計算密度和能效勝出CPU一樣,各種加速器件在不同的AI
    的頭像 發(fā)表于 04-02 15:25 ?328次閱讀
    新型的FPGA器件將支持多樣化<b class='flag-5'>AI</b>/<b class='flag-5'>ML</b>創(chuàng)新進程

    是德科技推出AI數(shù)據(jù)中心測試平臺

    是德科技近期宣布,針對蓬勃發(fā)展的AIML基礎(chǔ)設(shè)施生態(tài)系統(tǒng),隆重推出了全新的AI數(shù)據(jù)中心測試平臺。該平臺專為加速AI/
    的頭像 發(fā)表于 03-08 10:17 ?721次閱讀

    是德科技推出AI數(shù)據(jù)中心測試平臺旨在加速AI/ML網(wǎng)絡(luò)驗證和優(yōu)化的創(chuàng)新

    2024年2月29日,是德科技(Keysight Technologies,Inc.)宣布,針對人工智能(AI)和機器學(xué)習(xí)(ML)基礎(chǔ)設(shè)施生態(tài)系統(tǒng),推出了 AI數(shù)據(jù)中心測試平臺,旨在加
    的頭像 發(fā)表于 02-29 09:32 ?631次閱讀
    是德科技推出<b class='flag-5'>AI</b><b class='flag-5'>數(shù)據(jù)</b>中心測試平臺旨在加速<b class='flag-5'>AI</b>/<b class='flag-5'>ML</b>網(wǎng)絡(luò)<b class='flag-5'>驗證</b>和優(yōu)化的創(chuàng)新

    gpu是什么和cpu的區(qū)別

    GPUCPU是兩種常見的計算機處理器,它們在結(jié)構(gòu)和功能上有很大的區(qū)別。在這篇文章中,我們將探討GPUCPU的區(qū)別,并詳細介紹它們的原理、應(yīng)用領(lǐng)域和性能特點。 一、概述 1.1
    的頭像 發(fā)表于 02-20 11:24 ?1.9w次閱讀

    Supermicro推新AI存儲方案,助力AIML應(yīng)用加速

    Supermicro首席執(zhí)行官梁見后先生高瞻遠矚地指出:針對AIML應(yīng)用的加速處理,我們推薦配置以每機柜20 PB高速閃存為主,配備四個NVIDIA HGX H100系列優(yōu)化版8-GPU氣冷服務(wù)器或者八個同款液冷服務(wù)器。
    的頭像 發(fā)表于 02-03 14:46 ?627次閱讀

    為什么GPUCPU更快?

    GPUCPU更快的原因并行處理能力:GPU可以同時處理多個任務(wù)和數(shù)據(jù),而CPU通常只能一次處理一項任務(wù)。這是因為
    的頭像 發(fā)表于 01-26 08:30 ?2403次閱讀
    為什么<b class='flag-5'>GPU</b>比<b class='flag-5'>CPU</b>更快?
    主站蜘蛛池模板: 午夜精品久久久内射近拍高清 | gay吊粗大双龙| 在线观看插女生免费版| 亚洲视频一| 亚洲欧美一区二区三区久久| 亚洲AV午夜精品麻豆AV| 亚洲成AV人片一区二区不卡| 小SAO货边洗澡边CAO你动漫| 乌克兰xxxxx| 亚洲 天堂 国产在线播放| 小夫妻天天恶战| 亚洲蜜芽在线观看精品一区| 亚洲乱码高清午夜理论电影| 亚洲欧美高清在线精品一区| 亚洲麻豆精品成人A在线观看| 亚洲精品视频在线免费| 一二三四在线视频社区| 坠落的丝袜美人妻| 99在线视频免费观看视频| www.久久久| 怪物高h粗暴无尽| 国产婷婷午夜精品无码A片| 好男人视频免费高清在线观看www| 好硬好湿好爽再深一点视频| 久久久久久极精品久久久| 蜜桃麻豆WWW久久囤产精品免费 | 国产日韩欧美另类| 交换:年轻夫妇-HD中文字幕| 久久国产乱子伦精品免费不卡| 久久综合老色鬼网站| 飘雪在线观看免费高清完整版韩国 | 最近中文字幕无吗免费高清| 4455永久在线毛片观看| www.伊人网| 国产午夜亚洲精品不卡电影| 久久久久久久久女黄9999| 免费观看男生桶美女私人部位| 日韩欧美精品有码在线播放| 亚洲 色 欧美 爱 视频 日韩| 岳扒开让我添| 床伴在线观看免费高清完整泰剧第四集|