Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dakui Li
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
Journal of Applied Mathematics
Applied Mathematics
Related publications
Minimum Verification Test Set for Combinational Circuit
DUT Verification Through an Efficient and Reusable Environment With Optimum Assertion and Functional Coverage in SystemVerilog
International Journal of Advanced Computer Science and Applications
Computer Science
Regulating Patent Assertions
Default Agreement With Subjective Assertions
Semantics and Linguistic Theory
Characteristic Entities in PhotoStress Method
American Journal of Mechanical Engineering
A Set Theoretical Method for Video Synopsis
Realizing Live Sequence Charts in SystemVerilog
Correspondence Assertions for Process Synchronization in Concurrent Communications
Journal of Functional Programming
Software
Using LINQ as a Universal Tool for Defining Architectural Assertions
