Showing 1 - 2 results of 2 for search 'Dakui Li', query time: 0.01s Refine Results
  1. 1
    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:
  2. 2
    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: