Method and system for verification
AssigneeMarvell International Ltd.
InventorsFei Wu, Hugh Walsh
Life of this patent
Estimating the term…
Abstract
Aspects of the disclosure provide a method. The method includes receiving a first processed transaction unit output from an egress port of a first design of a switching device. The first processed transaction unit corresponds to a transaction unit that enters the first design by an ingress port. The method further includes extracting a property in the first processed transaction unit, determining the ingress port based on stored property-ingress port association information, identifying a memory element configured to store processed transaction units output from a second design of the switching device based on the ingress port and the egress port, and comparing the first processed transaction unit with a second processed transaction unit from the memory element.
Claims18
A method, comprising:
- detecting a transaction unit that enters through an ingress port of a plurality of ingress ports of a first design of a switching device:
- storing a source address of the transaction unit in association with the ingress port:
- receiving a first processed transaction unit output from an egress port of a plurality of egress ports of the first design that are not the ingress ports, the first processed transaction unit corresponding to the transaction unit;
- identifying a memory element configured to store processed transaction units output from a second design of the switching device based on the ingress port and the egress port;
- and
- comparing the first processed transaction unit with a second processed transaction unit from the memory element.
A system, comprising:
- a first interface to a first design of a switching device to receive first processed transaction units output from egress ports of a plurality of egress ports of the first design that are not ingress ports of the first design, the first processed transaction units corresponding to transaction units provided to the first design and a second design of the switching device;
- a second interface to the second design of the switching device to store second processed transaction units output from the second design with an indication of respective ingress ports and egress ports;
- a third interface configured to detect a transaction unit that enters through an ingress port of the ingress ports of the first design, and store a source address of transaction unit in association with the ingress port;
- and
- a controller configured to match a first processed transaction unit from the first interface with a second processed transaction unit from the second interface based on the stored source address in association with the ingress port in the third interface.
Dependencies are inferred from the claim text.