source: vis_dev/vis-2.3/src/io/io.h @ 23

Last change on this file since 23 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 2.8 KB
Line 
1/**CHeaderFile*****************************************************************
2
3  FileName    [io.h]
4
5  PackageName [io]
6
7  Synopsis    [Routines for reading and writing BLIF-MV files.]
8
9  Author      [Yuji Kukimoto]
10
11  Copyright   [Copyright (c) 1994-1996 The Regents of the Univ. of California.
12  All rights reserved.
13
14  Permission is hereby granted, without written agreement and without license
15  or royalty fees, to use, copy, modify, and distribute this software and its
16  documentation for any purpose, provided that the above copyright notice and
17  the following two paragraphs appear in all copies of this software.
18
19  IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
20  DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
21  OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
22  CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23
24  THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
25  INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
26  FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS ON AN
27  "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE
28  MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.]
29
30  Revision    [$Id: io.h,v 1.8 2005/04/27 02:55:37 fabio Exp $]
31
32******************************************************************************/
33
34#ifndef _IO_VIS
35#define _IO_VIS
36
37#include "hrc.h"
38#include <setjmp.h>
39
40
41/**Enum************************************************************************
42
43  Synopsis    [Types of encodings allowed.]
44
45  Description []
46
47  SeeAlso     []
48
49******************************************************************************/
50typedef enum {
51    SIMPLE,
52    OTHER
53} Io_Encoding_Type_t;
54
55/**AutomaticStart*************************************************************/
56
57/*---------------------------------------------------------------------------*/
58/* Function prototypes                                                       */
59/*---------------------------------------------------------------------------*/
60
61EXTERN void Io_Init(void);
62EXTERN void Io_End(void);
63EXTERN Hrc_Manager_t * Io_BlifMvRead(FILE *fp, Hrc_Manager_t *hmgr, boolean isCanonical, boolean isIncremental, boolean isVerbose);
64EXTERN Hrc_Manager_t * Io_BlifRead(char *fileName, boolean isVerbose);
65EXTERN void Io_SmvPrintVar(FILE *fp, Var_Variable_t *var);
66EXTERN int Io_HnodeWriteBlif(Io_Encoding_Type_t encodingType, Hrc_Node_t *hnode, FILE *fp, FILE *encFp, int verbosity, int combinationalOnly, int makeLatchIOsPOs);
67EXTERN int Io_HnodeWriteBlifTotal(Io_Encoding_Type_t encodingType, Hrc_Node_t *hnode, FILE *fp, int verbosity);
68EXTERN void Io_SmvPrintVar(FILE *fp, Var_Variable_t *var);
69
70/**AutomaticEnd***************************************************************/
71
72#endif /* _IO_VIS */
Note: See TracBrowser for help on using the repository browser.