Journals
Publish with us
Publishing partnerships
About us
Blog
Journal of Applied Mathematics
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Journal of Applied Mathematics
/
2014
/
Article
/
Tab 4
/
Research Article
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Table 4
Polynomial forms.
Name
Precondition
Expected consequent
JCPA
ā
cycle 1
cycle 2
cycle 3
JCP1
}
JCP2
}
JCP3
}