Abstract: Aspects of the invention include methods, systems, and computer program products for integrated circuit development using cross-hierarchy antenna condition verification. A method includes obtaining a design of a hierarchical macro distributed between multiple files for an integrated circuit and analyzing, by a design verification tool, a route between at least one child macro and at least one pin of the hierarchical macro as defined in the files. The method further includes determining, by the design verification tool, a plurality of connection characteristics of the at least one child macro and the at least one pin forming the route and calculating, by the design verification tool, an antenna condition for the route based on the connection characteristics. The design of the hierarchical macro is adjusted to remove a violation of an antenna rule based on determining that the antenna condition of the route violates the antenna rule.

Abstract: Stabilized bacteria and bacterial formulations which can survive long term storage at high temperature are described. Bacteria are dried until they reach a dormant state. Oxygen is then removed from the environment surrounding the bacteria to prevent oxidative damage to the dormant cells. The bacteria is packaged and stored in material impermeable to gas and water vapor until such time as it is ready for use. Bacteria stored under these conditions will remain stable and efficacious for at least a year.