CWE-1461 詳細

The hardware design contains structures that are interpreted differently during synthesis than during simulation, which cause inconsistencies in security-relevant behavior between the synthesized implementation and the simulation.

導入モード

適用可能なプラットフォーム

言語

名前： Verilog (Undetermined)
名前： VHDL (Undetermined)
クラス： Hardware Description Language (Undetermined)

アーキテクチャ

クラス： Not Architecture-Specific (Undetermined)

テクノロジー

クラス： System on Chip (Undetermined)

一般的な結果

観察された例

潜在的な緩和策

検出方法

Automated Static Analysis - Source Code

有効性 : Moderate

Manual Analysis

有効性 : Limited

Formal Verification

有効性 : High

Simulation / Emulation

有効性 : High

Fuzzing

有効性 : High

脆弱性マッピングノート

理由 : This CWE entry is at the Base level of abstraction, which is a preferred level of abstraction for mapping to the root causes of vulnerabilities.
コメント : Since this entry is often resultant, there might be other CWEs that are more appropriate as the root cause, although there might be some gaps. Carefully read both the name and description to ensure that this mapping is an appropriate fit. Do not try to 'force' a mapping to a lower-level Base/Variant simply to comply with this preferred level of abstraction.

参考文献

REF-1552

RTL Coding Styles That Yield Simulation and Synthesis Mismatches
Don Mills, Clifford E. Cummings.
https://www.researchgate.net/profile/Clifford-Cummings/publication/228554783_RTL_Coding_Styles_That_Yield_Simulation_and_Synthesis_Mismatches/links/54bfe9760cf21674ce9ca726/RTL-Coding-Styles-That-Yield-Simulation-and-Synthesis-Mismatches.pdf

REF-1553

SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs
Raghul Saravanan, Sudipta Paria, Aritra Dasgupta, Venkat Nitin Patnala, Swarup Bhunia, Sai Manoj P. D..
https://arxiv.org/abs/2504.18812

REF-1554

The Dangers of Living with an X (bugs hidden in your Verilog)
Mike Turpin.
https://developer.arm.com/documentation/arp0009/a/?lang=en

REF-1555

Standard Gotchas: Subtleties in the Verilog and SystemVerilog Standards That Every Engineer Should Know
Stuart Sutherland, Don Mills.
https://sutherland-hdl.com/papers/2006-SNUG-Boston_standard_gotchas_paper.pdf

REF-1556

Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz
Flavien Solt, Kaveh Razavi.
https://www.usenix.org/conference/usenixsecurity25/presentation/solt

REF-1557

Yet Another Latch and Gotchas Paper
Don Mills.
https://lcdm-eng.com/papers/snug12_Paper_final.pdf

REF-1558

“full_case parallel_case”, the Evil Twins of Verilog Synthesis
Clifford E. Cummings.
https://csg.csail.mit.edu/6.375/6_375_2009_www/papers/cummings-case-snug99.pdf

登録情報