Showing 1 - 3 results of 3 for search 'Xinyan Gao', query time: 0.01s Refine Results
  1. 1
    Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

    Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches by Ning Zhou, Jinzhao Wu, Xinyan Gao

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

    Wu’s Characteristic Set Method for SystemVerilog Assertions Verification by Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

    Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions by Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: