G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 11/26 (2006.01) G06F 11/36 (2006.01) G06F 17/50 (2006.01)
Patent
CA 2251244
A method and apparatus that employs static partial order reduction and symbolic verification allow the design of a system that includes both hardware and software to be verified. The system is specified in a hardware-centric language and a software-centric language, as appropriate, and properties are verified one at a time. Each property is identified whether it is hardware-centric or software-centric. A hardware-centric property that contains little software is does not employ the static partial order reduction. Software-centric properties, and hardware-centric properties that have substantial amounts of software do employ the static partial order reduction. Following partial order reduction, the software-centric language specifications are converted to synchronous form and combined with the hardware-centric specifications. The combined specification is applied to a symbolic verification tool, such as COSPAN, and the results are displayed.
Kurshan Robert Paul
Levin Vladimir
Minea Marius
Peled Doron A.
Yenigun Husnu
Kirby Eades Gale Baker
Lucent Technologies Inc.
LandOfFree
Verifying hardware in its software context and vice-versa does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Verifying hardware in its software context and vice-versa, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verifying hardware in its software context and vice-versa will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1606743