fst.h File Reference

Contains functions for FST parsing/simulation. More...

Go to the source code of this file.

Functions
void	fst_parse (const char *fst_file)
	Parses and scores FST-style dumpfile.

---

Detailed Description

Contains functions for FST parsing/simulation.

Author:

Trevor Williams (phase1geo@gmail.com)

Date:

1/25/2006

---

Function Documentation

void fst_parse

(

const char *

fst_file

)

Parses and scores FST-style dumpfile.

Main FST parsing function. Reads in an FST-style dumpfile, tells Covered about signal information and simulation results.

Parameters:

fst_file

Name of FST file to read and score

References Catch_anonymous, db_check_dumpfile_scopes(), db_do_timestep(), FALSE, FATAL, free_safe, fst_callback(), fst_reader_process_hier(), fstReaderClose(), fstReaderIterBlocks(), fstReaderOpen(), fstReaderSetFacProcessMaskAll(), malloc_safe_nolimit, print_output(), PROFILE, PROFILE_END, symtable_create(), symtable_dealloc(), Throw, Try, vcd_prevtime, vcd_prevtime_valid, and vcd_symtab_size.

Referenced by parse_and_score_dumpfile().

  { PROFILE(FST_PARSE);

  struct fstReaderContext *xc;

  printf( "fst_file: %s\n", fst_file );

  /* Open LXT file for opening and extract members */
  if( (xc = fstReaderOpen( fst_file )) != NULL ) {

    /* Create initial symbol table */
    vcd_symtab = symtable_create();

    Try {

      /* Handle the dumpfile definitions */
      fst_reader_process_hier( xc );

      /* Check to see that at least one instance was found */
      db_check_dumpfile_scopes(); 
          
      /* Create timestep symbol table array */
      if( vcd_symtab_size > 0 ) {
        timestep_tab = malloc_safe_nolimit( sizeof( symtable*) * vcd_symtab_size );
      }
        
      /* Not sure what this does but it seems to be a requirement of the FST reader */
      fstReaderSetFacProcessMaskAll( xc );

      /* Perform simulation */
      fstReaderIterBlocks( xc, fst_callback, NULL, NULL );

      /* Perform last simulation if necessary */
      if( vcd_prevtime_valid ) {
        (void)db_do_timestep( vcd_prevtime, FALSE );
      }

    } Catch_anonymous {
      symtable_dealloc( vcd_symtab );
      free_safe( timestep_tab, (sizeof( symtable* ) * vcd_symtab_size) );
      fstReaderClose( xc );
      Throw 0;
    }
        
    /* Deallocate memory */
    symtable_dealloc( vcd_symtab );
    free_safe( timestep_tab, (sizeof( symtable* ) * vcd_symtab_size) );

    /* Close FST file */
    fstReaderClose( xc );

  } else {

    print_output( "Unable to read data from FST dumpfile.  Exiting without scoring.", FATAL, __FILE__, __LINE__ );
    Throw 0;

  }

  PROFILE_END;

}