This commit is contained in:
parent
319b0b7c2f
commit
29df2a0b4d
|
@ -181,6 +181,13 @@ int main( argc, argv )
|
|||
|
||||
FspFsmFigure1 = FspCompile( InputFileName1, InputFormat1 );
|
||||
|
||||
if ( ( IsFsmFigMulti( FspFsmFigure1 ) ) ||
|
||||
( IsFsmFigMixedRtl( FspFsmFigure1 ) ) )
|
||||
{
|
||||
fprintf( stderr, "\tMulti FSM or Mixed RTL FSM not supported !\n" );
|
||||
autexit( 1 );
|
||||
}
|
||||
|
||||
if ( FlagVerbose )
|
||||
{
|
||||
fprintf( stdout, "\t--> Run FSM Compiler\n" );
|
||||
|
@ -189,6 +196,13 @@ int main( argc, argv )
|
|||
|
||||
FspFsmFigure2 = FspCompile( InputFileName2, InputFormat2 );
|
||||
|
||||
if ( ( IsFsmFigMulti( FspFsmFigure2 ) ) ||
|
||||
( IsFsmFigMixedRtl( FspFsmFigure2 ) ) )
|
||||
{
|
||||
fprintf( stderr, "\tMulti FSM or Mixed RTL FSM not supported !\n" );
|
||||
autexit( 1 );
|
||||
}
|
||||
|
||||
if ( FlagVerbose )
|
||||
{
|
||||
fprintf( stdout, "\t--> Formal proof between \"%s\" and \"%s\"\n",
|
||||
|
|
|
@ -0,0 +1,183 @@
|
|||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| This file is part of the Alliance CAD System Copyright |
|
||||
| (C) Laboratoire LIP6 - Département ASIM Universite P&M Curie|
|
||||
| |
|
||||
| Home page : http://www-asim.lip6.fr/alliance/ |
|
||||
| E-mail support : mailto:alliance-support@asim.lip6.fr |
|
||||
| |
|
||||
| This progam is free software; you can redistribute it |
|
||||
| and/or modify it under the terms of the GNU Library General|
|
||||
| Public License as published by the Free Software Foundation |
|
||||
| either version 2 of the License, or (at your option) any |
|
||||
| later version. |
|
||||
| |
|
||||
| Alliance VLSI CAD System is distributed in the hope that |
|
||||
| it will be useful, but WITHOUT ANY WARRANTY; |
|
||||
| without even the implied warranty of MERCHANTABILITY or |
|
||||
| FITNESS FOR A PARTICULAR PURPOSE. See the GNU General |
|
||||
| Public License for more details. |
|
||||
| |
|
||||
| You should have received a copy of the GNU General Public |
|
||||
| License along with the GNU C Library; see the file COPYING. |
|
||||
| If not, write to the Free Software Foundation, Inc., |
|
||||
| 675 Mass Ave, Cambridge, MA 02139, USA. |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Tool : Fsm |
|
||||
| |
|
||||
| File : main.c |
|
||||
| |
|
||||
| Date : 08.02.95 |
|
||||
| |
|
||||
| Author : Jacomme Ludovic |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Include Files |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
|
||||
# include <stdio.h>
|
||||
# include <string.h>
|
||||
|
||||
# include "mut.h"
|
||||
# include "aut.h"
|
||||
# include "abl.h"
|
||||
# include "bdd.h"
|
||||
# include "fsm.h"
|
||||
# include "ftl.h"
|
||||
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Constants |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Types |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Variables |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Usage |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
|
||||
void FsmUsage()
|
||||
{
|
||||
fprintf( stderr, "\t\tfsmtest [Options] Input_name [Output_name]\n\n" );
|
||||
fprintf( stdout, "\t\tOptions : -V Sets Verbose mode on\n" );
|
||||
fprintf( stdout, "\t\t -S Saves Fsm figure\n" );
|
||||
fprintf( stdout, "\t\t -I Fsm Input format\n" );
|
||||
fprintf( stdout, "\t\t -O Fsm Output format\n" );
|
||||
fprintf( stdout, "\n" );
|
||||
|
||||
exit( 1 );
|
||||
}
|
||||
|
||||
/*------------------------------------------------------------\
|
||||
| |
|
||||
| Functions |
|
||||
| |
|
||||
\------------------------------------------------------------*/
|
||||
|
||||
int main( argc, argv )
|
||||
|
||||
int argc;
|
||||
char *argv[];
|
||||
{
|
||||
fsmfig_list *FsmFigure;
|
||||
char *InputFileName;
|
||||
char *OutputFileName;
|
||||
int Number;
|
||||
int Index;
|
||||
char Option;
|
||||
|
||||
int FlagVerbose = 0;
|
||||
int FlagSave = 0;
|
||||
|
||||
mbkenv();
|
||||
autenv();
|
||||
ablenv();
|
||||
fsmenv();
|
||||
|
||||
InputFileName = (char *)0;
|
||||
|
||||
if ( argc < 2 ) FsmUsage();
|
||||
|
||||
InputFileName = (char *)0;
|
||||
|
||||
for ( Number = 1; Number < argc; Number++ )
|
||||
{
|
||||
if ( argv[ Number ][ 0 ] == '-' )
|
||||
{
|
||||
for ( Index = 1; argv[ Number ][ Index ] != '\0'; Index++ )
|
||||
{
|
||||
Option = argv[ Number ][ Index ];
|
||||
|
||||
if ( Option == 'I' )
|
||||
{
|
||||
Number = Number + 1;
|
||||
FSM_IN = namealloc( argv[ Number ] );
|
||||
break;
|
||||
}
|
||||
else
|
||||
if ( Option == 'O' )
|
||||
{
|
||||
Number = Number + 1;
|
||||
FSM_OUT = namealloc( argv[ Number ] );
|
||||
break;
|
||||
}
|
||||
|
||||
switch ( Option )
|
||||
{
|
||||
case 'V' : FlagVerbose = 1;
|
||||
break;
|
||||
case 'S' : FlagSave = 1;
|
||||
break;
|
||||
default : FsmUsage();
|
||||
}
|
||||
}
|
||||
}
|
||||
else
|
||||
if ( InputFileName == (char *)0 ) InputFileName = argv[ Number ];
|
||||
else
|
||||
if ( OutputFileName == (char *)0 ) OutputFileName = argv[ Number ];
|
||||
else
|
||||
FsmUsage();
|
||||
}
|
||||
|
||||
if ( InputFileName == (char *)0 ) FsmUsage();
|
||||
if ( OutputFileName == (char *)0 ) OutputFileName = InputFileName;
|
||||
|
||||
if ( ( FlagSave ) && ( InputFileName == OutputFileName ) )
|
||||
{
|
||||
FsmUsage();
|
||||
}
|
||||
|
||||
fprintf( stdout, "FSM_IN : %s\n", FSM_IN );
|
||||
fprintf( stdout, "FSM_OUT : %s\n", FSM_OUT );
|
||||
|
||||
FsmFigure = getfsmfig( InputFileName );
|
||||
|
||||
if ( FlagVerbose ) viewfsmfig( FsmFigure );
|
||||
|
||||
if ( FlagSave )
|
||||
{
|
||||
FsmFigure->NAME = namealloc( OutputFileName );
|
||||
savefsmfig( FsmFigure );
|
||||
}
|
||||
|
||||
delfsmfig( FsmFigure->NAME );
|
||||
|
||||
return( 0 );
|
||||
}
|
Loading…
Reference in New Issue