diff --git a/alliance/src/k2f/src/k2f_main.c b/alliance/src/k2f/src/k2f_main.c index 67b2a1e6..88f208d6 100644 --- a/alliance/src/k2f/src/k2f_main.c +++ b/alliance/src/k2f/src/k2f_main.c @@ -152,6 +152,13 @@ int main( argc, argv ) K2fFsmFigure = getfsmfig( InputFileName ); + if ( ( IsFsmFigMulti( K2fFsmFigure ) ) || + ( IsFsmFigMixedRtl( K2fFsmFigure ) ) ) + { + fprintf( stderr, "\tMulti FSM or Mixed RTL FSM not supported !\n" ); + autexit( 1 ); + } + K2fFsmFigure->NAME = namealloc( OutputFileName ); savefsmfig( K2fFsmFigure );