And Functional Verification is the basic of design verification, which is used to validate whether the implementation accord with the specification. 而设计验证最基本的内容是功能验证,用于判别设计规范和实现之间是否一致。
For enhancing functional safety management on safety instrumented systems, a design of functional safety management software is presented based on the analysis of safety integrity level ( SIL ), safety requirement specification and safety integrity verification, which are included in safety life cycle. 为了辅助安全仪表系统的功能安全管理,对安全生命周期中安全完整性水平选择、安全要求规范及安全完整性水平验证进行了分析,提出了功能安全管理软件的设计方案。