一种基于状态机的数字逻辑系统的功能验证方法
发布时间：2024-11-03 08:40
在过去十年里集成电路变得愈加的复杂和昂贵,工业上开始采用新的设计方法,被广泛提及的是基于重用的片上系统设计(System-on-Chip,SoC)。它把一个系统划分成若干子功能模块,而这些子功能模块可通过IP核(IntellectualProperty,IP))的方式从内部或三方资源中得到,然后把这些IP核集成到一块芯片上实现整个系统的功能。在这种设计策略中,越来越多的功能模块需要用IP核来实现,因此IP核就显得越来越重要了。如果IP核实现的功能有问题,那么整个系统也将毫无疑问的失败。在现代设计系统中,有很多部分的功能是需要用数字逻辑模块来实现的,因此数字逻辑系统设计的功能的正确性成为了当前关注的问题。 数字系统的设计开始于描述实现意图和行为的原始构想,然后经过反复的逐级细化,直到得出布图文件为止。数字系统的每一级细化都需要确认设计实现满足系统的原始设计意图,功能验证就是为了确认设计实现满足系统功能规范中定义的所需功能而提出的。 有很多方法可以用在数字逻辑系统的功能验证中,如基于仿真的验证和形式化验证等。无论那种方法都需要得出系统功能和性质,然后加以处理。如果要完备地验证...
【文章页数】：105 页
【学位级别】：硕士
【部分图文】：
本文编号：4010991
【文章页数】：105 页
【学位级别】：硕士
【部分图文】：
CIC中国集成电路ChinalntegratedCircult设计http：//www.cicmag.com（总第224-225期）2018·1-2·图5数据报文仿真图图6控制报文仿真图图5和图6中，dout为输出信号，其有效范围受dout<sub>v</sub>ld指示，图中d....
CIC中国集成电路ChinalntegratedCircult设计http：//www.cicmag.com（总第224-225期）2018·1-2·图5数据报文仿真图图6控制报文仿真图图5和图6中，dout为输出信号，其有效范围受dout<sub>v</sub>ld指示，图中d....
CIC中国集成电路ChinalntegratedCircult设计http：//www.cicmag.com（总第224-225期）2018·1-2·图5数据报文仿真图图6控制报文仿真图图5和图6中，dout为输出信号，其有效范围受dout<sub>v</sub>ld指示，图中d....
CIC中国集成电路ChinalntegratedCircult设计http：//www.cicmag.com（总第224-225期）2018·1-2·图5数据报文仿真图图6控制报文仿真图图5和图6中，dout为输出信号，其有效范围受dout<sub>v</sub>ld指示，图中d....
本文编号：4010991
本文链接：https://www.wllwen.com/shekelunwen/ljx/4010991.html
