Debug

• Formal驗(yàn)證三要素解析：Input、Object與Output的作用

  Formal三要素：input(輸入) + object(對(duì)象) + output(輸出)。Formal有點(diǎn)像上帝，我們把input和object灌進(jìn)formal，formal會(huì)給出個(gè)output來(lái)指示結(jié)果是否正確。 Object：是我們要證明的對(duì)象，通常是DUT； Input：是我們給的輸入，通常是assert和assume，assert是預(yù)期的行為，assume是假定的行為； Output：是

  專(zhuān)芯致志er

  189

  7小時(shí)前

  Debug
• 星座圖，也可以是射頻人員debug的好幫手

  你想不想，從頻譜儀上顯示的星座圖，就能輕輕松松低分析出，信號(hào)質(zhì)量差是由于啥原因產(chǎn)生的么？

  加油射頻工程師

  707

  06/25 17:49

  頻譜儀 Debug
• 聊聊芯片Debug模塊及其應(yīng)用

  在芯片設(shè)計(jì)中，通常都會(huì)增加一些debug(調(diào)試)電路邏輯，方便定位軟硬件問(wèn)題。增加這些debug電路的基本要求對(duì)系統(tǒng)原有的正常操作無(wú)影響，否則可能會(huì)出現(xiàn)heisenbug。因此，debug邏輯電路通常用額外的專(zhuān)用資源去實(shí)現(xiàn)，debug面積占用超過(guò)總芯片面積5%的芯片也不在少數(shù)。

  專(zhuān)芯致志er

  984

  06/05 08:30

  芯片設(shè)計(jì) Debug

  
• 使用動(dòng)態(tài)輸出打印內(nèi)核的DEBUG信息

  “置頂/星標(biāo)公眾號(hào)”

  嵌入式與Linux那些事

  406

  2023/01/06

  Debug
• 瑞芯微RK3588開(kāi)發(fā)板評(píng)測(cè)Ⅱ——DEBUG&接口調(diào)試方法

  本期技術(shù)干貨內(nèi)容分享開(kāi)發(fā)板的DEBUG和接口功能調(diào)試方法，繼續(xù)以英碼嵌入式開(kāi)發(fā)板EVM3588為例，該發(fā)板搭載的是瑞芯微RK3588平臺(tái)

  英碼科技

  5411

  2022/10/20

  lcd 評(píng)測(cè)
• 如何在低功耗模式下debug MCU？

  正常情況下，通過(guò)SWD在線調(diào)試時(shí)，一旦芯片進(jìn)入低功耗模式(Stop或者Standby)，調(diào)試就會(huì)斷開(kāi)。原因是進(jìn)入Stop或者Standby模式后，內(nèi)核時(shí)鐘就停止了。如果想在調(diào)試低功耗代碼時(shí)還可以正常通過(guò)調(diào)試接口debug，有沒(méi)有什么辦法呢？

  TopSemic嵌入式

  803

  2022/09/30

  低功耗 Debug
• 嵌入式開(kāi)發(fā) | 軟件項(xiàng)目中 Debug 和 Release 版本的差異

  很多集成開(kāi)發(fā)環(huán)境（IDE），比如VS（VC）、IAR等，在創(chuàng)建工程時(shí)都會(huì)自動(dòng)生成有Debug 和 Release兩個(gè)版本。有些小伙伴比較納悶，Debug 和 Release兩個(gè)版本到底有什么區(qū)別？

  strongerHuang

  332

  2022/03/07

  嵌入式開(kāi)發(fā) Debug
• 程序是如何運(yùn)行的呢？

  計(jì)算機(jī)的內(nèi)存，計(jì)算機(jī)中所有程序的運(yùn)行都在內(nèi)存中進(jìn)行，也就是你電腦的內(nèi)存條中運(yùn)行的。計(jì)算機(jī)內(nèi)存也被稱(chēng)為隨機(jī)訪問(wèn)存儲(chǔ)器，Random Access Memory，簡(jiǎn)稱(chēng) RAM。

  果果小師弟

  154

  2021/01/29

  CPU 寄存器
• 勞特巴赫推μTrace產(chǎn)品：硬件調(diào)試工具的集成化、低成本時(shí)代來(lái)臨

  從勞特巴赫中國(guó)區(qū)銷(xiāo)售經(jīng)理賀凌林的介紹中我們了解到，最新μTrace產(chǎn)品最大的特色是在一款產(chǎn)品中集成了Debug、Trace和能耗分析三大功能，而以往要實(shí)現(xiàn)這三種功能至少需要PowerDebug和PowerTrace兩款產(chǎn)品的組合，相較而言，這款集成化的產(chǎn)品大大降低了尺寸，同時(shí)成本只有原Power Trace產(chǎn)品的一半不到。

  高揚(yáng)

  2013/09/04

  Debug
• DEBUG選項(xiàng)卡中的TRACE ENABLE選項(xiàng)是灰色的無(wú)法勾選，怎么解決

  有基于STLINK 使用過(guò)trace功能，沒(méi)使用過(guò)這個(gè)CMSIS-DAP調(diào)試工具。它的設(shè)計(jì)目標(biāo)之一是提供一種低成本的調(diào)試解決方案，以適用于廣泛的調(diào)試需求，猜測(cè)CMSIS-DAP不一定支持高級(jí)Trace功能。

  eefocus_3901714

  2515

  2024/12/12

  Debug

正在努力加載...