- s -

• sequential_level : nnode_t_t
• sequential_level_combinational_termination_node : netlist_t_t
• sequential_level_nodes : netlist_t_t
• sequential_terminator : nnode_t_t
• shared_node : ast_node_t_t
• signal_list : signal_list_t_t
• signal_list_size : signal_list_t_t
• sim_state : npin_t_t
• sim_type : global_args_t_t , global_args_read_blif_t_t
• sim_vectors_file : global_args_t_t , global_args_read_blif_t_t
• simulate_block_cycle : nnode_t_t
• size : ast_node_t_t , s_memory_port_sizes , STRING_CACHE
• size_a : s_multiplier
• size_addr1 : s_memory
• size_addr2 : s_memory
• size_b : s_multiplier
• size_d1 : s_memory
• size_d2 : s_memory
• size_module_instantiations : ast_node_t_t
• size_out : s_multiplier
• size_out1 : s_memory
• size_out2 : s_memory
• split_memory_depth : config_t_t
• split_memory_width : config_t_t
• stats : netlist_t_t
• string : STRING_CACHE
• string_hash : STRING_CACHE
• string_hash_size : STRING_CACHE
• strings : char_list_t_t
• symbol : veri_define