首页>
外国专利>
Verifying glitches in reset path using formal verification and simulation
Verifying glitches in reset path using formal verification and simulation
展开▼
机译:使用正式验证和仿真验证重置路径中的毛刺
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and a system for identifying glitches in a circuit are provided. The method includes identifying a sub-circuit that drives a net from a plurality of nets in a circuit, generating a glitch detection circuit comprising dual-rail encoding from the net to a signal driver of the sub-circuit, modifying the sub-circuit to include the glitch detection circuit, generating an optimized hardware design language (HDL) output file associated with the glitch detection circuit and the sub-circuit, and performing a simulation or a formal verification of the optimized HDL output file to determine whether a signal associated with the net glitches.
展开▼