Computer software for checking the consistency and correctness of constraints that govern the design and operation of analog/mixed-signal circuitry