复杂数字逻辑系统的可重构组件式建模与验证-计算机应用技术专业论文.docx

万方数据 万方数据 目 录 HYPERLINK \l _bookmark0 第一章 绪论 ............................................................................................................ 1 HYPERLINK \l _bookmark1 1.1 选题背景与意义 ..........................................................................................1 HYPERLINK \l _bookmark2 1.1.1 复杂数字逻辑系统............................................................................ 1 HYPERLINK \l _bookmark3 1.1.2 复杂数字逻辑系统设计与实现......................................................... 1 HYPERLINK \l _bookmark4 1.1.3 复杂数字逻辑系统设计面临问题和解决办法.................................. 4 HYPERLINK \l _bookmark5 1.1.4 复杂数字逻辑系统建模与验证的意义 ............................................. 5 HYPERLINK \l _bookmark6 1.2 国内外研究进展 ..........................................................................................5 HYPERLINK \l _bookmark7 1.2.1 数字系统建模方法............................................................................ 5 HYPERLINK \l _bookmark8 1.2.2 复杂数字逻辑系统描述方法 ............................................................ 6 HYPERLINK \l _bookmark9 1.2.3 复杂数字逻辑系统的验证方法....................................................... 10 HYPERLINK \l _bookmark10 1.2.4 现有复杂数字逻辑系统的设计工具............................................... 13 HYPERLINK \l _bookmark11 1.3 创新点分析................................................................................................14 HYPERLINK \l _bookmark12 1.4 论文的研究内容及结构安排.....................................................................15 HYPERLINK \l _bookmark13 1.5 本章小结....................................................................................................16 HYPERLINK \l _bookmark14 第二章 复杂数字逻辑组件式建模与 XML 描述 ................................................. 17 HYPERLINK \l _bookmark15 2.1 复杂数字逻辑组件式建模.........................................................................17 HYPERLINK \l _bookmark16 2.1.1 基本概念 ......................................................................................... 17 HYPERLIN