激情偷乱人伦小说视频最新章节,成人毛片A级毛片免费观看,中国杭州少妇XXXX做受

Optimality在多個場景的時域仿真中高效性的深度研究[模擬設(shè)計][工業(yè)自動化]

隨著產(chǎn)品的速率及復(fù)雜性越來越高，針對仿真而言，除了要求仿真本身具有非常高的精度外，還對仿真的效率提出了很高的要求。具體到不同的信號模塊，如DDR系統(tǒng)或者高速串行信號上，基于速率越來越高，越來越希望仿真給能出“最優(yōu)解”的配置，例如DDR5顆粒的ODT的最優(yōu)配置，高速信號芯片的加重均衡的最優(yōu)配置等參數(shù)。那么如何在成百上千種組合的參數(shù)中選擇相對最優(yōu)的參數(shù)呢？傳統(tǒng)的軟件只能通過大量的掃描來進(jìn)行篩選，在仿真時間和工程師的精力兩方面都有比較大的耗費(fèi)。使用Optimality軟件，通過分享一些具體的仿真案例，展現(xiàn)軟件的智能性，幫助使用者更快速挑選出最優(yōu)的參數(shù)，使DDR及高速串行的仿真工作變得更加輕松，充分體現(xiàn)出Optimality軟件的高效性。

發(fā)表于：9/4/2024 2:14:34 PM

基于AI加速的可復(fù)用FPV平臺庫[人工智能][汽車電子]

形式驗證FPV可將DUT抽象為狀態(tài)空間進(jìn)行遍歷，針對動態(tài)仿真難以隨機(jī)到的邊界場景、異常場景和復(fù)雜組合場景可提高收斂速度，增強(qiáng)驗證質(zhì)量。但高質(zhì)量Property開發(fā)對驗證人員能力有較高的要求。面對該挑戰(zhàn)，基于Cadence公司Jaspergold ABVIP提出了一種可復(fù)用FPV平臺庫解決方案，可在不同模塊之間重用，降低FPV驗證平臺搭建時間，提升Property質(zhì)量，同時借助其AI工具Proof Master生成加速Proven效率的database。FPV平臺庫+AI Database已在中興微電子某車規(guī)項目落地并復(fù)用，發(fā)現(xiàn)動態(tài)仿真遺漏的4個故障。Proof Master可應(yīng)用于項目全周期內(nèi)，回歸效率平均提升80.17%，F(xiàn)PV平臺庫+AI database可提升FPV 初次Proven效率44.96%。與此同時對生成式大模型提升Property編寫效率做了一定探討。

發(fā)表于：9/4/2024 2:03:07 PM

使用Cadence AI技術(shù)加速驗證效率提升[EDA與制造][消費(fèi)電子]

隨著硬件設(shè)計規(guī)模和復(fù)雜程度的不斷增加，驗證收斂的挑戰(zhàn)難度不斷增大，單純依靠增加 CPU 核數(shù)量并行測試的方法治標(biāo)不治本。如何在投片前做到驗證關(guān)鍵指標(biāo)收斂，是驗證工程師面對的難題。為解決這一難題，提出了采用人工智能驅(qū)動的驗證EDA工具和生成式大模型兩種提效方案，其中EDA工具有Cadence利用人工智能驅(qū)動的Verisium apps和采用機(jī)器學(xué)習(xí)技術(shù)Xcelium ML，前者用來提升驗證故障定位效率，包括Verisium AutoTriage、Verisium SemanticDiff、Verisium WaveMiner等，后者可用來提升驗證覆蓋率收斂效率。生成式大模型可輔助智能debug和自動生成驗證用例，主要介紹各實現(xiàn)方案，并給出了項目實驗提升結(jié)果。

發(fā)表于：9/4/2024 1:52:25 PM

Virtuoso iQuantus Insight及Quantus Insight流程在FINFET先進(jìn)工藝項目中加速后仿迭代的應(yīng)用[模擬設(shè)計][工業(yè)自動化]

隨著工藝演進(jìn)，尺寸進(jìn)一步縮小帶來了更多寄生通路和更大的寄生電阻，后仿結(jié)果和前仿相去甚遠(yuǎn)。如何快速縮小前后仿之間的差距成為重要課題。傳統(tǒng)設(shè)計中只能通過Quantus Extracted View相對直觀地對寄生進(jìn)行分析，無法更詳細(xì)地進(jìn)行分析，這成為設(shè)計者們面臨的艱巨挑戰(zhàn)。同時，后仿發(fā)現(xiàn)問題，只能通過“修改電路-版圖迭代-再次后仿”反復(fù)優(yōu)化，迭代周期長，如何降低時間成本成為各公司關(guān)注的重點(diǎn)。Virtuoso iQuantus Insight （ViQI）/Quantus Insight （QI）可基于寄生網(wǎng)表文件進(jìn)行寄生分析及結(jié)果可視化。工程師可借此對寄生進(jìn)行準(zhǔn)確的分析及假設(shè)，無需版圖迭代，即可進(jìn)行設(shè)計優(yōu)化。討論了如何通過ViQI/QI工具在FINFET先進(jìn)工藝項目中實現(xiàn)快速的后仿迭代，大幅提高工作效率。

發(fā)表于：9/4/2024 1:41:00 PM

基于Cerebrus的Genus+Innovus流程的功耗面積優(yōu)化[模擬設(shè)計][消費(fèi)電子]

