Abstract: The described techniques implement an electronic design with transistor level satisfiability models by identifying a plurality of channel connected components of an electronic design for sensitization. These techniques further determine a set of transistor level satisfiability (SAT) models for the plurality of channel connected components of the electronic design and transform the plurality of channel connected components into a set of conjunctive normal form (CNF) formulae using at least the set of transistor level SAT models. The plurality of channel connected components of the electronic design may be sensitized at least by determining one or more satisfying assignments with the set of CNF formulae. These techniques may also generate transistor level satisfiability (SAT) logic models and transistor level SAT state models for a circuit component based in part or in whole upon design specifications and one or more characteristics of the circuit component.

Abstract: Various embodiments scalable statistical library characterization for electronic designs by identifying an electronic design, performing circuit simulations on strongly connected components on a component-by-component basis, performing the logic cone analysis on the entire electronic design, and performing combinations of influences on the electronic design caused by variations of parameters. Some embodiments perform simulations on one or more stronger parameters or the strongest parameter of a circuit component and use the simulation results to calibrate the predicted behaviors of one or more remaining circuit components of the electronic design. Various statistical or mathematical techniques may be used for performing the combinations of influences on the electronic design caused by variations of parameters. The techniques described are scalable with the increase in complexities and sizes of electronic designs while reducing or minimizing the impact on sensitivity accuracy.

Abstract: A method for making an artificial rattan web, includes: (a) providing a guiding body having a curved surface, and a threading block that is disposed downstream of the guiding body and that is formed with a rattan hole and a thread hole; (b) passing an artificial rattan strip and a thread through the guiding body, and respectively through the rattan hole and the thread hole in the threading block; (c) weaving the artificial rattan strip and the thread; and (d) fusing together the artificial rattan strip and the thread at intersections thereof.

Abstract: A method to analyze and correct dynamic power grid variations in an IC includes performing a dynamic power grid analysis of the circuit, identifying an excessive dynamic power grid voltage fluctuation from the analysis, and modifying the circuit to reduce the excessive dynamic power grid fluctuation.

Abstract: A method for making an artificial rattan web, includes: (a) providing a guiding body having a curved surface, and a threading block that is disposed downstream of the guiding body and that is formed with a rattan hole and a thread hole; (b) passing an artificial rattan strip and a thread through the guiding body, and respectively through the rattan hole and the thread hole in the threading block; (c) weaving the artificial rattan strip and the thread; and (d) fusing together the artificial rattan strip and the thread at intersections thereof.

Abstract: A method for analyzing a circuit design identifies a possible noise fault for a timing interval based on a timing analysis of a victim net and at least one aggressor net of the circuit design and determines whether the noise fault is feasible based on a behavioral representation of the victim net and the aggressor net for the timing interval.

Abstract: A method of delay change determination in an integrated circuit design including a stage with a victim net and one or more aggressor nets capacitively coupled thereto, the method comprising: determining a nominal (noiseless) victim net signal transition; determining a noisy victim net signal transition; and determining a delay change based upon nominal and noisy victim signal transition arrival times at a victim net receiver output.

Abstract: A method for making a pile fabric includes the steps of: preparing a polypropylene melt containing a softener; spinning the polypropylene melt into filaments; cutting the filaments into staple fibers; forming tufted yarns by braiding or twisting the staple fibers with polypropylene backbone yarns each having at least two braided or twisted polypropylene strands, the staple fibers projecting outwardly from the polypropylene backbone yarns; and interlacing the tufted yarns with non-tufted polypropylene yarns.

Abstract: A mat includes a fabric body and an anti-slip member. The fabric body has top and bottom faces and a plurality of interwoven weft and warp strings. The anti-slip member has a plurality of spaced apart anti-slip string lines interlaced with the fabric body and lying over a bottom surface of the fabric body.

Abstract: A coated and colored yarn includes a core and a transparent protective layer. The core has an outer surface, and includes at least one yarn which is colored. The transparent protective layer is coated on the outer surface of the core. The yarn may include a plurality of false-twisted fibers which are made of a plastic material.

Abstract: The present invention relates to environmentally sensitive organic binders stabilized by maleic anhydride and its derivatives. The unstabilized binders can rapidly hydrolyze and thicken when exposed to the environment, and especially to moisture. Maleic anhydride and its derivatives act to stabilize these binders. The stabilized organic binders of the invention are especially useful for forming marine antifoulant coatings.

Abstract: The present invention relates to triorgano phosphites, triorgano amines, heteroaromatic nitrogen compounds, and carbodiimides used as stabilizers for hydrolyzable organic binders. The stabilizers help to prevent viscosity thickening of polymeric binders containing carboxylic ester groups. Without stabilization, the binders can rapidly thicken when exposed to moisture air. The stabilized organic binders of the invention are especially useful for formulating marine antifoulant coatings.

Abstract: Static noise analysis simulates crosstalk functional noise by estimating a crosstalk functional noise window and by calculating the propagation of the noise window through a network. For example, the analysis can include simulations of injecting a noise window onto a network, propagating the noise window through the network until it reaches a register, and comparing the noise window with a register's sensitive window. The noise window for the net is calculated based on a duration of time in which noise glitches caused by capacitive coupling to aggressor nets can occur. The noise window is propagated through the net in a forward direction until the noise is attenuated or reaches a register's input. At the register's input, a sensitive window can filter the noise window so that only the portion of the noise window that coincides with the register's clock trigger time is considered in the noise analysis.

Abstract: A composition including a mixture of UV curable urethane acrylate and a urethane diacrylate compounds provides an aqueous alkaline developable, flexible solder mask having excellent electrical insulation resistance under hydrolytic testing conditions at elevated temperatures.