数字集成电路设计验证 : 量化评估、激励生成、形式化验证.pdf 本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。 叁号仓库 2022年07月21日 0 点赞 0 评论 3687 浏览
分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 著.pdf 《分数阶系统高阶逻辑形式化验证》是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学 叁号仓库 2024年01月20日 0 点赞 0 评论 724 浏览
