IDEAS home Printed from https://ideas.repec.org/a/wly/jnljam/v2014y2014i1n194574.html

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Author

Listed:
  • Ning Zhou
  • Xinyan Gao
  • Jinzhao Wu
  • Jianchao Wei
  • Dakui Li

Abstract

We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking. We define a constrained subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic representations using Groebner bases for concurrent SVAs checking. Case studies show that computer algebra can provide canonical symbolic representations for both assertions and circuit designs and can act as a novel solver engine from the viewpoint of symbolic computation.

Suggested Citation

  • Ning Zhou & Xinyan Gao & Jinzhao Wu & Jianchao Wei & Dakui Li, 2014. "Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions," Journal of Applied Mathematics, John Wiley & Sons, vol. 2014(1).
    • Handle: RePEc:wly:jnljam:v:2014:y:2014:i:1:n:194574
    DOI: 10.1155/2014/194574
    as

    Download full text from publisher

    File URL: https://doi.org/10.1155/2014/194574
    Download Restriction: no
    File URL: https://libkey.io/10.1155/2014/194574?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Ning Zhou & Jinzhao Wu & Xinyan Gao, 2013. "Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches," Journal of Applied Mathematics, Hindawi, vol. 2013, pages 1-10, April.
    2. Ning Zhou & Jinzhao Wu & Xinyan Gao, 2013. "Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches," Journal of Applied Mathematics, John Wiley & Sons, vol. 2013(1).
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.

      More about this item

      Statistics

      Access and download statistics

      Corrections

      All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:wly:jnljam:v:2014:y:2014:i:1:n:194574. See general information about how to correct material in RePEc.

      If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

      If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

      If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

      For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Wiley Content Delivery (email available below). General contact details of provider: https://onlinelibrary.wiley.com/journal/4185 .

      Please note that corrections may take a couple of weeks to filter through the various RePEc services.

      IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.