Open Artwork System Interchange Standard (OASIS[3]) is a binary file format used for specification of data structures for photomask production.[4] It's used to represent a pattern an interchange and encapsulation format for hierarchical integrated circuit mask layout information produced during integrated circuit design that is further used for manufacturing of a photomask. The standard is developed by SEMI.[2][1] The language defines the code required for geometric shapes such as rectangles, trapezoids, and polygons. It defines the type of properties each can have, how they can be organized into cells containing patterns made by these shapes and defines how each can be placed relative to each other. It is similar to GDSII.
OASIS is the purported commercial successor to the integrated circuit design and manufacturing electronic pattern layout language, GDSII.
GDSII was created in the 1970s when integrated circuit designs had a few hundred thousand geometric shapes, properties and placements to manage. Today, there can be billions of shapes, properties, and placements to manage. File sizes of GDSII format often takes tens of gigabytes of storage and are difficult to store and process.[6] OASIS creators and users claimed that the growth of workstations' data storage and handling capabilities was far outpaced by the growth of Integrated Circuit layout complexity.[7] Therefore, OASIS tries to solve the purported problem of the large size of the GDSII files by introducing complicated types of the geometric shapes (25 types of trapezoids only) to reduce the data size. Also, variable-length numeric format (similar to Run-length encoding) for coordinates was implemented. Finally, each cell in the OASIS file can be independently compressed by the gzip-like algorithm.
The effort to create the OASIS format started in June 2001. The release of version 1.0 took place in March 2004. Its use required the development of new OASIS readers and writers that could be coupled to design and manufacturing equipment already equipped with GDSII readers and writers. Its adoption was born of a concerted effort by integrated circuit design, equipment, photomask, fabless, 3rd party Intellectual Property (IP) and manufacturing companies from the United States, Japan, Taiwan, Korea and Europe.
A constrained version of OASIS, called OASIS.MASK, addresses the unique needs of semiconductor photomask manufacturing equipment such as pattern generators and inspection systems. Both OASIS and OASIS.MASK are industry standards.
This view is called a cell view. A cell can be a collection of placed geometric shapes. It also can be a collection of cells; each containing other cells and/or geometric shapes. Each cell must have at least one layer. In this view, each color represents a different layer within the cell. An integrated circuit can contain tens of thousands of unique cells and repeated instances of the same cell.
Below is a human-readable text representation of the OASIS binary file that allowed the expression of the above "top" cell view called "Placed_shapes_and_cells_within_an_IC_cell". The top cell is defined by a file-level standard PROPERTY record named S_TOP_CELL. The PROPERTY record below references a PROPNAME record (refNum=0) that has a propname-string called S_TOP_CELL. The top cell contains the placement of three cells called "bottom cells". Bottom cells contain geometric shapes only.
Each line of the OASIS representation below contains (from the left) a record number and a record type followed by a set of values that define that record type. For instance, the first RECTANGLE record below defines the following type of rectangle shape, its size and its absolute location:
Layer
Datatype
Width
Height
Lower-left x-coordinate
Lower-left y-coordinate
Absent in this RECTANGLE record is an option to describe the locations of repeated instances of the rectangle. Also, this record type allows the description of a square by defining the value for the width only. To enable these descriptions, one must set what is referred to as the bit pattern for the RECTANGLE record. For a RECTANGLE record, the bit pattern (either a 1 (enabled) or a 0 (disabled)) is:
For this RECTANGLE record, the bit pattern is set to 0WHXY0DL (Not a square,Width,Height,X-coordinate,Y-coordinate,Not repetitive,Datatype,Layer-number). The first and second RECTANGLE records in cell "Cell_Placed_Shapes_2" (CELL refNum=1)" define repeated instances of a rectangle. The first RECTANGLE record (SW0XYRDL) uses a type 10 repetition (rep=rep10). The second RECTANGLE record (0WHXYR0L) uses a type 11 repetition (rep=Rep11). There are a total of eleven repetition types (Rep1-Rep11). In the second RECTANGLE record bit pattern, the datatype(D) was set to '0' because the same datatype used in the first RECTANGLE record applies to the second RECTANGLE record. Other OASIS-supported geometric shapes having the record types POLYGON, TRAPEZOID, CTRAPEZOID, CIRCLE and PATH are defined by different bit patterns.
According to the CELLNAME records below, the bottom cells have the following cellname-strings "Cell_Placed_Shapes_1, . . . _2 and . . . _3". Each layer-number that had been assigned to a geometric shape has an association with a LAYERNAME record that defines a layer-interval and a layername-string. In this view, the layername-string, "Layer_Color_Mapping", defines the layer intervals used in a layer color table "layercolormap.data".
The example below was not meant to be an exhaustive description of the OASIS language. The objective was to give the interested reader a general understanding of the scope of the OASIS language and how it applies to the representation and the expression of the electronic layout patterns that define an integrated circuit.
OASIS and OASIS.MASK are now formal industry standards. Both are owned and maintained by the trade and standards organization SEMI. SEMI serves the semiconductor materials and equipment industries worldwide.
The fee-based specifications for SEMI P39 OASIS and SEMI P44 OASIS.MASK can be downloaded from SEMI's web-site.
The aspect ratio of a geometric shape is the ratio of its sizes in different dimensions. For example, the aspect ratio of a rectangle is the ratio of its longer side to its shorter side—the ratio of width to height, when the rectangle is oriented as a "landscape".
Area is the measure of a region's size on a surface. The area of a plane region or plane area refers to the area of a shape or planar lamina, while surface area refers to the area of an open surface or the boundary of a three-dimensional object. Area can be understood as the amount of material with a given thickness that would be necessary to fashion a model of the shape, or the amount of paint necessary to cover the surface with a single coat. It is the two-dimensional analogue of the length of a curve or the volume of a solid . Two different regions may have the same area ; by synecdoche, "area" sometimes is used to refer to the region, as in a "polygonal area".
Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers.
In software engineering, the delegation pattern is an object-oriented design pattern that allows object composition to achieve the same code reuse as inheritance.
In mathematics, a Riemann sum is a certain kind of approximation of an integral by a finite sum. It is named after nineteenth century German mathematician Bernhard Riemann. One very common application is in numerical integration, i.e., approximating the area of functions or lines on a graph, where it is also known as the rectangle rule. It can also be applied for approximating the length of curves and other approximations.
In knowledge representation and ontology components, including for object-oriented programming and design, is-a is a subsumptive relationship between abstractions, wherein one class A is a subclass of another class B . In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object that satisfies A's specification also satisfies B's specification, because B's specification is weaker.
In computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, sum type, or coproduct, is a data structure used to hold a value that could take on several different, but fixed, types. Only one of the types can be in use at any one time, and a tag field explicitly indicates which type is in use. It can be thought of as a type that has several "cases", each of which should be handled correctly when that type is manipulated. This is critical in defining recursive datatypes, in which some component of a value may have the same type as that value, for example in defining a type for representing trees, where it is necessary to distinguish multi-node subtrees and leaves. Like ordinary unions, tagged unions can save storage by overlapping storage areas for each type, since only one is in use at a time.
In computer science, a union is a value that may have any of multiple representations or formats within the same area of memory; that consists of a variable that may hold such a data structure. Some programming languages support a union type for such a data type. In other words, a union type specifies the permitted types that may be stored in its instances, e.g., float and integer. In contrast with a record, which could be defined to contain both a float and an integer; a union would hold only one at a time.
A photomask is an opaque plate with transparent areas that allow light to shine through in a defined pattern. Photomasks are commonly used in photolithography for the production of integrated circuits to produce a pattern on a thin wafer of material. In semiconductor manufacturing, a mask is sometimes called a reticle.
GDSII stream format (GDSII), is a binary database file format which is the de facto industry standard for Electronic Design Automation data exchange of integrated circuit or IC layout artwork. It is a binary file format representing planar geometric shapes, text labels, and other information about the layout in hierarchical form. The data can be used to reconstruct all or part of the artwork to be used in sharing layouts, transferring artwork between different tools, or creating photomasks.
Electron-beam lithography is the practice of scanning a focused beam of electrons to draw custom shapes on a surface covered with an electron-sensitive film called a resist (exposing). The electron beam changes the solubility of the resist, enabling selective removal of either the exposed or non-exposed regions of the resist by immersing it in a solvent (developing). The purpose, as with photolithography, is to create very small structures in the resist that can subsequently be transferred to the substrate material, often by etching.
Mask data preparation (MDP), also known as layout post processing, is the procedure of translating a file containing the intended set of polygons from an integrated circuit layout into set of instructions that a photomask writer can use to generate a physical mask. Typically, amendments and additions to the chip layout are performed in order to convert the physical layout into data for mask production.
Caltech Intermediate Form (CIF) is a file format for describing integrated circuits. CIF provides a limited set of graphics primitives that are useful for describing the two-dimensional shapes on the different layers of a chip. The format allows hierarchical description, which makes the representation concise. In addition, it is a terse but human-readable text format.
The Lorenz system is a system of ordinary differential equations first studied by mathematician and meteorologist Edward Lorenz. It is notable for having chaotic solutions for certain parameter values and initial conditions. In particular, the Lorenz attractor is a set of chaotic solutions of the Lorenz system. The term "butterfly effect" in popular media may stem from the real-world implications of the Lorenz attractor, namely that tiny changes in initial conditions evolve to completely different trajectories. This underscores that chaotic systems can be completely deterministic and yet still be inherently impractical or even impossible to predict over longer periods of time. For example, even the small flap of a butterfly's wings could set the earth's atmosphere on a vastly different trajectory, in which for example a hurricane occurs where it otherwise would have not. The shape of the Lorenz attractor itself, when plotted in phase space, may also be seen to resemble a butterfly.
In geometry, a domino tiling of a region in the Euclidean plane is a tessellation of the region by dominoes, shapes formed by the union of two unit squares meeting edge-to-edge. Equivalently, it is a perfect matching in the grid graph formed by placing a vertex at the center of each square of the region and connecting two vertices when they correspond to adjacent squares.
In mathematics, the Schröder number also called a large Schröder number or big Schröder number, describes the number of lattice paths from the southwest corner of an grid to the northeast corner using only single steps north, northeast, or east, that do not rise above the SW–NE diagonal.
In geometry, Cavalieri's principle, a modern implementation of the method of indivisibles, named after Bonaventura Cavalieri, is as follows:
QML is a user interface markup language. It is a declarative language for designing user interface–centric applications. Inline JavaScript code handles imperative aspects. It is associated with Qt Quick, the UI creation kit originally developed by Nokia within the Qt framework. Qt Quick is used for mobile applications where touch input, fluid animations and user experience are crucial. QML is also used with Qt3D to describe a 3D scene and a "frame graph" rendering methodology. A QML document describes a hierarchical object tree. QML modules shipped with Qt include primitive graphical building blocks, modeling components, behavioral components, and more complex controls. These elements can be combined to build components ranging in complexity from simple buttons and sliders, to complete internet-enabled programs.
In computer graphics programming, hit-testing is the process of determining whether a user-controlled cursor intersects a given graphical object drawn on the screen. Hit-testing may be performed on the movement or activation of a mouse or other pointing device.
This article compares the syntax for defining and instantiating an algebraic data type (ADT), sometimes also referred to as a tagged union, in various programming languages.
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
