完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>
標(biāo)簽 > 編譯器
文章:1216個(gè) 瀏覽:50089次 帖子:1521個(gè)
Ada 和 SPARK 方法的獨(dú)特之處在于它集成了軟件規(guī)范、實(shí)現(xiàn)和驗(yàn)證,提供了一種以現(xiàn)代系統(tǒng)所需的完整性級別生產(chǎn)軟件的經(jīng)濟(jì)高效的方法。醫(yī)療、汽車和工...
2022-06-29 標(biāo)簽:物聯(lián)網(wǎng)C語言編譯器 2051 0
當(dāng)與其他正式指定需求的系統(tǒng)方法相結(jié)合,并根據(jù)這些需求生成需求監(jiān)控器和預(yù)言機(jī)等組件時(shí)??,就有可能以一種不僅更具成本效益,而且支持增量認(rèn)證的方式實(shí)現(xiàn) TQ...
全新推出的Codasip Studio Mac版本為RISC-V處理器帶來更多的差異化設(shè)計(jì)潛力
德國慕尼黑,2022 年 6 月——可定制RISC-V處理器硅知識產(chǎn)權(quán)(IP)的領(lǐng)導(dǎo)者Codasip日前宣布,其Codasip Studio平臺現(xiàn)已支持...
安全關(guān)鍵型系統(tǒng)遷移應(yīng)該考慮哪些問題
實(shí)現(xiàn)此目的的一種方法是使用支持新舊目標(biāo)語言并可以混合語言的工具集。這允許團(tuán)隊(duì)保持原始代碼中仍然可用的部分完整,并將語言更改限制在滿足新要求所涉及的部分。
通用 FPGA 可在邏輯利用率上節(jié)省 50% 的典型邏輯,并類似地減少延遲,因此可以輕松支持浮點(diǎn)功能,并靈活地實(shí)現(xiàn)更廣泛的運(yùn)算符混合(例如加法器/減法器...
高級靜態(tài)分析工具在嵌入式系統(tǒng)開發(fā)中變得越來越重要。遠(yuǎn)遠(yuǎn)超出實(shí)際上是編碼風(fēng)格檢查器的舊靜態(tài)分析工具,新工具靜態(tài)分析源程序的控制和數(shù)據(jù)流,從而檢測錯(cuò)誤和漏洞...
在項(xiàng)目生命周期中盡早采用靜態(tài)分析將確保盡早驗(yàn)證遺留代碼,并確保任何新代碼從一開始就可移植。通過縮短開發(fā)時(shí)間和顯著降低殘留缺陷水平,開發(fā)人員可以快速收...
是德科技與新思科技定制化編譯器設(shè)計(jì)環(huán)境完成整合
2022年6月23日,是德科技(Keysight Technologies,Inc.)日前宣布Keysight PathWave RFPro 與新思科技...
是德科技與新思科技定制化編譯器設(shè)計(jì)環(huán)境已完成整合
PathWave RFPro 與新思科技定制化編譯器相輔相成,可提供無線晶片設(shè)計(jì)工作流程所需的整合式電磁模擬工具。
實(shí)例數(shù)據(jù)塊是指派給特定功能塊的數(shù)據(jù)塊。它們功能塊的指定的本地?cái)?shù)據(jù)。當(dāng)FB被用戶程序調(diào)用時(shí),這些數(shù)據(jù)塊被S7-SCL編譯器自動建立。
2022-06-23 標(biāo)簽:編譯器變量數(shù)據(jù)類型 6375 1
用于實(shí)時(shí)開發(fā)的Eclipse插件
通過利用與流行的 RTOS 工具和其他實(shí)時(shí)開發(fā)所需的工具套件的集成,實(shí)時(shí)開發(fā)人員現(xiàn)在也受益于不斷增長的 Eclipse 環(huán)境。
CDT 4.0提高生產(chǎn)力并提供更大的可擴(kuò)展性
對 Windows SDK 的支持:最近,Microsoft 提供了它的編譯器作為其 Windows SDK 的免費(fèi)下載。CDT 4.0 將包括構(gòu)建...
使用Nuba擴(kuò)展在Python中編寫光線跟蹤應(yīng)用程序
光線跟蹤是一種計(jì)算密集型算法。雖然理論上可以使用標(biāo)準(zhǔn) C Python 解釋器運(yùn)行光線跟蹤內(nèi)核,但渲染常規(guī)光線跟蹤圖像需要幾天的時(shí)間。此外, NVI...
自適應(yīng)PLC芯片和低功耗EDA設(shè)計(jì)流程
Calypto Design Systems、Virage Logic 和半導(dǎo)體技術(shù)學(xué)術(shù)研究中心 (STARC) 共同承擔(dān) SoC 電源的主要組成部...
該工具套件支持對生成的虛擬引擎進(jìn)行編譯、檢查和錯(cuò)誤檢測、性能預(yù)測、分析、調(diào)試和可視化。它支持目標(biāo)硬件,包括單核和多核處理器,以及具有連接到 x86 ...
從本質(zhì)上講,MISRA C 追求的所有目標(biāo)都在 SPARK 中得到了最好的實(shí)現(xiàn),結(jié)合了更強(qiáng)大的基礎(chǔ)語言 (Ada) 和強(qiáng)大的分析工具 (GNATpr...
嵌入式系統(tǒng)設(shè)計(jì)中的注釋和調(diào)試代碼
使用 C++ 風(fēng)格的//注釋符號——即,將//放在每行的開頭——稍微好一點(diǎn),但應(yīng)用起來非常乏味,而且在刪除時(shí)也可能容易出錯(cuò)。
通過生成式模型驅(qū)動開發(fā)車輛中的電子E/E系統(tǒng)問題
總之,在汽車市場快速發(fā)展趨勢的推動下,可擴(kuò)展保真度、測試重用、生成工作流和設(shè)計(jì)感知 V&V 工具解決方案相結(jié)合,可幫助驗(yàn)證工程師有效地驗(yàn)證和...
靜態(tài)分析不能代替硬件和軟件驗(yàn)證,但對于防止應(yīng)用程序中的干擾非常有價(jià)值。它可以在您的源代碼中發(fā)現(xiàn)違反 ISO 26262 要求的錯(cuò)誤。
編輯推薦廠商產(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 |