- s -

• s_cell_type_translation : BtorDumper
• sat : ezSATbit , ezSATvec
• sat_def : PerformReduction
• sat_out : PerformReduction
• sat_pi : FindReducedInputs , PerformReduction
• sat_pi_uniq_bitvec : FindReducedInputs
• satgen : FindReducedInputs , PerformReduction , SatHelper
• sccList : SccWorker
• scratchpad : RTLIL::Design
• seen : Minisat::Solver
• seen_non_mux : OptMuxtreeWorker::bitinfo_t
• sel_any_bit : SpliceWorker
• sel_by_cell : SpliceWorker
• sel_by_wire : SpliceWorker
• selected_active_module : RTLIL::Design
• selected_members : RTLIL::Selection
• selected_modules : RTLIL::Selection
• selection_stack : RTLIL::Design
• selection_vars : RTLIL::Design
• set_init_def : SatHelper
• set_init_undef : SatHelper
• set_init_zero : SatHelper
• sets : SatHelper
• sets_all_undef : SatHelper
• sets_all_undef_at : SatHelper
• sets_any_undef : SatHelper
• sets_any_undef_at : SatHelper
• sets_at : SatHelper
• sets_def : SatHelper
• sets_def_at : SatHelper
• sets_init : SatHelper
• shareable_cells : ShareWorker
• shared : SubCircuit::Graph::Node
• short_help : Pass
• show_drivers : SatHelper
• show_signal_pool : SatHelper
• shows : SatHelper
• sig : token_t
• sig2driver : ConstEval , FsmExpand
• sig2user : FsmExpand
• sig_alu : AlumaccWorker
• sig_arst : dff_map_info_t
• sig_clk : dff_map_info_t
• sig_d : dff_map_info_t
• sig_macc : AlumaccWorker
• sig_p : RTLIL::SigSpecConstIterator , RTLIL::SigSpecIterator
• sig_ref : BtorDumper
• sig_to_mux : MemoryShareWorker
• sigmap : AlumaccWorker , BtorDumper , CountBitUsage , Dff2dffeWorker , FindReducedInputs , FreduceWorker , MemoryShareWorker , ModIndex , ModWalker , PerformReduction , SatGen , SatHelper , SccWorker , SpliceWorker
• sigmap_xmux : MemoryShareWorker
• sign : BigInteger
• signal : RTLIL::SwitchRule , RTLIL::SyncRule
• signal_consumers : ModWalker
• signal_drivers : ModWalker
• signal_inputs : ModWalker
• signal_outputs : ModWalker
• signparam : ConnwrappersWorker::portdecl_t
• sigspec : YYSTYPE
• simp_garbage_frac : Minisat::SimpSolver
• simpDB_assigns : Minisat::Solver
• simpDB_props : Minisat::Solver
• simplemap_mappers : TechmapWorker
• single_idx_count : ShowWorker
• size : Minisat::Clause , Minisat::Map< K, D, H, E > , Minisat::StreamBuffer , RTLIL::Memory
• size_x : blockgeom_t
• size_y : blockgeom_t
• size_z : blockgeom_t
• sliced_signals_cache : SpliceWorker
• solverTimeout : ezSAT
• solverTimoutStatus : ezSAT
• solves : Minisat::Solver
• sorted : TopoSort< T, C >
• spliced_signals_cache : SpliceWorker
• splitmap : SplitnetsWorker
• stack : ConstEval
• start_offset : RTLIL::Memory , RTLIL::Wire
• starts : Minisat::Solver
• state_bits : FsmData
• state_in : FsmData::transition_t
• state_out : FsmData::transition_t
• state_table : FsmData
• stop_signals : ConstEval
• str : AST::AstNode , BtorDumper
• stretchIO : ShowWorker
• string : YYSTYPE
• subckt_mode : BtorDumperConfig
• submodules : SubmodWorker
• subst_lvalue_map : AST_INTERNAL::ProcessGenerator
• subst_rvalue_map : AST_INTERNAL::ProcessGenerator
• subsumption_lim : Minisat::SimpSolver
• subsumption_queue : Minisat::SimpSolver
• supported_cell_types : WreduceConfig
• swapPermutations : SubCircuit::SolverWorker
• swapPorts : SubCircuit::SolverWorker
• switches : RTLIL::CaseRule
• syncs : RTLIL::Process
• sz : Minisat::RegionAllocator< T > , Minisat::vec< T, _Size >