在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美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)。要對這種說法建立一定的信心,最好的辦法就是嘗試反駁它,也就是說,嘗試找出不完美的地方,而不僅僅是確認芯片對某組輸入數據的運行是正確的。

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

    關注

    455

    文章

    50816

    瀏覽量

    423613
  • 模塊
    +關注

    關注

    7

    文章

    2707

    瀏覽量

    47473
  • BUG
    BUG
    +關注

    關注

    0

    文章

    155

    瀏覽量

    15669

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

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

收藏 人收藏

    評論

    相關推薦

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

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

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

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

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

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

    快速部署原型驗證:從子卡到調試的全方位優化

    引言原型驗證是一種在FPGA平臺上驗證芯片設計的過程,通過在FPGA上實現芯片的設計原型,使得開發人員可以在硬件完成之前提前開始軟件開發和系統驗證
    的頭像 發表于 09-30 08:04 ?631次閱讀
    快速部署原型<b class='flag-5'>驗證</b>:從子卡到調試的全方位優化

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

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

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

    前言我們聊聊芯片設計、流片、驗證、制造、成本的那些事;流片對于芯片設計來說就是參加一次大考。流片的重要性就在于能夠檢驗芯片設計是否成功,是芯片
    的頭像 發表于 08-09 08:11 ?1975次閱讀
    <b class='flag-5'>芯片</b>設計流片、<b class='flag-5'>驗證</b>、成本的那些事

    nlp神經語言和NLP自然語言的區別和聯系

    神經語言(Neuro-Linguistic Programming,NLP) 神經語言是一種心理學方法,它研究人類思維、語言和行為之間的關系。NLP的核心理念是,我們可以通過改變我們的思維方式和語言
    的頭像 發表于 07-09 10:35 ?779次閱讀

    大規模 SoC 原型驗證面臨哪些技術挑戰?

    引言隨著電子設計自動化(EDA)驗證工具的重要性日益增加,開發者們開始尋求減少流片成本和縮短開發周期的方法。其中,使用可編程邏輯芯片(FPGA)來構建有效的驗證流程成為一種流行的解決方案,這種
    的頭像 發表于 06-06 08:23 ?1159次閱讀
    大規模 SoC 原型<b class='flag-5'>驗證</b>面臨哪些技術挑戰?

    芯片測試和芯片驗證的區別

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

    fpga原型驗證平臺與硬件仿真器的區別

    FPGA原型驗證平臺與硬件仿真器在芯片設計和驗證過程中各自發揮著獨特的作用,它們之間存在明顯的區別。
    的頭像 發表于 03-15 15:07 ?1116次閱讀

    fpga驗證和測試的區別

    FPGA驗證和測試在芯片設計和開發過程中都扮演著重要的角色,但它們各自有著不同的側重點和應用場景。
    的頭像 發表于 03-15 15:03 ?1224次閱讀

    fpga驗證和uvm驗證的區別

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

    是德科技成功完成Autotalks 5G新空口車聯網系統級芯片驗證

    是德科技(Keysight Technologies, Inc.)全力支持Autotalks,通過其PathWave V2X解決方案對TEKTON3車聯網(V2X)系統級芯片(SoC)進行驗證。此次
    的頭像 發表于 03-08 10:33 ?943次閱讀

    回望中國第一代人工智能研究歷程:人工智能研究期待擺脫舊范式的束縛

    二是縱觀全局,眼觀六路。雖然國際上將人工智能看成計算機學科的一個分支,但人工智能涉及哲學、數學、計算機、自動控制、心理學等諸多學科。特別是在中國,早期許多人工智能學者并非出自計算機領域。
    的頭像 發表于 01-09 17:06 ?747次閱讀

    面向系統級芯片驗證的硬件平臺介紹

    當設計的規模動輒幾十億門,系統驗證時間不斷的增加,硬件驗證系統幾乎是驗證工程師不可或缺的利器,因此對高性能硬件驗證系統提出了更多的需求。
    的頭像 發表于 01-05 10:06 ?855次閱讀
    主站蜘蛛池模板: 欧美成人免费网站| ⅹxxxx68日本老师hd| 免费色黄网站| 全黄毛片| 午夜8050| 免费看的黄网站| 女人张开腿双腿让男人桶| 天天躁天天狠天天透| 天天色成人网| 欧美成人看片一区二区三区| 香蕉免费在线视频| 国产精品九九久久一区hh| 久久久久久人精品免费费看| 中文字幕va| 国内自拍 亚洲系列 欧美系列 | 干美女在线视频| 99国产成人精品2021| 天堂成人在线观看| 1000部啪啪勿入十八免费| 2345成人高清毛片| 欧美一级片免费在线观看| 人人草人人干| 亚洲国产精品乱码一区二区三区| 国产免费黄视频| 激情伦成人综合小说| 色视频在线播放| 天堂在线最新版资源www| 国产精品乱码高清在线观看| 韩国三级理论在线观看视频 | 3344在线观看永久免费| 日本精高清区一| 免费在线观看大片影视大全| 亚洲免费成人在线| 亚洲天天做夜夜做天天欢人人| 欧美一卡二卡科技有限公司| 久久人成| 免费h视频在线观看| 免费黄色福利| 啪啪.com| 美女黄色在线| 亚洲 另类 在线 欧美 制服|