The width and length dimensions of p-channel and n-channel transistors used are (1000, 100) and (500, 100) µm, respectively. We run PowerMill on these 200 vectors for each circuit. For comparison, we also run PowerMill on the original vectors. Note that in this experiment we only generate 1000 vectors as the reference vector set. We have also generated a much larger set of vectors and found tha...

When a VLSI system is being developed, the designer must make sure an implementation meets all design goals, including performance goals. Here we present a set of algorithms which use the performance description language PDL to generate constraint satisfaction problems upon which the performance goals can be directly asserted. Algorithms then check these CSPs for satissability. If a CSP is sati...

15 4. The object-oriented and database fields can try to merge their capabilities to arrive at systems which can smoothly integrate the facilities for both, without prohibiting either a purely database-oriented approach or a purely object-oriented approach to the problem. We obviously prefer the fourth solution, and we believe that it is a promising direction to pursue. This presupposes, howeve...

still not enough to satisfy all the LTCs and therefore serialized operations are folded if the total execution delay of the operations controlled by the places is smaller than the lower bound for the clock period. The only two places that can be folded together, given these criteria, are P 5 and P 6. Folding these two places decreases the length of all the LTCs and gives the control part in Fig...

We have implemented a software package for constructing and solving the sparse coefficient matrix linear systems arising from solving partial differential equations based on unstructured grids. The sparse symmetric complex linear system can be solved by either a precondi-tioned bi-conjugate gradient solver, or by a two-stage Cholesky factorization solver, or by a hybrid solver combining both. T...

Notice: This document has been provided by the contributing authors as a means to ensure timely dissemination of scholarity and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information wil...

At interaction point c, the environment can provide the number of a new instance of the station process. The next behavior expression consists in the new instance interleaved with the installer itself. We have presented a style of LOTOS specification based on synchronization between processes to exchange status information. This style takes full advantage of the capabilities of the control part...