基于SystemVerilog的浮点数约束生成器的研究与实现

    A Study and Implementation of a Floating-point Constraint Generator Based on SystemVerilog

    • 摘要: SystemVerilog是专用于FPGA 验证的语言,它的约束随机机制是支持FPGA随机测试的关键。然而,SystemVerilog语言仅提供了对整数类型的约束随机机制,这大大限制了需要使用浮点数随机激励的验证。文中设计了一种基于SystemVerilog的浮点数约束生成器,它通过转换机制,实现对浮点数的约束随机生成,从而将SystemVerilog的约束随机机制扩大到浮点数据类型,有效扩大了SystemVerilog约束随机验证的支持范围。

       

      Abstract: SystemVerilog is a specialized language for FPGA verification, and its constrained random mechanism is the kernel to support FPGA random test. However, the SystemVerilog language only provides a constrained randomization mechanism for integral data types, which greatly limits the verification when floating-point random stimulus is needed. In this article, a floating-point constraint generator based on SystemVerilog is designed. It realizes the generation of constrained random floating-point number through a conversion mechanism, and thus extends the SystemVerilog constrained random mechanism to floating-point data types, which effectively expands the support range of SystemVerilog for constrained random test.

       

    /

    返回文章
    返回