完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>
標(biāo)簽 > 驗證工具
文章:7個 瀏覽:7480次 帖子:0個
工具鑒定正是DO-178C第十二章第二節(jié)所描述的內(nèi)容。為了區(qū)別工具鑒定與機(jī)載軟件的適航要求,RTCA組織在DO-178C標(biāo)準(zhǔn)推出之時也同步頒布了DO-3...
新思科技VC Formal解決方案部署的成功經(jīng)驗
形式驗證是檢測設(shè)計過程中深層錯誤最有效的方法,這些錯誤在仿真測試中很可能會遺漏。為了做到全面檢測,形式驗證使用了大量強(qiáng)大的引擎來對驗證過程中所需要的成千...
上??匕瞚Verifier計算機(jī)聯(lián)鎖系統(tǒng)驗證工具概述
傳統(tǒng)的聯(lián)鎖系統(tǒng)開發(fā)、設(shè)計和測試,只能從功能上保證其邏輯的正確性,而無法保證其安全需求完全得到滿足。SmartRocket iVerifier作為上??匕?..
提供設(shè)計/驗證工具以創(chuàng)建 AI 芯片
有道理的是,我們會發(fā)現(xiàn)很多應(yīng)用程序,我們可以在其中利用人工智能的力量來改進(jìn)我們的流程并更快地構(gòu)建芯片。 Mentor, a Siemens Busine...
Motor-CAD電機(jī)設(shè)計驗證工具的功能特點及應(yīng)用方案
Motor-CAD作為一款專業(yè)的電機(jī)設(shè)計驗證工具,有著豐富的專業(yè)的電機(jī)模型庫,能夠輔助工程師實現(xiàn)電機(jī)快速參數(shù)化設(shè)計、多場耦合仿真性能評估與設(shè)計參數(shù)優(yōu)化。...
2022-05-18 標(biāo)簽:驗證工具CAD電機(jī)設(shè)計 3830 0
力科推出仿真設(shè)計驗證工具 力科今天宣布推出新的分析工具顯著擴(kuò)展PCI-Express 3.0協(xié)議測試。新的軟件工具叫SimPASS,針對硅前期的仿真和...
編輯推薦廠商產(chǎn)品技術(shù)軟件/工具OS/語言教程專題
電機(jī)控制 | DSP | 氮化鎵 | 功率放大器 | ChatGPT | 自動駕駛 | TI | 瑞薩電子 |
BLDC | PLC | 碳化硅 | 二極管 | OpenAI | 元宇宙 | 安森美 | ADI |
無刷電機(jī) | FOC | IGBT | 逆變器 | 文心一言 | 5G | 英飛凌 | 羅姆 |
直流電機(jī) | PID | MOSFET | 傳感器 | 人工智能 | 物聯(lián)網(wǎng) | NXP | 賽靈思 |
步進(jìn)電機(jī) | SPWM | 充電樁 | IPM | 機(jī)器視覺 | 無人機(jī) | 三菱電機(jī) | ST |
伺服電機(jī) | SVPWM | 光伏發(fā)電 | UPS | AR | 智能電網(wǎng) | 國民技術(shù) | Microchip |
Arduino | BeagleBone | 樹莓派 | STM32 | MSP430 | EFM32 | ARM mbed | EDA |
示波器 | LPC | imx8 | PSoC | Altium Designer | Allegro | Mentor | Pads |
OrCAD | Cadence | AutoCAD | 華秋DFM | Keil | MATLAB | MPLAB | Quartus |
C++ | Java | Python | JavaScript | node.js | RISC-V | verilog | Tensorflow |
Android | iOS | linux | RTOS | FreeRTOS | LiteOS | RT-THread | uCOS |
DuerOS | Brillo | Windows11 | HarmonyOS |