對于性能功耗面積（PPA）的追求已成為IC芯片設(shè)計的共識，尤其是發(fā)展到先進(jìn)工藝節(jié)點(diǎn)，PPA已成為IC設(shè)計綜合性能的重要指標(biāo)，尤其是對于大型SoC芯片中clone很多次的模塊，對于PPA的追求變得更加極致。介紹了基于Cadence公司的Genus工具和Cerebrus 工具，通過綜合階段與后端PR各個階段的優(yōu)化，共同提升PPA的優(yōu)化方案。最終結(jié)果顯示，在時序及DRC基本收斂的情況下，使用Cerebrus工具相比Innovus可以使功耗降低3.5%，面積降低3.1%，使用Genus+Innovus流程可以使功耗降低6.4%，面積降低8.5%，極大地降低了芯片的面積及功耗。

發(fā)表于：9/4/2024 1:31:51 PM

Conformal ECO寄存器新增的掃描鏈自動化接入方案[模擬設(shè)計][工業(yè)自動化]

隨著芯片規(guī)模的增加，ECO的需求和大小也隨之增加，其中當(dāng)新增寄存器數(shù)量達(dá)到百位量級時，人工接入掃描鏈難度也將急劇上升?；贑adence的Conformal和Innovus等工具，在綜合考量邏輯正確性和中后端物理實現(xiàn)可行性的基礎(chǔ)上，采用歸一思路下的“S”型連線和room值下的再分組等方法，實現(xiàn)了上述問題的自動化和高效化解決，在邏輯上確保了時鐘域一致性等問題，物理上同時兼顧了布局布線優(yōu)化和最大掃描鏈長度。并且其自動化的高效性，在項目實踐中能夠快速完成上百數(shù)量寄存器的掃描鏈接入。

發(fā)表于：9/4/2024 1:21:13 PM

基于云計算的蛋白質(zhì)折疊空間結(jié)構(gòu)預(yù)測[人工智能][其他]

構(gòu)建基于云計算的蛋白質(zhì)折疊空間結(jié)構(gòu)預(yù)測框架，通過數(shù)據(jù)云存儲設(shè)備獲取蛋白質(zhì)序列原始數(shù)據(jù)，采用HDFS（Hadoop Distributed File System）分布式存儲方式保存于云端。資源和隊列管理器RQM（Resource Queue Management）開啟云端虛擬機(jī)后，以之作為掃描節(jié)點(diǎn)（Sensor Node， SN），SN基于二維AB非格點(diǎn)模型建立最小蛋白質(zhì)分子能量優(yōu)化函數(shù)，采用局部搜索機(jī)制改進(jìn)的量子遺傳算法對其作優(yōu)化求解。利用云端GPU設(shè)備處理模型訓(xùn)練數(shù)據(jù)，即可實現(xiàn)蛋白質(zhì)折疊空間結(jié)構(gòu)的自動化預(yù)測。實驗結(jié)果表明：蛋白質(zhì)序列能量勢函數(shù)計算結(jié)果更小、執(zhí)行效率更高、GDT-TS（Geothermal Development and Testing Tool Suite）評價指標(biāo)值更大。

發(fā)表于：9/4/2024 1:10:35 PM

基于多特征融合和知識蒸餾的亞熱帶常見喬木識別方法[人工智能][其他]

喬木在維持生態(tài)平衡、保護(hù)生物多樣性以及調(diào)節(jié)氣候和改善空氣質(zhì)量等方面發(fā)揮著至關(guān)重要的作用。針對復(fù)雜背景下喬木識別準(zhǔn)確率較低的問題，提出了一種基于樹木多特征融合和知識蒸餾的亞熱帶常見喬木識別模型MFFMN-KD-TA。該模型采用3個并行的MobileNetV3_Small主干網(wǎng)絡(luò)分別提取樹葉、樹干和樹木整體特征；并通過知識蒸餾和嵌入Triplet Attention模塊的方法優(yōu)化訓(xùn)練。試驗結(jié)果表明，MFFMN-KD-TA模型在自建樹木測試集上的準(zhǔn)確率、精確率和F1分?jǐn)?shù)分別為0.960 9、0.962 1和0.960 8，較MFFMN模型分別提升了3.05%、2.83%和3.07%。與三分支融合模型3-ShuffleNetV2和3-MobileNetV2相比，提出的多特征融合模型MFFMN-KD-TA參數(shù)量較小且能夠較準(zhǔn)確地識別喬木種類，為亞熱帶和其他地區(qū)的樹種識別提供了新思路和新方法。

發(fā)表于：9/4/2024 1:01:00 PM

個人信息侵權(quán)因果關(guān)系認(rèn)定困境的紓解——以推定因果關(guān)系為進(jìn)路[其他][信息安全]

在個人信息侵權(quán)案件中，受害人證明因果關(guān)系受證明能力不足、證明成本高、證明標(biāo)準(zhǔn)模糊、數(shù)人侵權(quán)案情復(fù)雜等而陷入困境。上述司法認(rèn)定困境與因果關(guān)系理論爭議不無關(guān)系，條件說、類推說、相當(dāng)因果關(guān)系說均存在理論缺陷與價值局限，基于蓋然性標(biāo)準(zhǔn)的理論支撐以及個人信息侵權(quán)解紛的現(xiàn)實需要，推定因果關(guān)系說具有適用的可行性與必要性。規(guī)則優(yōu)化方面，原告需在形式上對因果關(guān)系負(fù)證明責(zé)任，證明的程度達(dá)到一般程度以上；被告需證明因果關(guān)系不存在且該證明責(zé)任達(dá)到高度蓋然性方可否認(rèn)侵權(quán)責(zé)任。

發(fā)表于：9/3/2024 3:50:15 PM

縣域數(shù)據(jù)安全治理體系建設(shè)與挑戰(zhàn)[其他][信息安全]

發(fā)表于：9/3/2024 3:35:37 PM