要查看DO验证套件的文档，需要该产品的许可证。
要查看此文档，请登录MathWorks帐户。