属性描述语言相关论文
IEEE属性描述语言PSL为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法(ABV)为硬件的设计和验证提出了一种新的很具有......
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证.这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间.......
片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确.形式化方法是利用数学推理的方法来证明其正确,是......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给......