#/////////////////////////////////////////////////////////////////////////////
#/  Copyright (C) by RivieraWaves.
#/  This module is a confidential and proprietary property of RivieraWaves
#/  and a possession or use of this module requires written permission 
#/  from RivieraWaves.
#/----------------------------------------------------------------------------
#/ $Author: $
#/ Company          : RivieraWaves
#/----------------------------------------------------------------------------
#/ $Revision: $
#/ $Date: $
#/ ---------------------------------------------------------------------------
#/ Dependencies     : None
#/ Description      : 
#/ Simulation Notes : 
#/ Synthesis Notes  :
#/ Application Note :
#/ Simulator        :
#/ Parameters       :
#/ Terms & concepts :
#/ Bugs             :
#/ Open issues and future enhancements :
#/ References       :
#/ Revision History :
#/ ---------------------------------------------------------------------------
#/
#/ $HeadURL: $
#/
#/////////////////////////////////////////////////////////////////////////////

set_ignore_library_name
set_fsm_scoring -hold_transition
#set_expr_scoring -all


#/////////////////////////////////////////////////////////////////////////////
#/ End of file
#/////////////////////////////////////////////////////////////////////////////
