排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法.用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来.通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性. 相似文献
2.
提出了一种基于光电技术测量圆度误差的新方法.该方法将圆度误差转化为轴上物点的移动,利用理想光组轴向放大率理论来实现微位移的放大,并通过采用位置敏感探测器将光斑像点的位移转化为电信号的输出,从而实现位移与电信号的转化;在测量圆度的同时,采用圆光栅来测量工件转角,实现整周的圆轮廓实时记录;对于圆度误差的评定采用最小二乘法,并经过对比实验,证实该方法的测量原理可行,实现了圆度误差的整周连续测量,其测量精度可以达到1 μm. 相似文献
1