DAToolsGlossary.tioga
Bland, March 11, 1988 11:41:33 am PST
atomic wire
a single wire (as opposed to a group of wires)
basic CellTypes
describes CellTypes used in the Core data structure whose CellClass does not provide a Recast Proc to express the decomposition of the CellType into a simpler, logically equivalent manner. There is exactly one CellClass that could provide a Recast Proc to express its decomposition in a simpler, logically equivalent form but does not do so. This is the RecordCellClass. The other CellTypes whose CellClasses do not provide a Recast Proc are either atomic, for example the transistor CellType, or have an undefined decomposition.
butting contact
a technique used to conserve area on a chip by coalescing the contacts between layers
buried
contact
connection between the poly and diffusion layers of a chip made to avoid creating a transistor
cascode switch style
a switch in which some analog tricks are used to keep the electrical potential at 2.5 volts (rather than at 0 volts) so that the amount of current needed to get to 5 volts is less
channel
a rectangular routing region with terminals along its edges. Horizontal channels have terminals along their top and bottom edges. Vertical channels have terminals along their right and left edges. The objective of channel routing is to electrically connect all the nets using a minimum width channel.
check plot
large printout of the mask-level description of an integrated circuit
CIF
Caltech Intermediate Form, a standard machine readable form for representing integrated system layouts
compactor
a compiler that takes a description of the topology of a cell and creates a mask to be used as a blueprint in fabricating the circuit. Because the compiler tries to create as compact a mask as possible, it is known as a compactor.
components
circuit primitives to be used in creating integrated circuits
conform
Conform as used in the DATools documentation and interfaces describes a function to map public to actual wires such that every actual has some public that corresponds to it and furthermore, for every actual subwire its number of children is the same as the number of children of the corresponding public subwire.
Here is a formal definition:
Conform(a, p)
{
f: p*
b a* such that
f(p)=a
'