词语繁体:形式驗證
词语读音:xíng shì yàn zhèng
首字拼音:Xing
词语拼音:xing shi yan zheng
词语简拼:XSYZ
词语结构:ABCD式词语
词语字数:四字词语
所谓形式验证,是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。
【形的意思】:形 xíng(ㄒ一ㄥˊ) (一)、实体:形仪(体态仪表)。形体。形貌。形容。形骸。形单影只。形影相吊 详情>
【式的意思】:式 shì(ㄕˋ) (一)、物体外形的样子:式样。样式。(二)、特定的规格:格式。程式。(三)、典礼 详情>
【验的意思】:验(驗) yàn(一ㄢˋ) (一)、检查,察看:验核。验血。验尸。验光。验证。(二)、效果,有效果: 详情>
【证的意思】:证(證) zhèng(ㄓㄥˋ) (一)、用人物、事实来表明或断定:证明。保证。证实。作证。对证。论证 详情>