摘要:
A program product for use in generating test benches for verifying test structures embedded in a circuit, comprises a verification specification processor for parsing a verification specification containing test specifications for selected test structures and a test bench generator for each of one or more types of embedded test structures, each test bench generator being operable to process a test structure specification of a test structure of a corresponding test structure type and generate a test bench using data contained in said test specifications of said verification specification, data contained in said test structure specification and data contained in a test connection specification.
摘要:
A sign-off method for use in verifying of embedded test structures in a circuit design extracts a description of all embedded test structures from a circuit description to create a test connection map file, and verifies the connections of the test structures to circuit pins or nets, creates verification configuration files for use, in performing a sign-off verification of the circuit, for a circuit containing logic test structures, verifies that each logic test structure complies with logic test design rules and creates logic test vectors and a reference signature, performs a formal verification and a static timing analysis of the circuit, generates a sign-off simulation test bench for each test structure using the verification configuration files and the test connection map file, executes the test benches to simulate all test structures in the circuit; and creates manufacturing test patterns.
摘要:
An embedded test, chip design utility is an ease-of-use utility for assisting a circuit designer in quickly implementing a circuit embedded test design flow. Using the utility, a designer transforms a design netlist to include embedded test structures. The utility automatically builds a workspace containing a predetermined repository structure and design environment, generates control files for executing design automation tools that operate within the design flow, and encapsulates the data so as to be self-contained and easily transferable to other design teams.
摘要:
For the purposes of severing and separating a plurality of cup-shaped object supports (2) of plastic material, which are interconnectedly arranged on a support plate (1), use is made of a method wherein the support plate (1) is first put into a gripping device (4) and secured therein. Subsequently a severing device (5) which is displaceable in the plane of the support plate (1) is set in motion to sever the cup-shaped object supports by means of a saw blade (14). The object supports (2) fall into the respectively associated glass reagent vessels (20) by way of distributor passages (18) which lead downwardly in a truncated pyramid configuration, which reagent vessels can be pushed into position below the distributor block (17) in a container carrier (19). The method according to the invention replaces the conventional operations of severing and separating the object supports (2) by a shears.
摘要:
The present invention provides a cell culture medium formulation that supports the in vitro cultivation, particularly in suspension, of mammalian cells, particularly epithelial cells and fibroblast cells, and methods for cultivating mammalian cells in suspension in vitro using these media. The media comprise a basal medium and a polyanionic or polyanionic compound, preferably a polysulfonated or polysulfated compound, and more preferably dextran sulfate. The present invention also provides chemically defined, protein-free eukaryotic cell culture media comprising an iron chelate and zinc, which is capable of supporting the growth (and particularly the high-density growth of mammalian cells) in suspension culture, increasing the level of expression of recombinant protein in cultured cells, and/or increasing virus production in cultured cells.
摘要:
A diagnostic composition to detect antibodies in a sample obtained from an animal or human being infected by Trichinella, comprising at least one peptide containing a series of amino acids that form a continuous or discontinuous epitope recognized by sera from pigs infected with Trichinella.
摘要:
A diagnostic composition to detect antibodies in a sample obtained from an animal or human being infected by Trichinella, comprising at least one peptide containing a series of amino acids that form a continuous or discontinuous epitope recognized by sera from pigs infected with Trichinella.
摘要:
The present invention provides a cell culture medium formulation that supports the in vitro cultivation, particularly in suspension, of mammalian cells, particularly epithelial cells and fibroblast cells, and methods for cultivating mammalian cells in suspension in vitro using these media. The media comprise a basal medium and a polyanionic or polyanionic compound, preferably a polysulfonated or polysulfated compound, and more preferably dextran sulfate. The present invention also provides chemically defined, protein-free eukaryotic cell culture media comprising an iron chelate and zinc, which is capable of supporting the growth (and particularly the high-density growth of mammalian cells) in suspension culture, increasing the level of expression of recombinant protein in cultured cells, and/or increasing virus production in cultured cells.
摘要:
The present invention relates to monoclonal anti-human YKL-antibodies which are capable to modulate biological processes in which YKL-40 plays a prominent role, e.g. inhibit the growth and/or inducing apoptosis of cells, in particular cancer cells. The invention also relates to pharmaceutical compositions comprising said antibodies and uses said antibodies and/or pharmaceutical compositions for treatment of a disease wherein inhibition of cell growth, cell differentiation, remodelling of extracellular matrix, metastasis and/or induction of cell death due to apoptosis is a prerequisite for successful curing. An antibody of the invention is capable of inhibiting biological function of YKL-40 in the above mentioned processes by binding to a specific epitope on YKL-40.
摘要:
The present invention relates to monoclonal anti-human YKL-antibodies which are capable to modulate biological processes in which YKL-40 plays a prominent role, e.g. inhibit the growth and/or inducing apoptosis of cells, in particular cancer cells. The invention also relates to pharmaceutical compositions comprising said antibodies and uses said antibodies and/or pharmaceutical compositions for treatment of a disease wherein inhibition of cell growth, cell differentiation, remodelling of extracellular matrix, metastasis and/or induction of cell death due to apoptosis is a prerequisite for successful curing. An antibody of the invention is capable of inhibiting biological function of YKL-40 in the above mentioned processes by binding to a specific epitope on YKL-40.