Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Zhou, Ning, Gao, Xinyan, Wu, Jinzhao, Wei, Jianchao, Li, DakuiVolume:
2014
Year:
2014
Language:
english
Journal:
Journal of Applied Mathematics
DOI:
10.1155/2014/194574
File:
PDF, 469 KB
english, 2014