PROVIDING DESIGN TESTING SERVICES

Brand	Owner	Address	Description
PRETIUM EDGE	CORNING OPTICAL COMMUNICATIONS BRANDS, INC.	Suite 278-B 103 Foulk Road Wilmington DE 19803	providing design and testing services in the field of installation and maintenance of an optical fiber network;
	Where the owner name is not linked, that owner no longer owns the brand

Technical Examples

A method and computer program for testing a design of a circuit comprises providing a model of the design; providing a first property for the design, wherein the first property describes a first behavior; checking the model using the first property and an environment of the design at a reset state until an example of the first behavior occurs; providing a second property for the design, wherein the second property describes a second behavior; and checking the model using the second property and an environment of the design at a state when the example of the first behavior occurs.