完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>
標簽 > 驗證工具
文章:8個 瀏覽:7484次 帖子:0個
系統(tǒng)安全性交叉驗證工具設計與實現(xiàn)(基于PHA和FHA)立即下載
類別:模擬數(shù)字論文 2017-10-30 標簽:系統(tǒng)安全驗證工具 1344 0
工具鑒定正是DO-178C第十二章第二節(jié)所描述的內(nèi)容。為了區(qū)別工具鑒定與機載軟件的適航要求,RTCA組織在DO-178C標準推出之時也同步頒布了DO-3...
新思科技VC Formal解決方案部署的成功經(jīng)驗
形式驗證是檢測設計過程中深層錯誤最有效的方法,這些錯誤在仿真測試中很可能會遺漏。為了做到全面檢測,形式驗證使用了大量強大的引擎來對驗證過程中所需要的成千...
上??匕瞚Verifier計算機聯(lián)鎖系統(tǒng)驗證工具概述
傳統(tǒng)的聯(lián)鎖系統(tǒng)開發(fā)、設計和測試,只能從功能上保證其邏輯的正確性,而無法保證其安全需求完全得到滿足。SmartRocket iVerifier作為上??匕?..
有道理的是,我們會發(fā)現(xiàn)很多應用程序,我們可以在其中利用人工智能的力量來改進我們的流程并更快地構(gòu)建芯片。 Mentor, a Siemens Busine...
Motor-CAD作為一款專業(yè)的電機設計驗證工具,有著豐富的專業(yè)的電機模型庫,能夠輔助工程師實現(xiàn)電機快速參數(shù)化設計、多場耦合仿真性能評估與設計參數(shù)優(yōu)化。...
力科推出仿真設計驗證工具 力科今天宣布推出新的分析工具顯著擴展PCI-Express 3.0協(xié)議測試。新的軟件工具叫SimPASS,針對硅前期的仿真和...
編輯推薦廠商產(chǎn)品技術(shù)軟件/工具OS/語言教程專題
電機控制 | DSP | 氮化鎵 | 功率放大器 | ChatGPT | 自動駕駛 | TI | 瑞薩電子 |
BLDC | PLC | 碳化硅 | 二極管 | OpenAI | 元宇宙 | 安森美 | ADI |
無刷電機 | FOC | IGBT | 逆變器 | 文心一言 | 5G | 英飛凌 | 羅姆 |
直流電機 | PID | MOSFET | 傳感器 | 人工智能 | 物聯(lián)網(wǎng) | NXP | 賽靈思 |
步進電機 | SPWM | 充電樁 | IPM | 機器視覺 | 無人機 | 三菱電機 | ST |
伺服電機 | 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 |