US7283945B2 - High Level Verification of Software and Hardware Descriptions by Symbolic Simulation Using Assume-Guarantee Relationships with Linear Arithmetic Assumptions