Iñigo Ugarte, Pablo Sanchez. Assertion Checking of Behavioral Descriptions with Non-linear Solver. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 229-231, IEEE Computer Society, 2005. [doi]
Abstract is missing.