91在线观看视频-91在线观看视频-91在线观看免费视频-91在线观看免费-欧美第二页-欧美第1页

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

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

3天內不再提示

芯片驗證心理學

數字芯片實驗室 ? 來源:數字芯片實驗室 ? 2023-09-04 15:58 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

芯片驗證是一項技術任務,但也涉及一些重要的經濟學和心理學因素。

在理想的世界里,我們希望驗證芯片的每一種可能的排列組合。但在大多數情況下,這根本不可能。即使是一個看似簡單的模塊,也可能有成百上千種可能的輸入和輸出組合,為所有這些可能性創建驗證用例是不切實際的。

對一個復雜的模塊進行全面驗證需要花費太長的時間和太多的人力資源,在經濟上是不可行的。

此外,軟件驗證員需要有正確的態度,才能成功地驗證芯片模塊。在某些情況下,驗證人員的態度可能比實際驗證過程本身更重要。

驗證心理學

造成芯片遺漏bug的主要原因之一,是大多數芯片驗證工程師一開始就對這個術語(芯片驗證)下了錯誤的定義。他們可能會說:

''芯片驗證是證明不存在bug的過程。''

''驗證的目的是證明芯片能執行其預期的功能。"

''驗證是建立信心的過程,讓人相信芯片能做它應該做的事情。"

這些定義都是不對的。

當你驗證一個芯片時,你希望給它增加一些價值。通過驗證增加價值意味著提高芯片的質量或可靠性。提高芯片的可靠性意味著發現并消除bug。

因此,不要為了證明芯片沒有bug而對其進行驗證;相反,首先假設芯片包含錯誤(這幾乎對任何芯片都是一個有效的假設),然后驗證芯片,找出盡可能多的bug。

因此,更恰當的定義是這樣的:

驗證是以發現bug為目的的過程。

雖然這聽起來像是一個微妙的語義游戲,但這確實有著一個重要的區別。了解芯片驗證的真正定義會對你的工作成功與否產生深遠的影響。

人類傾向于以目標為導向,確立適當的目標會產生重要的心理影響。

如果我們的目標是證明芯片沒有錯誤,那么我們就會下意識地朝著這個目標前進;也就是說,我們傾向于選擇導致芯片失敗概率較低的驗證數據。另一方面,如果我們的目標是證明芯片有bug,那么我們的驗證數據發現bug的概率會更高。與前者相比,后者能為芯片本身帶來更多價值。

“驗證是以發現bug為目的的過程。”這一定義暗示驗證是一個破壞性的,甚至是虐待狂的過程,這就解釋了為什么大多數人覺得驗證是困難的。這可能與我們的本性相悖;

我們大多數人的人生觀都是建設性的,而不是破壞性的。大多數人傾向于制造物品,而不是將其撕碎。所以很多應屆生更樂于從事設計開發,而不是驗證驗證。哈哈~

加強驗證正確定義的另一種方法是分析 "成功 "和 "不成功 "這兩個詞的使用--特別是項目經理在對驗證用例的結果進行分類時的使用。大多數項目經理把沒有發現bug的驗證用例稱為 "成功運行驗證",而發現新錯誤的驗證通常稱為 "不成功"。

這又是顛倒了。不成功 "指的是不理想或令人失望"。在我們的思維方式中,一個結構合理、已執行的軟件驗證在發現bug時就是成功的。

當然,同樣的驗證, 如果最終確定不再發現bug,也是成功的。

唯一不成功的驗證是沒有正確檢查芯片功能的驗證;在大多數情況下,沒有發現任何bug的驗證用例很可能被認為是不成功的。

發現新bug的驗證用例很難被認為是不成功的,相反,它已被證明是一項有價值的投資。不成功的驗證用例是指芯片產生了錯誤的結果 ,但驗證用例卻沒有發現。

打個比方,一個人因為身體不舒服而去看醫生。如果醫生做了一些化驗,但沒有找到問題所在,我們就不稱這些化驗為 "成功的化驗";這些化驗是不成功的化驗,因為病人的凈資產因昂貴的化驗費而減少,病人仍然生病,而且病人可能會質疑醫生的診斷能力 。

然而,如果化驗確定病人患有消化性潰瘍,那么化驗就是成功的 ,因為醫生現在可以開始適當的治療了。因此,醫學界似乎在正確的意義上使用這些詞語。

當我們開始驗證程序時 ,我們應該把它看作是生病的病人。

"驗證是證明bug不存在的過程 "等定義的第二個問題是幾乎所有芯片,甚至是微不足道的芯片,都不可能實現這樣的目標。

同樣,心理學研究告訴我們,當人們著手完成一項明知不可行或不可能完成的任務時,他們的表現就會很差。例如,如果有人要求你在 15 分鐘內解決填字游戲,你可能在10分鐘后就不會有什么進展,因為如果你和大多數人一樣,你會認為這項任務似乎是不可能完成的。然而,如果要求你在四小時內給出解決方案,我們有理由期待在最初的十分鐘內看到更多的進展。

