Verifying the functional correctness of register-transfer level (RTL) designs is still challenging. Thereby, functional simulation is frequently selected as the first choice to verify system behavior. A strong alternative to simulation is represented by formal approaches. In detail, formal property verification (FPV) often provides a more efficient way to ensure the functional correctness of designs. This paper shows how inconclusive formal property results can be handled for intellectual property (IP) cores embedded into a system-on-a-chip (SoC) environment. While FPV runs are usually carried out from a default reset state, it is possible to shift the formal analysis starting point to a beneficial position. This paper investigates the approach on two IP-Cores, which allows fast property checks instead of being inconclusive after hours of formal analysis.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Reset State Shifting in FPGA Designs to Handle Inconclusive Formal Property Verification Results


    Contributors:


    Publication date :

    2024-03-02


    Size :

    1057725 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Defense Transportation: Preliminary Personal Property Pilot Results Are Inconclusive

    D. R. Warren / C. J. Patton / N. Taslitt et al. | NTIS | 1999


    Bidirectional reset speed regulation rotating handle

    QIAO JUNHAO / XIONG MINGYANG / LIU YONGQIANG | European Patent Office | 2023

    Free access

    Detachable deformable gear shifting handle

    ZHANG HANZHEN | European Patent Office | 2021

    Free access

    Integrating Abstraction Techniques for Formal Verification of Analog Designs

    Zaki, Mohamed H. / Denman, William / Tahar, Sofiène et al. | AIAA | 2009


    Electronic gear shifting handle and vehicle

    SHI JIANWEI / LIU MIN / REN QINGSONG et al. | European Patent Office | 2022

    Free access