Cisco Technology, Inc.

Lsi Logic Corporation

Himanshu Jain

Atri Indiresan

Charles C Stearns

Aniket Ghule

Mariam Zaim

Semantic checking of multi-device and protocol configurations based on an extensible rules database for a variety of devices and operating systems may be provided. First, a configuration may be received. Then parent-child hierarchical relationships in the configuration may be determined. Next, a set of rules may be applied to the configuration based upon the determined parent-child hierarchical relationships. A report of errors found and corrective suggestions may then be produced in response to applying the set of rules.

Multi platform static semantic consistency checking of network configurations

A novel technique for improving the accuracy of seed values for iterative convergent computations such as square-root taking and division by providing optional dynamic range expansion as a part of the seed selection process is described. The technique, by improving seed accuracy, reduces the number of iterations required for convergence. This is accomplished with less hardware than would be required to accomplish the same result with a large ROM.

Growing community of inventors

San Jose, CA, United States of America

Himanshu Jain