Lucent Technologies Inc.

Satish Chandra

Peter James McCann

Patrice Ismael Godefroid

Christopher D Palm

Steven M Welsh

A method of verifying that a CDMA code allocator maintains mutual orthogonality between all concurrently busy codes includes the steps of identifying a code being allocated by the allocator, and determining if the identified code is busy. It is also determined if any ancestral parent of the identified code is busy, and if any descendant of the identified code is busy. If the identified code, one of the identified code's ancestral parents, or one of the identified code's descendants is determined to be busy, then an error in allocator operation is indicated.

Automatic verification of Walsh code orthogonality

A system includes a compiler component that employs a declarative notation, for a description, that describes one or more fields of a network packet. The compiler component employs a declarative notation, for the description, that describes one or more constraints for at least one field of the one or more fields. The description is of a portion of the network packet. A representation based on the description is employable for recognition of the portion of the network packet at a network interface.

Growing community of inventors

Naperville, IL, United States of America

Satish Chandra