摘要:
A method of waiving verification failures is disclosed. The method generally includes the steps of (A) generating a plurality of circuit error files by performing a plurality of physical verifications on a plurality of circuit designs, the circuit error files containing a plurality of circuit errors of the circuit designs, (B) generating a system error file by performing an additional physical verification on a system design, the system error file containing a plurality of system errors of the system design, the system design incorporating the circuit designs, (C) generating a valid error file by removing the circuit errors from the system error file, the valid error file containing a plurality of valid errors comprising a subset of the system errors and (D) storing the valid error file in a recording medium.
摘要:
Image transfer media and methods of transferring images are provided. The image transfer media comprise a sheet having a nonporous micro-embossed surface topography comprising cavities on one major surface of the sheet and an ink release coating on the embossed surface, wherein said major surface has a surface energy of about 43 dyne/centimeter or less. A method of transferring an image to a substrate comprises the steps of (a) printing a selected image onto an imaging surface of an image transfer medium of the invention; (b) contacting the imaged micro-embossed surface with the substrate using pressure; and (c) removing the micro-embossed surface of the image transfer medium from the substrate.
摘要:
A method of waiving verification failures is disclosed. The method generally includes the steps of (A) generating a plurality of circuit error files by performing a plurality of physical verifications on a plurality of circuit designs, the circuit error files containing a plurality of circuit errors of the circuit designs, (B) generating a system error file by performing an additional physical verification on a system design, the system error file containing a plurality of system errors of the system design, the system design incorporating the circuit designs and (C) generating a valid error file by removing the circuit errors from the system error file, the valid error file containing a plurality of valid errors comprising a subset of the system errors.
摘要:
A method and computer program product for early physical design validation and identification of texted metal short circuits in an integrated circuit design includes steps of: (a) receiving as input a representation of an integrated circuit design; (b) receiving as input a physical design rule deck that specifies rule checks to be performed on the integrated circuit design; (c) generating a specific rule deck from the physical design rule deck wherein the specific rule deck includes only physical design rules that are specific to one of identifying texted metal short circuits in the integrated circuit design and power distribution and input/output cell placement in the integrated circuit design; and (d) performing a physical design validation on the integrated circuit design from the specific rule deck.
摘要:
Disclosed are inhibitors of retroviral growth of formula (I), that are useful in treatment of retroviral infections such as HIV. Also disclosed are a composition comprising a pharmaceutically acceptable carrier and at least one compound or salt of the invention, a method for inactivating a virus, a method for dissociating a metal ion from a zinc finger-containing protein, and a method for inhibiting the transmission of a virus.
摘要:
A high temperature ball valve seal is disclosed that achieves Class IV shutoff for operating temperatures above 550 degrees F. The ball valve seal includes a C-seal positioned between a main seal and a seal housing to prevent fluid from flowing through a secondary flowpath when the ball valve is in a closed position.