Abstract: A method and a system for building static models for transistor circuit design is described. This method includes performing an automatic timing model construction several times on certain problem CCCs, with different, typically incompatible sets of user-selected local information for each call. Each of the sets of local information is considered a mode of operation of the circuit, each generating a timing model for the mode of operation. The resulting set of timing models are placed in parallel in the overall timing graph for the digital design as a whole, which has the effect of making the timing analysis choose the most conservative numbers from across the set of parallel models.

Abstract: A pressure washer is powered by a prime mover, e.g., an electric motor or an internal combustion engine, and has a flow control valve. The valve has a housing containing a piston assembly and the assembly has a mechanism coupled to it for controlling prime mover power. The piston assembly includes a first piston sealing against the housing and dividing the housing interior into two chambers. Such first piston is spring-biased to a first position during periods when no output flow is being demanded from the washer. The assembly also has a second piston spring-biased to seal against the first piston during periods of no flow. When flow is demanded by opening the nozzle, the pressure in the second chamber diminishes. And when the difference between the pressure in the second chamber and that in the first chamber exceeds a predetermined value, the assembly shifts to a second position, causing the mechanism to actuate the prime mover.