Abstract: A logical and topological based software method of detecting level shifter circuits in complex integrated circuit designs. The method, which identifies level shifters by various design rules such as suitably connected PFET and NFET pairs in various circuit contexts, rather than prior art simulation methods, can identify and mark various devices and circuits as being part of a level shifter, and also place the identified level shifters within the context of the integrated circuit chip's various power domains. In some embodiments, the method, working with little or no a-priori information other than the integrated circuit's netlist computer file, can automatically trace power and signal lines, automatically determine power domains, and automatically flag when signal lines between different power domains are not adequately protected by level shifters.

Abstract: Systems and methods for deriving a net equation representing a net state of an analog circuit net, wherein the net equation is derived from at least one other net state, determining a truthfulness of the net equation, reporting the truthfulness.

Abstract: An electrical connector includes a generally U-shaped connector housing, which has two parallel side walls. Each of the side walls is formed with an integral projection, which engages a notch in a circuit board that is inserted into the connector. Two unitary reinforcing members are secured to the side walls, respectively. Each of the unitary reinforcing members has an elongated abutment plate overlying a respective one of the side walls to reinforce the side walls, two contact portions and a stop element, which is located between the contact portions. When inserted into or disengaged from the connector, the circuit board slides over the projections of the side walls, thereby permitting flexing of the side walls and movement of the stop element relative to the contact portions. Upon contact of the stop element with either of the contact portions, the side walls cannot continue to flex. Accordingly, excessive flexure and breakage of the side walls can be prevented.