形式驗(yàn)證簡(jiǎn)介

形式驗(yàn)證是一種自動(dòng)檢查方法，可以捕捉許多常見(jiàn)的設(shè)計(jì)錯(cuò)誤，并可以發(fā)現(xiàn)設(shè)計(jì)中的歧義。

2022-07-28 標(biāo)簽：處理器形式驗(yàn)證 3.5k 0

制霸手機(jī)行業(yè)20年 高通是如何做到的？

前不久，高通反壟斷案敗訴。美國(guó)圣何塞地區(qū)法官高蘭惠（Lucy koh）初步裁定，高通利用其在手機(jī)芯片市場(chǎng)的主導(dǎo)地位，收取過(guò)多的專利授權(quán)費(fèi)用，違反了美國(guó)反...

2019-06-06 標(biāo)簽：處理器芯片高通 3.5k 0

因英特爾新工藝多次跳票，高盛將其股票評(píng)級(jí)降為“賣出”

全球個(gè)人計(jì)算機(jī)處理器龍頭英特爾 （Intel） 在新制程上一直無(wú)法前進(jìn)，可能為自家的股價(jià)帶來(lái)了麻煩。根據(jù)國(guó)外財(cái)經(jīng)媒體 《CNBC》 報(bào)導(dǎo)，投資銀行高盛 ...

2018-08-13 標(biāo)簽：處理器英特爾高盛 3.5k 0

小米11系列手機(jī)的賣點(diǎn)分析

隨著小米11正式官宣發(fā)布時(shí)間和線上預(yù)熱的啟動(dòng)，不僅首次證實(shí)了新機(jī)背面攝像頭的造型與諜照相同，而且也有多組Geekbench跑分成績(jī)浮出水面，首發(fā)的驍龍8...

2020-12-23 標(biāo)簽：處理器gpu小米 3.5k 0

vivo S9系列新機(jī)型詳細(xì)規(guī)格配置曝光

根據(jù)爆料，年后“藍(lán)廠”（vivo）將推出幾款基于次旗艦芯的新機(jī)。近日，數(shù)碼博主@數(shù)碼閑聊站 陸續(xù)透露了新機(jī)的配置和外觀信息。

2021-02-19 標(biāo)簽：處理器OPPO攝像頭 3.5k 0

誠(chéng)邁科技發(fā)布四款信創(chuàng)產(chǎn)品：望龍電腦與龍頁(yè)生態(tài)適配版

據(jù)了解，龍芯3A6000處理器于2023年11月28日正式發(fā)布，其擁有四個(gè)物理核/八個(gè)邏輯核，主頻可達(dá)2.5GHz，相較于上一代產(chǎn)品龍芯3A5000，單...

2024-05-24 標(biāo)簽：處理器龍芯單線程 3.5k 0

中國(guó)擬定2027年前淘汰電信運(yùn)營(yíng)商外國(guó)芯片，英特爾與AMD股價(jià)受影響

據(jù)悉，中國(guó)政府正力推電信設(shè)施進(jìn)行核心芯片的國(guó)產(chǎn)化替換，且設(shè)定了明確的截止日期以加速推進(jìn)。知情者表示，監(jiān)管部門(mén)已下令國(guó)有移動(dòng)電信運(yùn)營(yíng)商檢查網(wǎng)絡(luò)中的非國(guó)產(chǎn)半...

2024-04-15 標(biāo)簽：處理器芯片電信運(yùn)營(yíng)商 3.5k 0

vivo X60首發(fā)三星Exynos 1080旗艦處理器

官方海報(bào)顯示，vivo X60系列首發(fā)三星Exynos 1080旗艦處理器。

2020-12-14 標(biāo)簽：處理器三星電子vivo 3.5k 0

麒麟980即將發(fā)布，全球首款采用7nm的處理器

德國(guó)柏林IFA展會(huì)開(kāi)幕前，華為要舉行一場(chǎng)特別的活動(dòng)，那就是由余承東主持發(fā)布麒麟980處理器。

2018-08-29 標(biāo)簽：處理器華為麒麟980 3.5k 0

華擎RX 5600XT顯卡的參數(shù)泄露，有望在CES 2020上發(fā)布

根據(jù)消息，華擎一款RX 5600XT顯卡現(xiàn)已曝光，確認(rèn)搭載2304流處理器，以及6GB GDDR6顯存。

2019-12-30 標(biāo)簽：處理器顯卡 3.5k 0

A2B相連的車載通信系統(tǒng)

了解A2B相連的(AD2410)車載通信系統(tǒng)中的麥克風(fēng)陣列如何區(qū)分多個(gè)揚(yáng)聲器，即使是背景嘈雜的情況也不在話下。該系統(tǒng)采用麥克風(fēng)波束成形算法、高級(jí)回聲消除...

2019-06-21 標(biāo)簽：處理器揚(yáng)聲器通信系統(tǒng) 3.5k 0

恩智浦i.MX 91生態(tài)合作伙伴最新開(kāi)發(fā)板資源

恩智浦i.MX 91應(yīng)用處理器系列能夠快速實(shí)現(xiàn)基于Linux的經(jīng)濟(jì)高效的邊緣應(yīng)用程序。i.MX 91處理器在保持實(shí)惠價(jià)格的同時(shí)，融合了高性能處理、安全性...

2024-12-20 標(biāo)簽：處理器恩智浦開(kāi)發(fā)板 3.5k 0

三星Galaxy S11手機(jī)其它地區(qū)將計(jì)劃搭載驍龍865 SOC

12月12日消息，據(jù)消息報(bào)道，三星公司計(jì)劃Galaxy S11手機(jī)將在大部分市場(chǎng)使用高通驍龍865處理器。

2019-12-12 標(biāo)簽：處理器三星電子高通驍龍 3.5k 0

華為Mate X再次更新參數(shù)，配備最新處理器，價(jià)格不菲

近日，外媒報(bào)道了華為Mate X將再創(chuàng)延期的消息。據(jù)悉該機(jī)原定于6月上市，但隨后延期至9月，最近華為方面宣稱“Mate X很難在11月前上市”。同時(shí)，M...

2019-08-18 標(biāo)簽：處理器華為 3.5k 0

基于全志D1-H的嵌入式RISC-V實(shí)驗(yàn)箱

主板采用全志的D1-H芯片為主控平臺(tái)，D1-H是全球首顆量產(chǎn)的搭載平頭哥玄鐵906 RISC-V的應(yīng)用處理器，支持RVV，1GHz+主頻，可支持Linu...

2022-04-29 標(biāo)簽：處理器嵌入式RISC-V 3.5k 0

訊維4K沉浸式圖像融合處理器成功應(yīng)用江蘇某革命紀(jì)念館

近日，訊維4K沉浸式圖像融合處理器成功應(yīng)用于江蘇某革命紀(jì)念館展廳。此次革命紀(jì)念館總面積約2000平方米，圖像融合展示面積達(dá)120平方米，通過(guò)采用4K超高...

2020-12-25 標(biāo)簽：處理器芯片圖像處理 3.5k 0

Inteli9-9980XE處理器開(kāi)售 國(guó)內(nèi)首發(fā)價(jià)格高達(dá)17499元

發(fā)布整整兩個(gè)月之后，Intel第九代酷睿X系列桌面發(fā)燒處理器終于在國(guó)內(nèi)上架開(kāi)賣了，從8核心到18核心全部7款型號(hào)同時(shí)登場(chǎng)。

2018-12-13 標(biāo)簽：處理器intel 3.5k 0