1. A computer-implemented timing verification method for deterministic and stochastic networks and circuits, comprising the steps of:
forming a directed acyclic graph representing portions of an electronic digital circuit having circuit elements comprised of sources and sinks, the graph having a first plurality of corresponding source and sink vertices connected by a second plurality of edges thereby creating paths which can be traversed along the directed acyclic graph;
formulating a base case using valued sums of products algebra (VSOP), the base case representing a last circuit loop which takes a union of all paths ending at the sinks;
inductively building from the base case a path database in a topological order of the circuit elements from vertices representing the source circuit elements;
performing path queries on all paths using the VSOP algebra;
wherein the path queries return a path delay timing cost for all of the electronic digital circuit; and
displaying a record verifying whether the path delay timing cost is within a margin of a specified timing performance requirement of the electronic digital circuit.
2. The computer-implemented timing verification method for deterministic and stochastic networks and circuits according to claim 1, further comprising the step of computing a sum of the kth powers of path delays, wherein the coefficient of a path is the kth power of its delay.
3. The computer-implemented timing verification method for deterministic and stochastic networks and circuits according to claim 1, further comprising the steps of:
joining all partial paths on a complete cut node sequence; and
updating a set of top K paths.
4. The computer-implemented timing verification method for deterministic and stochastic networks and circuits according to claim 3, further comprising the step of computing a coverage metric based on said set of top K paths, said coverage metric being characterized by the relation:
Coverage
\u2265
l
=
Detected
\u2062
\u2062
paths
\u2265
l
Totalpaths
\u2265
l
.
5. The computer-implemented timing verification method for deterministic and stochastic networks and circuits according to claim 4, further comprising the step of computing a statistical frequency figure for a sequence of said vertices, wherein said statistical frequency figure of any given vertex of said vertices is equal to a number of incoming paths to said vertex times a number of outgoing paths from said vertex, thereby yielding a computation representing the number of paths between said vertex and all of its dependent vertices.
6. The computer-implemented timing verification method for deterministic and stochastic networks and circuits according to claim 5, further comprising the step of recursively calculating said sum of the kth powers of path delays computation.
7. The computer-implemented timing verification method for deterministic and stochastic networks and circuits according to claim 6, further comprising the steps of:
when delays of said components in said circuit are given in terms of statistical parameters, receiving expected component delays and covariances between said components in said circuit as input; and
computing two sets of path delay databases therefrom, set two sets of path delay databases being comprised of paths along with their expected delays and said same paths along with their delay variances.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A method for applying plastic coats on soil comprising; a) smoothing and saturating the soil surface, b) coating the said soil with plastic coats by spraying an appropriate polymer formulation for forming said plastic coats on said soil by use of spraying means, wherein the polymer formulation is applied in at least two coats, first a basic coat consisting a diluted formulation of the polymer and successively at least one other coat consisting up to 40% polymer.
2. A method for applying plastic coats on soil according to claim 1 wherein smoothing the soil surface is achieved by rotavating and rolling of the soil.
3. A method for applying plastic coats on soil according to claim 1 wherein saturating the soil is by irrigating the soil until free water accumulates on the soil surface.
4. A method for applying plastic coats on soil according to claim 1 wherein the spray formulation consists of one or more polymers, appropriate for forming plastic coats, by spraying.
5. A method for applying plastic coats on soil according to claim 1 wherein the spray formulation consists of one or more polymers, appropriate for forming plastic coats, by spraying, with the addition of IR ingredients and an appropriate color dye.
6. A method for applying plastic coats on soil according to claim 1 wherein the polymer formulation is applied in two coats of spray; first a primer coat comprising a diluted polymer dispersion with addition of IR ingredients consisting of up to 8% polymer and a second main coat comprising a dispersion consisting of up to 40% polymer.
7. A spray formulation according to claim 4 wherein the polymer formulation for the spraying is selected from one or more of the following materials; polyixprene, polyvinylacetate, poly vinylpyrolidone, SBR, styrene-acryl copolymer and styrene-butadiene copolymer.
8. A method for applying plastic coats on soil according to claim 1 wherein the spraying means are comprised of a sprayer unit consisting of a boom whose spraying lines are mounted with flat fan nozzles placed at short distances apart.
9. A method for applying plastic coats on soil according to claim 1 wherein the application of the two coats is by applying the spray in two passes or in a single pass using spraying means as defined in claim 8 having a dual or triple tank and boom system, each tank having its own boom, wherein one tank is used for the primer coat, one tank is used for the main coat and one tank is used for rinsing the sprayer.
10. Spraying means for use in the method as defined in claims 1 and 8 wherein the sprayer unit comprises a boom with two spraying lines, the main line is mounted with flat fan nozzles placed at short distances apart having a wide or narrow angle pattern and the second spraying line being mounted with flat fan nozzles having a narrow angle pattern.
11. A method for applying plastic coats on soil according to claim 1 and 10 wherein the nozzles mounted on the main unit boom are placed at a distance of 25 cm or less from each other.
12. A method for applying plastic coats on soil according to claim 1 and 10 wherein on the main boom the angle of the flat fan nozzles is about 65-110 and the angle of the second boom flat fan nozzle is about 50-80both with the capacity of about 1-2 lmin.
13. A sprayer according to claim 8 wherein the sprayer may consist of one or more pumps.
14. A method as substantially hereinafter described and illustrated.
15. Spraying means substantially hereinafter described and illustrated.