Assertion-based Verification of Behavioral Descriptions with Non-linear Solver | IEEE Conference Publication | IEEE Xplore