Showing 1 - 5 results of 5 for search 'Jinzhao Wu', 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
    A Latent Implementation Error Detection Method for Software Validation

    A Latent Implementation Error Detection Method for Software Validation by Jiantao Zhou, Jing Liu, Jinzhao Wu, Guodong Zhong

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Automata-Based Analysis of Stage Suspended Boom Systems

    Automata-Based Analysis of Stage Suspended Boom Systems by Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    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: