- s -

• SatCm : satDecision.c , satInc.c
• SATcm : satConflict.c , baigAllSat.c
• satImplicationFN : satImplication.c
• Sel0ScoreTable : grabGrab.c
• Sel2ScoreTable : grabGrab.c
• Sel3ScoreTable : grabGrab.c
• SelScoreTable : grabGrab.c
• seperator : cmdFile.c
• sfpdVerbose : spfdAPI.c , spfdClean.c
• signatures : imgIwls95.c , imgTfmUtil.c
• spfdAlpha : spfdCmd.c
• spfdCreatedPart : spfdCmd.c
• spfdMethod : spfdCmd.c
• spfdNtkChanged : spfdCmd.c
• spfdNumWiresRem : spfdCmd.c
• spfdPerfSim : spfdCmd.c
• spfdReprogNoWire : spfdCmd.c
• spfdSortNodes : spfdCmd.c
• spfdVerbose : spfdCmd.c
• spfdWiresAdded : spfdCmd.c
• SubstituteVector : imgTfmCache.c
• SuppFactor : synthOpt.c
• SupportCount : synthOpt.c
• SynthGetZddDivideFunc : synthFactor.c
• SynthGetZddDivideRecurFunc : synthFactor.c
• SynthGetZddDivisorFunc : synthFactor.c
• SynthGetZddProductFunc : synthFactor.c
• SynthGetZddProductRecurFunc : synthFactor.c