FORMAL VERIFICATION

Brand	Owner	Address	Description
PRECOGNITIVE FORMAL VERIFICATION	JASPER DESIGN AUTOMATION, INC.	100 View Street, Suite 101 Mountain View CA 94041	formal verification;Technical consultation, design for others, development, engineering, and scientific and technical research services in the field of integrated circuit technology;
	Where the owner name is not linked, that owner no longer owns the brand

Technical Examples

A method and apparatus provides a mechanism to transform or "morph" Formal verification method assertions so that an assertion defined in one Design Under Test (DUT) can be replicated, or derived, to propagate into other related DUTs. Using the method and apparatus of the present invention, individual DUTs can better leverage assertions defined independently in other DUT environments. This, in turn, provides for greater productivity and a faster, smoother verification process-using Formal and Assertion Based Verification methods.