將芯片驗證定義為發現芯片中bug的過程,使其成為一項可行的任務,從而克服了這一心理問題。

"驗證是證明bug不存在的過程"等定義的第三個問題是,做了應該做的事情的芯片仍然可能包含錯誤。也就是說,如果芯片沒有做它應該做的事情,那么bug顯然是存在的;但如果芯片做了它不應該做的事情,那么bug也是存在的。

總之,芯片驗證被視為試圖找出芯片中bug的破壞性過程更為恰當。當然,你最終還是希望通過芯片驗證來建立某種程度的信心,即芯片做了它應該做的事,而沒有做它不應該做的事。

假設有人向你聲稱"'我的芯片是完美的'"(即沒有bug)。要對這種說法建立一定的信心,最好的辦法就是嘗試反駁它,也就是說,嘗試找出不完美的地方,而不僅僅是確認芯片對某組輸入數據的運行是正確的。

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

    關注

    459

    文章

    52494

    瀏覽量

    440669
  • 模塊
    +關注

    關注

    7

    文章

    2788

    瀏覽量

    50359
  • BUG
    BUG
    +關注

    關注

    0

    文章

    156

    瀏覽量

    16020

原文標題:芯片驗證心理學

文章出處:【微信號:數字芯片實驗室,微信公眾號:數字芯片實驗室】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    華大九天物理驗證EDA工具Empyrean Argus助力芯片設計

    芯片設計的流片之路充滿挑戰,物理驗證EDA工具無疑是這“最后一公里”關鍵且不可或缺的利器。它通過設計規則檢查、版圖與原理圖一致性驗證等關鍵流程,為IC設計契合制造需求提供堅實保障。作為簽核(Signoff)環節的關鍵防線,物理
    的頭像 發表于 07-03 11:30 ?1031次閱讀
    華大九天物理<b class='flag-5'>驗證</b>EDA工具Empyrean Argus助力<b class='flag-5'>芯片</b>設計

    芯華章攜手EDA國創中心推出數字芯片驗證大模型ChatDV

    面向國家在集成電路EDA領域的重大需求,芯華章攜手全國首家集成電路設計領域國家級創新中心——EDA國創中心,針對日益突出的芯片設計驗證痛點,強強聯手,共同推出具有完全自主知識產權的基于LLM的數字芯片
    的頭像 發表于 06-06 16:22 ?686次閱讀

    超大規模芯片驗證:基于AMD VP1902的S8-100原型驗證系統實測性能翻倍

    引言隨著AI、HPC及超大規模芯片設計需求呈指數級增長原型驗證平臺已成為芯片設計流程中驗證復雜架構、縮短迭代周期的核心工具。然而,傳統原型驗證
    的頭像 發表于 06-06 13:13 ?513次閱讀
    超大規模<b class='flag-5'>芯片</b><b class='flag-5'>驗證</b>:基于AMD VP1902的S8-100原型<b class='flag-5'>驗證</b>系統實測性能翻倍

    芯片驗證為何越來越難?

    本文由半導體產業縱橫(ID:ICVIEWS)編譯自semiengineering過去,仿真曾是驗證的唯一工具,但如今選擇已變得多樣。平衡成本與收益并非易事。芯片首次流片成功率正在下降,主要原因
    的頭像 發表于 06-05 11:55 ?374次閱讀
    <b class='flag-5'>芯片</b>的<b class='flag-5'>驗證</b>為何越來越難?

    硬件輔助驗證(HAV) 對軟件驗證的價值

    硬件輔助驗證 (HAV) 有著悠久的歷史,如今作為軟件驅動驗證的必備技術,再度受到關注。 RISC-V 可能是說明這一點的最好例子。HAV 能夠執行多個周期的軟件驅動驗證,是加速 RISC-V
    的頭像 發表于 05-13 18:21 ?931次閱讀

    你失去工作不是因為AI,而是因為使用AI的人

    當算法能精準預測消費者需求時,當AI生成的文案比人類更懂傳播心理學時,當自動化系統開始取代基礎決策崗位時,真正的危機已悄然降臨—— 不是AI在搶奪你的工作,而是那些比你更早掌握AI、更懂得如何駕馭
    的頭像 發表于 05-13 12:05 ?231次閱讀
    你失去工作不是因為AI,而是因為使用AI的人

    CAN芯片邏輯響應驗證測試

    在CAN芯片研發階段,需要做諸多涉及通訊錯誤管理驗證的問題。在ISO-16845國際標準中,規定完善的測試標準,如錯誤幀檢測,傳輸幀相關檢測,錯誤管理邏輯驗證等,本文主要分享有效便捷的方法來完成測試
    的頭像 發表于 04-30 18:24 ?232次閱讀
    CAN<b class='flag-5'>芯片</b>邏輯響應<b class='flag-5'>驗證</b>測試

    FPGA EDA軟件的位流驗證

    位流驗證,對于芯片研發是一個非常重要的測試手段,對于純軟件開發人員,最難理解的就是位流驗證。在FPGA芯片研發中,位流驗證是在做什么,在哪些
    的頭像 發表于 04-25 09:42 ?1217次閱讀
    FPGA EDA軟件的位流<b class='flag-5'>驗證</b>

    新思科技推出基于AMD芯片的新一代原型驗證系統

    近日,新思科技宣布推出全新基于AMD Versal? Premium VP1902自適應系統級芯片(SoC)的HAPS?原型驗證系統,以此進一步升級其硬件輔助驗證(HAV)產品組合。 此次推出的全新
    的頭像 發表于 02-19 17:12 ?680次閱讀

    鎖相放大器在物理學中的應用

    在物理學的研究中,信號的精確測量與分析一直是科學實驗的關鍵。隨著技術的發展,許多實驗中涉及到的信號越來越微弱,傳統的儀器設備很難直接檢測這些信號。如何有效地提取微弱信號,特別是從噪聲中區分出有用信號
    的頭像 發表于 02-11 16:35 ?452次閱讀
    鎖相放大器在物<b class='flag-5'>理學</b>中的應用

    英諾達發布全新靜態驗證產品,提升芯片設計效率

    英諾達(成都)電子科技有限公司近日正式推出了兩款全新的靜態驗證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產品的發布,標志著英諾達在芯片設計工具領域邁出
    的頭像 發表于 12-24 16:53 ?782次閱讀

    NVIDIA AI助力初創企業為心理治療師提供AI工具

    NVIDIA AI 助力初創企業為心理治療師提供 AI 工具,以此來優化和提升心理健康服務水平,為人們的心理健康保駕護航。
    的頭像 發表于 11-19 16:03 ?575次閱讀

    數字芯片設計驗證經驗分享文章 實際案例說明用基于FPGA的原型來測試、驗證和確認IP——如何做到魚與熊掌兼

    本系列文章從數字芯片設計項目技術總監的角度出發,介紹了如何將芯片的產品定義與設計和驗證規劃進行結合,詳細講述了在FPGA上使用硅知識產權(IP)內核來開發ASIC原型項目時,必須認真考慮的一些問題。
    的頭像 發表于 10-28 14:53 ?1029次閱讀
    數字<b class='flag-5'>芯片</b>設計<b class='flag-5'>驗證</b>經驗分享文章 實際案例說明用基于FPGA的原型來測試、<b class='flag-5'>驗證</b>和確認IP——如何做到魚與熊掌兼

    英特爾聯手伙伴共同推動AI在心理健康中的應用

    現代社會快速發展,人們的生活節奏日益加快,心理健康作為健康的重要組成部分,其重要性日益凸顯。隨著科技的飛速進步,社會各界也在廣泛關注并積極探索通過科技助力大眾心理健康水平提升的方式。
    的頭像 發表于 08-16 15:41 ?772次閱讀

    芯片設計流片、驗證、成本的那些事

    前言我們聊聊芯片設計、流片、驗證、制造、成本的那些事;流片對于芯片設計來說就是參加一次大考。流片的重要性就在于能夠檢驗芯片設計是否成功,是芯片
    的頭像 發表于 08-09 08:11 ?2973次閱讀
    <b class='flag-5'>芯片</b>設計流片、<b class='flag-5'>驗證</b>、成本的那些事
    主站蜘蛛池模板: 国产在线97色永久免费视频 | 国产午夜毛片v一区二区三区 | 欧美高清一区二区 | 黄色福利网 | 国产精品网址你懂的 | 欧美网站免费 | 中国又粗又大又爽的毛片 | 人人干狠狠操 | 亚洲免费在线看 | 日本免费三级网站 | a久久久久一级毛片护士免费 | 欧美精品hdvideosex | 女性一级全黄生活片 | 99热这里精品 | 奇米7777第四色 | 欧美日韩精品乱国产 | 国产人人看 | 国产免费的野战视频 | 亚洲三级免费 | 毛片在线网 | 正在播放国产乱子伦视频 | 亚洲色图图片专区 | 亚洲国产精品va在线观看麻豆 | 韩彩英三级无删版甜性涩爱 | 精品新一区二区三区四区 | 久久综合九色欧美综合狠狠 | 欧美成人全部免费观看1314色 | 欧美三级视频在线播放 | 精品视频日本 | 国产精品免费久久久久影院 | 欧美一级特黄啪啪片免费看 | 日韩特黄特色大片免费视频 | 亚洲成a人片在线观看88 | 热久久影院| 亚洲产国偷v产偷v自拍色戒 | 性做久久久久久久久 | 亚州视频一区 | 三级不卡 | 国产美女一级ba大片免色 | 黄到让你下面湿的视频 | 四虎永久在线精品免费观看地址 |