US 2015/0178428 A1 · Analog Mixed Signal Model Equivalence Checking

Abstract

An approach is provided in which a hybrid mixed signal equivalence checking system partitions a mixed signal reference model and a mixed signal model under verification into analog sections and digital sections. The hybrid mixed signal equivalence checking system simulates the analog sections from the two different models to determine analog equivalence. As such, the hybrid mixed signal equivalence checking system verifies digital equivalence between the digital reference section and the digital section model under verification in response to evaluating one or more difference functions that represent at least a portion of the first digital section and the second digital section. As a result, the hybrid mixed signal equivalence checking system verifies equivalence between the mixed signal reference model and the mixed signal model under verification based upon the verified analog equivalence and the verified digital equivalence.

Claims20

Dependent claims

A method comprising:

solving, by one or more processors included in an equivalence checking system, a difference function that is based upon a first digital section included in a first mixed signal model and a second digital section included in a second mixed signal model, the solving resulting in a digital equivalence result;
determining whether the first mixed signal model is equivalent to the second mixed signal model based upon the digital equivalence result and an analog equivalence verification between a first analog section included in the first mixed signal model and a second analog section included in the second mixed signal model;
and
generating, by at least one of the one or more processors, an equivalence notification based upon the determination.

1 more element

A system comprising:

equivalence checking circuitry configured to:
solve a difference function that is based upon a first digital section included in a first mixed signal model and a second digital section included in a second mixed signal model, the solving resulting in a digital equivalence result;
determine whether the first mixed signal model is equivalent to the second mixed signal model based upon the digital equivalence result and an analog equivalence verification between a first analog section included in the first mixed signal model and a second analog section included in the second mixed signal model;
and
generate an equivalence notification based upon the determination.

2 more elements

A computer program product stored in a computer readable storage medium, comprising computer program code that, when executed by an information handling system, causes the information handling system to perform actions comprising:

solving a difference function that is based upon a first digital section included in a first mixed signal model and a second digital section included in a second mixed signal model, the solving resulting in a digital equivalence result;
determining whether the first mixed signal model is equivalent to the second mixed signal model based upon the digital equivalence result and an analog equivalence verification between a first analog section included in the first mixed signal model and a second analog section included in the second mixed signal model;
and
generating an equivalence notification based upon the determination.

1 more element

Dependencies are inferred from the claim text.

Analog Mixed Signal Model Equivalence Checking

Life of this patent

Analog Mixed Signal Model Equivalence Checking

Life of this patent

Abstract

Claims20