[资料]

A Model Checking Example--Solving Sudoku Using Simulink Design Verifier

2011-7-18 09:39:54 2808

0 Formal verification methods prove mathematically that a design does not contain unwanted behavior. As a result, they help ensure that a system design meets the specification before time and effort are invested in implementation. In this paper, Walter Storm, a senior developer at Lockheed Martin, presents an easy-to-understand application of formal methods—specifically, model checking. Through an example based on the popular game Sudoku, Storm demonstrates the power and simplicity of model checking technology as implemented within Simulink. Topics covered include formalizing constraints and requirements, using math to search for solutions that prove design correctness, generating counterexamples (test cases known to violate the requirements), and fixing these violations.······· A Model Checking Example_v5.pdf (436.65 KB, 下载次数: 9 ) 0
举报淘帖0 只看该作者最近下载过的用户(1) 相关推荐 • simulink 代码生成 2020a 精选资料分享 1084 • 资料下载：什么是MATLAB SIMULINK？ 1010 • Modelsim是如何运行example_design的？ 1845 • 在simulink中速率和类型错误检查 2134 • 怎么更改dsPIC Simulink模块组中ADC触发的频率 2703 • xilinxGTH的example design问题 5234 • Design Optimization Using Quartus II 1353 • Design Optimization Using Quartus II 1737 • SMBus Design Using Low Power Microcontroller 4496 • MathWorks发布2011a版MATLAB和Simulink产品系列 3478 2条评论发表评论只看该作者