Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.

Ning Zhou Xinyan Gao Jinzhao Wu Jianchao Wei Dakui Li

Published in: J. Appl. Math. (2014)

Keyphrases

knowledge base
solution quality
case study
optimal solution
databases
neural network
computer vision
decision trees
search algorithm
artificial neural networks
optimization method
linear equations
formal verification
highly successful