next up previous contents
Next: Revision History Up: Hemlock Previous: Inputs

Outputs

Hemlock outputs some additional files besides the ones that Carafe outputs. The new files have extensions of .bridger, .ccshort, .gateBreaks, .gateBridge, and .tdl. Please refer to Appendix B, Appendix C, Appendix E, Appendix F, and Appendix M for information on these file formats. These files are used by test pattern generators like Nemesis for Automatic Test Pattern Generation (ATPG) [Lar90] [TL92].



David Dahle Wed Jan 24 11:51:06 PST 1996