Patent ID: 7509604
Filing Date: 2009-03-24
Classification: G06F

Abstract:
1. A method for formally comparing a first and second stream-based designs, comprising: coupling a first input of the first stream-based design and a first input of the second stream-based design with a first combining structure to permit the first input to the first stream-based design to accept input data at each time it is ready; coupling the first input of the first stream-based design and the first input of the second stream-based design with the first combining structure to provide the first input of the second stream-based design with each datum accepted by the first input of the first stream-based design and with no other data; coupling the first stream-based design and the second stream-based design with the first combining structure to suspend a clock input of the first stream-based design if the second stream-based design cannot accept a datum for input when the input datum is provided to it; coupling a first output of the first stream-based design and a first output of the second stream-based design with the first combining structure to permit a first datum of the first output of the first stream-based design and a second datum of the first output of the second stream-based design to be compared when the first and second datum are not produced at a same time; and applying a first formal verification process to the first and second stream-based designs.