Depending on which version of Carafe was compiled for your machine, you will either have a command-line interface or an X Window interface. Both versions of Carafe are invoked the same way, using command-line flags to set parameters. The sections below apply for both interfaces of Carafe.
In order to extract the list of realistic faults, the layout of the circuit must be analyzed. The layout can be provided to Carafe in either the Calma GDS format or the Berkeley Magic file format. Only rectilinear circuits can be analyzed by Carafe; circuits with non-rectilinear geometries are approximated by a series of rectangles if read using the Calma file format. Carafe will accept hierarchical designs, but they will be flattened to a single level of hierarchy before the fault extraction takes place. A description of the Magic file format that Carafe can read is given in Appendix I.
The graphical version of Carafe requires two additional files, a .dstyle file and a .cmap file. These two files describe how the layers of material are to be drawn on the screen. See the Environment Variables section of the Installing Carafe chapter for information on setting the variables CARAFE_DSTYLE and CARAFE_COLORMAP.