List of all items

Structs

• analysis::AnalysisOptions
• analysis::CallSiteId
• analysis::CdcEdge
• analysis::ClockDomain
• analysis::ClockDomainId
• analysis::DpiTagStats
• analysis::DriverGraph
• analysis::Partition
• analysis::RegionId
• analysis::StaticAnalysisResult
• collections::Nest
• collections::Nested
• collections::Shape
• constraints::array::ArrayState
• constraints::array::Expanded
• constraints::array::Lowered
• constraints::array::RowsState
• constraints::array::SizeSolution
• constraints::bdd::Compiled
• constraints::bdd::Layout
• constraints::build::ArrayInfo
• constraints::build::BlockInfo
• constraints::build::Builder
• constraints::build::CaptureInfo
• constraints::build::ConstraintSet
• constraints::build::RealVarInfo
• constraints::build::StateHop
• constraints::build::StateInfo
• constraints::build::VarInfo
• constraints::dist::DefaultWeight
• constraints::dist::Dist
• constraints::dist::Item
• constraints::func::Func
• constraints::func_order::Cycle
• constraints::guard::GuardError
• constraints::ir::Assignment
• constraints::ir::Ty
• constraints::priority::Disable
• constraints::priority::Priority
• constraints::priority::Soft
• constraints::randc::RandcState
• constraints::real_domain::Real
• constraints::real_domain::RealDist
• constraints::real_domain::RealDistItem
• constraints::real_domain::RealProblem
• constraints::real_domain::RealSet
• constraints::reduce::BlockItems
• constraints::registry::Capture
• constraints::registry::ProgArray
• constraints::registry::ProgBlock
• constraints::registry::ProgHandle
• constraints::registry::ProgRealVar
• constraints::registry::ProgState
• constraints::registry::ProgVar
• constraints::registry::Program
• constraints::registry::Spec
• constraints::registry::Target
• constraints::sat::SatLimits
• constraints::sat::SatSolver
• constraints::solve::Group
• constraints::solve::Plan
• constraints::solve::Solver
• constraints::solve::Weight
• constraints::solve::Weighted
• covergroup::bins::Bin
• covergroup::bins::RealItem
• covergroup::compute::Score
• covergroup::coverpoint::Coverage
• covergroup::coverpoint::Coverpoint
• covergroup::cross::Cross
• covergroup::cross::CrossBin
• covergroup::db::Db
• covergroup::db::DbItem
• covergroup::db::DbType
• covergroup::decl::BinDecl
• covergroup::decl::CovGroupDecl
• covergroup::decl::CoverpointDecl
• covergroup::decl::CrossBinDecl
• covergroup::decl::CrossDecl
• covergroup::decl::RepeatRange
• covergroup::decl::TransItem
• covergroup::instance::CovInstance
• covergroup::intset::IntSet
• covergroup::options::Options
• covergroup::options::TypeOptions
• covergroup::registry::CovType
• covergroup::registry::LoadSummary
• covergroup::registry::Registry
• covergroup::trans::Nfa
• covergroup::trans::Step
• covergroup::trans::TransElem
• covergroup::trans::TransMatcher
• covergroup::value::NoKernels
• covergroup::value::TypeInfo
• determinism::CanonicalEventKey
• determinism::KindCountDrift
• determinism::ResolvedBatch
• determinism::SequentialController
• determinism::WorkItem
• dpi_task::ExportRequest
• dpi_task::TaskCall
• driver_counts::SideBit
• fiber::Fiber
• image::DesignImage
• image::DpiImage
• image::DriverImage
• image::DumpSignalImage
• image::ForeignImage
• image::ForkBranchImage
• image::FsmImage
• image::FsmPartImage
• image::GroupImage
• image::InstanceImage
• image::KernelImage
• image::NetworkImage
• image::PlaceImage
• image::SideSpec
• image::StmtSiteImage
• image::StrengthSrc
• image::SwitchImage
• image::TemplateImage
• image::TimingImage
• image::TimingOptionsImage
• image::WireImage
• image::XWindow
• image::codec::Reader
• image::codec::Writer
• image::verif::AssertionImage
• image::verif::CasePairImage
• image::verif::ClockingImage
• image::verif::CovClassClockImage
• image::verif::CovExprTermImage
• image::verif::CovGroupImage
• image::verif::CovSamplerImage
• image::verif::FreeGroupImage
• image::verif::FreeVarImage
• image::verif::SampledImage
• image::verif::SampledSiteImage
• image::verif::SpawnCallImage
• image::verif::VerifImage
• netlist::CheckerOutput
• netlist::ClassDefinitionTable
• netlist::ClassMembers
• netlist::ClassTemplateId
• netlist::ClassTemplateKey
• netlist::ConfirmedMembers
• netlist::ContAssignTemplate
• netlist::DriverEntry
• netlist::InstanceId
• netlist::InstanceNode
• netlist::InstanceTree
• netlist::InstantiatedSignalId
• netlist::MemberShape
• netlist::MemoryDecl
• netlist::Netlist
• netlist::PortDecl
• netlist::ProceduralChecker
• netlist::ProcessTemplate
• netlist::SignalDecl
• netlist::SubInstanceSlot
• netlist::SymbolKey
• netlist::Template
• netlist::TemplateId
• netlist::TemplateKey
• netlist::itf::ExternTargets
• netlist::specify::CheckEntry
• netlist::specify::CheckEvent
• netlist::specify::CheckLimit
• netlist::specify::EventPairArgs
• netlist::specify::FullSkewArgs
• netlist::specify::NoChangeArgs
• netlist::specify::PathEntry
• netlist::specify::PeriodArgs
• netlist::specify::RecRemArgs
• netlist::specify::SetupHoldArgs
• netlist::specify::TimeSkewArgs
• netlist::specify::TimingModel
• netlist::specify::WidthArgs
• objects::FieldSlot
• objects::NestedHandle
• objects::RandMeta
• objects::RandProp
• objects::TemplateSnapshot
• objects::Window
• process::ActivationRecord
• process::ArenaRange
• process::ForkFrame
• process::PredicateFn
• process::ProcessInstanceId
• process::ProcessResult
• process::ResumeInfo
• process::StmtId
• process::SubscriptionSetId
• process::cfg::BasicBlock
• process::cfg::BlockId
• process::cfg::IfChain
• process::cfg::LoweringError
• process::cfg::NestStep
• process::cfg::PeerBlock
• process::cfg::ProcessCfg
• process::cfg::RepeatCounterId
• process::cfg::SegId
• process::cfg::Segment
• process::cfg::VirtualTasks
• process::dedup::ProcessTemplateKey
• process::liveness::FrameLayout
• process::liveness::FrameSlotDesc
• sched::BreakpointId
• sched::CheckpointHandle
• sched::CollWrite
• sched::CompiledKernelProcess
• sched::DeferIoDispatcher
• sched::DeltaGuard
• sched::Engine
• sched::EventWaitSet
• sched::FinalProcess
• sched::ForceEvent
• sched::ForkKernel
• sched::KernelSnapshot
• sched::MaskedNbaUpdate
• sched::NbaLog
• sched::NbaUpdate
• sched::ObjWrite
• sched::PartitionId
• sched::PendingActivation
• sched::ProcessDescriptor
• sched::ProcessKey
• sched::ProcessSnapshot
• sched::ProcessTable
• sched::QueuedGate
• sched::RegionQueues
• sched::RepeatCounters
• sched::ResumeDriver
• sched::SchedTime
• sched::SensitivityLookupSink
• sched::SensitivityTable
• sched::SpawnSpec
• sched::SpeculationBound
• sched::StaticSensitivity
• sched::TimeWheel
• sched::TimerEntry
• sched::WaitTableEntry
• sched::WorkUnit
• sched::WriteBuffer
• sched::assert_control::Op
• sched::assert_control::SiteDesc
• sched::assert_control::SiteState
• sched::mailbox::Message
• sched::proc_assert::Entry
• state::AliasChange
• state::AliasWindow
• state::Arena
• state::ArenaSnapshot
• state::ChangeDelta
• state::ChangeResult
• state::Dispatch
• state::DriveStrengthPair
• state::DriverEntry
• state::DriverSet
• state::FrameArena
• state::InstanceBase
• state::InstanceHandle
• state::NbaWindow
• state::NetLayout
• state::RegionAssignment
• state::RegionOverlapError
• state::RollbackMark
• state::SlotDescriptor
• state::SlotLocation
• state::SlotOffset
• state::SnapshotRing
• state::StateArena
• state::StateCellId
• state::StateEngine
• state::StateKernelCtxFields
• state::StateLayout
• state::TemplateRegistry
• state::TemplateTable
• state::TriregCharge
• state::UndoLog
• state::VcRecord
• state::WorkerSlot
• state::event_plan::EventPlanScope
• state::event_pool::EventPool
• state::event_pool::PoolStatic
• state::force::ForceTable
• sva::endpoint::Watcher
• sva::engine::CallFire
• sva::engine::Engine
• sva::engine::EngineConfig
• sva::engine::EngineError
• sva::engine::Event
• sva::engine::Stats
• sva::engine::StepRecord
• sva::global_clock::GlobalClocking
• sva::incremental::Accel
• sva::ir::ActionId
• sva::ir::Automaton
• sva::ir::AutomatonId
• sva::ir::CallId
• sva::ir::ClockId
• sva::ir::Edge
• sva::ir::EndPoint
• sva::ir::EndPointId
• sva::ir::FirstMatchId
• sva::ir::LeafId
• sva::ir::LocalVarDecl
• sva::ir::LocalVarId
• sva::ir::State
• sva::ir::ThreadStateId
• sva::property::CaseArm
• sva::property::DeclId
• sva::property::Evaluator
• sva::property::PropDecl
• sva::property::PropId
• sva::property::PropertyIr
• sva::property::SeqRef
• sva::sampled::ClockEvent
• sva::sampled::ForeignShape
• sva::sampled::Hidden
• sva::sampled::HiddenSlot
• sva::sampled::SampledCall
• sva::sampled::SampledError
• sva::sampled::ShiftStep
• sva::sampled::Site
• sva::sampled::SiteShift
• sva::sampled::UseViews
• sva::trace::Attempt
• sva::trace::CallAttempt
• sva::trace::CallEvent
• sva::trace::LocalAttempt
• sva::trace::TailWord
• sva::trace::Timeline
• sva::trace::TraceClocks
• symid::SymbolId
• symid::UidMemoGuard
• timing_types::EdgeSet
• timing_types::PathDelaySet

Enums

• analysis::AnalysisError
• analysis::CdcClassification
• analysis::CdcConfidence
• analysis::DpiVpiTag
• analysis::ForceObservedAction
• collections::FrozenData
• collections::Key
• collections::KeyKind
• constraints::array::ExpandError
• constraints::array::SizeError
• constraints::bdd::BddBuildError
• constraints::build::BuildError
• constraints::build::Declared
• constraints::build::Step
• constraints::dist::DistError
• constraints::dist::Span
• constraints::func::FuncError
• constraints::func::Stmt
• constraints::guard::GuardCause
• constraints::guard::GuardValue
• constraints::ir::ArrayNode
• constraints::ir::BinOp
• constraints::ir::ConstraintEvalError
• constraints::ir::Expr
• constraints::ir::IrError
• constraints::ir::ReduceOp
• constraints::ir::UnOp
• constraints::order::OrderError
• constraints::priority::SoftKey
• constraints::real_domain::CmpOp
• constraints::real_domain::FloatKind
• constraints::real_domain::RealCond
• constraints::real_domain::RealError
• constraints::real_domain::RealExpr
• constraints::real_domain::RealSpan
• constraints::registry::Home
• constraints::registry::Outcome
• constraints::solve::Engine
• constraints::solve::Measure
• constraints::solve::SolveError
• constraints::walk::Phase
• covergroup::bins::BinValues
• covergroup::bins::Matcher
• covergroup::coverpoint::CovEvent
• covergroup::db::ItemKind
• covergroup::decl::ArrayKind
• covergroup::decl::BinBody
• covergroup::decl::BinKind
• covergroup::decl::Bound
• covergroup::decl::Matches
• covergroup::decl::RangeItem
• covergroup::decl::SelectExpr
• covergroup::decl::TransRep
• covergroup::instance::ItemRef
• covergroup::options::Level
• covergroup::trans::Rep
• covergroup::value::CovError
• covergroup::value::Expr
• covergroup::value::Val
• determinism::SpeculationGate
• dpi_task::CallPoll
• fiber::FiberState
• image::ConductsImage
• image::ControlImage
• image::InstanceKind
• image::KernelRole
• image::PlaceClass
• image::PortDir
• image::ScopeKind
• image::VcdVarType
• image::codec::ImageError
• netlist::ElabError
• netlist::FreeVarKind
• netlist::PortDirection
• netlist::SignalKind
• netlist::StaticSensitivity
• netlist::ValueDomain
• netlist::specify::CheckArgs
• netlist::specify::CondNode
• netlist::specify::PathCondition
• netlist::specify::PathEdge
• objects::RandKind
• process::Effect
• process::FrameSlot
• process::ProcessStatus
• process::ResumeReason
• process::WaitSpec
• process::WaitSpecStorage
• process::cfg::ArgBinding
• process::cfg::FrameProbe
• process::cfg::InheritedSlot
• process::cfg::ProcessLoopKind
• process::cfg::Recursion
• process::cfg::RepeatCount
• process::cfg::SegTerminator
• process::cfg::SuspendPoint
• process::cfg::SuspendPointKind
• process::cfg::SwitchOn
• process::cfg::Terminator
• process::liveness::FrameSlotSource
• sched::BreakCondition
• sched::DecodeRescheduleError
• sched::DeltaGuardError
• sched::EventTerm
• sched::JoinKind
• sched::ProcessKind
• sched::ProcessRequest
• sched::ProcessRunState
• sched::ProcessState
• sched::RegionCallbackRegionError
• sched::RegionQueuePushError
• sched::RegisterWaitError
• sched::RepeatOutcome
• sched::ResolvedSuspend
• sched::ResumeArg
• sched::ResumeError
• sched::RewindError
• sched::RunResult
• sched::SensitivityEntry
• sched::StepResult
• sched::Suspend
• sched::SuspendReason
• sched::TimerAction
• sched::ViolationType
• sched::assert_control::Control
• sched::assert_control::ControlEvent
• sched::mailbox::Got
• sched::mailbox::PutResult
• sched::mailbox::Taken
• sched::maturation::ReportKind
• sched::thread_hooks::ThreadEvent
• state::BuildMode
• state::ChargeStrength
• state::DefaultScopeError
• state::DriveStrength
• state::DriverError
• state::EdgeKind
• state::FourStateValue
• state::HugeCommit
• state::LayoutError
• state::ListenerRole
• state::NetKind
• state::NetShape
• state::SlotClass
• strings::StrOp
• sva::engine::AssertKind
• sva::engine::EventKind
• sva::engine::StepOutcome
• sva::future::FutureFn
• sva::ir::AbortMode
• sva::ir::CallArg
• sva::ir::EndMethod
• sva::ir::Transition
• sva::property::Disposition
• sva::property::NvRule
• sva::property::Prop
• sva::property::SequenceClass
• sva::property::Strength
• sva::property::Verdict
• sva::sampled::SampledOp
• sva::trace::TraceError
• timing_types::CondBinaryOp
• timing_types::CondUnaryOp
• timing_types::EdgeControl
• timing_types::EdgeTransition
• timing_types::PulseStyle

Traits

• analysis::StaticAnalysisView
• covergroup::value::Eval
• determinism::DeterminismController
• netlist::HierPathResolver
• netlist::HierarchicalNames
• netlist::NetlistView
• sched::CompiledProcess
• sched::IoCtx
• sched::IoSink
• sched::KernelControl
• sched::RegionCallback
• sched::SchedulerControl
• sched::SchedulerCtx
• sched::SchedulerOps
• sched::host::Host
• state::ForceObserved
• state::PreWriteHook
• state::PureKernel
• state::SignalAccess
• state::ValueChangeSink
• sva::engine::Host
• sva::property::PropEnv
• symid::SymbolUid

Functions

• analysis::analyze
• analysis::build_driver_graph
• analysis::dpi_tag_stats
• analysis::infer_procedural_clock
• analysis::infer_structural_clock
• analysis::partition
• collections::append
• collections::clear
• collections::clone
• collections::clone_deep
• collections::delete_at
• collections::delete_key
• collections::elements
• collections::entry_at
• collections::equal
• collections::equal_nest
• collections::exists
• collections::from_copies
• collections::from_words
• collections::frozen_from_words
• collections::frozen_map
• collections::frozen_preload
• collections::frozen_snapshot
• collections::get
• collections::insert
• collections::key_at
• collections::keys
• collections::live_count
• collections::lookup
• collections::map_with_values
• collections::neighbor
• collections::permute
• collections::pop
• collections::push
• collections::ref_close
• collections::ref_get
• collections::ref_get_part
• collections::ref_open
• collections::ref_open_key
• collections::ref_own
• collections::ref_put
• collections::ref_put_part
• collections::release
• collections::resized
• collections::set
• collections::set_default
• collections::size
• collections::slice
• collections::store
• collections::truncate
• constraints::array::expand
• constraints::array::expand_with
• constraints::array::lower_rows
• constraints::array::solve_sizes
• constraints::bdd::compile
• constraints::build::handle_path_uids
• constraints::build::is_aggregate_type
• constraints::build::property_is_random
• constraints::func::call
• constraints::func::fold_ground_calls
• constraints::func::has_call
• constraints::func_order::stages
• constraints::guard::resolve
• constraints::guard::value
• constraints::ir::eval
• constraints::ir::mask
• constraints::ir::popcount
• constraints::order::groups
• constraints::order::levels
• constraints::priority::apply_disables
• constraints::priority::has_soft
• constraints::priority::keys_of
• constraints::priority::object_order
• constraints::priority::resolve_softs
• constraints::priority::solve_relaxing
• constraints::priority::wrap_soft
• constraints::randc::fingerprint_of
• constraints::randc::pick
• constraints::real_domain::solve
• constraints::registry::note_object_site
• constraints::registry::object_site_count
• constraints::registry::preload
• constraints::registry::program
• constraints::registry::randomize
• constraints::registry::randomize_scope
• constraints::registry::randomize_spec
• constraints::registry::register_program
• constraints::registry::register_spec
• constraints::registry::set_all_constraint_modes
• constraints::registry::snapshot
• constraints::registry::spec
• constraints::registry::spec_capture_words
• constraints::registry::spec_count
• constraints::rng::below
• constraints::rng::draw
• constraints::solve::solve
• constraints::solve::solve_grouped
• constraints::walk::begin
• constraints::walk::end
• constraints::walk::next
• covergroup::bins::build_bins
• covergroup::bins::eval_range_list
• covergroup::bins::fmt_real
• covergroup::compute::empty_score
• covergroup::compute::item_score
• covergroup::compute::merge_bins
• covergroup::compute::weighted_score
• covergroup::trans::alt_to_seq
• covergroup::trans::expand_alts
• covergroup::trans::is_bounded
• covergroup::trans::max_samples
• covergroup::trans::min_samples
• covergroup::trans::remove_window
• covergroup::trans::value_seqs
• determinism::assert_kind_count
• determinism::committed_effect_tiebreak
• determinism::dpi_speculation_policy
• determinism::lookahead_cycles_for_region
• dpi_task::ack_disabled_state
• dpi_task::active_call_disabled
• dpi_task::set_disabled_flag
• dpi_task::sv_rt_dpi_export_task_call
• dpi_task::sv_rt_dpi_export_task_error
• dpi_task::sv_rt_dpi_fn_disable_index
• dpi_task::sv_rt_dpi_fn_disable_set
• dpi_task::sv_rt_dpi_fn_scope
• dpi_task::sv_rt_dpi_task_scope
• driver_counts::driver_counts_of
• driver_counts::reset_driver_counts_for_new_run
• driver_counts::set_driver_counts
• driver_counts::set_sides
• driver_counts::sides_of
• fiber::on_fiber
• fiber::yield_now
• image::codec::get_classes
• image::codec::get_collections
• image::codec::get_dpi
• image::codec::get_dump_signals
• image::codec::get_foreign
• image::codec::get_fork_branches
• image::codec::get_fork_table
• image::codec::get_four_state
• image::codec::get_fsms
• image::codec::get_groups
• image::codec::get_instances
• image::codec::get_kernels
• image::codec::get_layout
• image::codec::get_networks
• image::codec::get_stmt_sites
• image::codec::get_strings
• image::codec::get_symbols
• image::codec::get_templates
• image::codec::get_timing
• image::codec::get_verif
• image::codec::get_wait_table
• image::codec::get_wires
• image::codec::get_x_windows
• image::codec::put_classes
• image::codec::put_collections
• image::codec::put_dpi
• image::codec::put_dump_signals
• image::codec::put_foreign
• image::codec::put_fork_branches
• image::codec::put_fork_table
• image::codec::put_four_state
• image::codec::put_fsms
• image::codec::put_groups
• image::codec::put_instances
• image::codec::put_kernels
• image::codec::put_layout
• image::codec::put_networks
• image::codec::put_stmt_sites
• image::codec::put_strings
• image::codec::put_symbols
• image::codec::put_templates
• image::codec::put_timing
• image::codec::put_verif
• image::codec::put_wait_table
• image::codec::put_wires
• image::codec::put_x_windows
• image::covdecl::get_covgroup
• image::covdecl::put_covgroup
• netlist::assign_class_template_ids
• netlist::base_chain
• netlist::check_class_constraints
• netlist::checker_instance_body
• netlist::checker_instances
• netlist::checker_output_of
• netlist::checker_outputs
• netlist::class_method_symbols
• netlist::class_param_binding_hash
• netlist::class_specialization_key
• netlist::class_template_key_of
• netlist::class_templates_with_statics
• netlist::classes_with_dynamic_static_init
• netlist::classify_members
• netlist::collect_new_class_types
• netlist::confirm_and_assign_symbol_keys
• netlist::elaborate
• netlist::enclosing_instance_body
• netlist::enclosing_package
• netlist::flattened_interfaces
• netlist::free_var_groups
• netlist::free_var_kind
• netlist::free_var_seed
• netlist::generate_scopes
• netlist::hash_then_verify_dedup
• netlist::is_in_checker
• netlist::is_in_program
• netlist::is_static_procedural_var
• netlist::is_uninstantiated_scope
• netlist::itf::call_callees
• netlist::itf::call_extern_targets
• netlist::itf::call_target
• netlist::itf::extern_disable_tag
• netlist::itf::extern_impls_in
• netlist::itf::extern_prototype
• netlist::itf::extern_scope_tags
• netlist::itf::extern_targets
• netlist::itf::force_extern_impl_bodies
• netlist::itf::invalid_impl_bodies
• netlist::itf::is_extern_impl
• netlist::itf::is_scope_tag
• netlist::itf::is_vif_extern_call
• netlist::itf::vif_extern_message
• netlist::merge_groups_within_bucket
• netlist::module_items
• netlist::procedural_checkers
• netlist::same_specialization
• netlist::state_items
• netlist::static_procedural_vars
• netlist::variable_initializer
• netlist::vif::base
• netlist::vif::call_targets
• netlist::vif::instance_id
• netlist::vif::interface_instances
• netlist::vif::is_member_access
• netlist::vif::member_targets
• objects::alloc
• objects::collect_cycles
• objects::collected_count
• objects::constraint_mode_of
• objects::copy
• objects::dynamic_template
• objects::field_get
• objects::field_get_window
• objects::field_merge
• objects::field_set
• objects::field_set_window
• objects::is_a
• objects::is_live
• objects::leaf_rand_mode_of
• objects::live_count
• objects::maybe_collect_cycles
• objects::preload_templates
• objects::prng_seed
• objects::rand_meta
• objects::rand_mode_of
• objects::rand_props
• objects::randc_state
• objects::refcount
• objects::register_ancestors
• objects::register_collection_fields
• objects::register_handle_fields
• objects::register_nested_handles
• objects::register_rand_props
• objects::register_static_singleton_key
• objects::release
• objects::retain
• objects::set_all_rand_modes
• objects::set_constraint_mode_of
• objects::set_leaf_rand_mode_of
• objects::set_lifecycle_hooks
• objects::set_prng_seed
• objects::set_rand_meta
• objects::set_rand_mode_of
• objects::set_randc_states
• objects::set_static_rand_mode
• objects::slot_index
• objects::static_rand_mode
• objects::static_singleton_key_pairs
• objects::static_singleton_of
• objects::template_is_a
• objects::template_snapshot
• patterns::pattern_case_expr
• patterns::pattern_vars
• process::arena_base_offset_for_region
• process::cfg::assertion_cond
• process::cfg::assertion_labels
• process::cfg::async_pla_call
• process::cfg::block_automatic_vars
• process::cfg::block_name
• process::cfg::block_scopes
• process::cfg::build_cfg
• process::cfg::build_cfg_clocked
• process::cfg::build_cfg_hosted_assertion
• process::cfg::build_cfg_scoped
• process::cfg::build_cfg_scoped_with_virtuals
• process::cfg::build_export_task_cfg
• process::cfg::build_match_item_task_cfg
• process::cfg::call_result_key
• process::cfg::check_suspend_count_matches
• process::cfg::class_construction_can_abort
• process::cfg::class_event_term_iffs
• process::cfg::class_event_wait_is_mixed
• process::cfg::class_event_wait_terms
• process::cfg::constant_case_live_arm
• process::cfg::constant_if_arm
• process::cfg::contains_unschedulable_fork_join
• process::cfg::contains_unsupported_fork_join_kind
• process::cfg::count_timed_statements
• process::cfg::deferred_assertion_labels
• process::cfg::disable_label
• process::cfg::disable_leaf_label
• process::cfg::disable_path
• process::cfg::dotted_disable_labels
• process::cfg::has_function_disables
• process::cfg::if_chain
• process::cfg::if_series
• process::cfg::immediate_assertion_labels
• process::cfg::is_automatic_block_var
• process::cfg::is_class_event_expr
• process::cfg::is_clause_if
• process::cfg::is_entry_probe_kind
• process::cfg::is_function_disable_label
• process::cfg::is_global_clock_call
• process::cfg::is_inferred_clock_call
• process::cfg::is_task_name
• process::cfg::live_children
• process::cfg::live_statements
• process::cfg::lower_to_segments
• process::cfg::mark_aborting_virtual
• process::cfg::may_hold_handles
• process::cfg::named_block_paths
• process::cfg::nested_peer_blocks
• process::cfg::outermost_block
• process::cfg::peer_block
• process::cfg::proc_body
• process::cfg::randomize_can_abort
• process::cfg::reset_aborting_virtuals
• process::cfg::self_disabling_assertion_block
• process::cfg::set_explicit_super_detector
• process::cfg::set_randomize_can_abort
• process::cfg::set_source_name
• process::cfg::set_source_session
• process::cfg::set_source_text
• process::cfg::set_source_texts
• process::cfg::set_suspending_virtuals
• process::cfg::shown_path
• process::cfg::source_location
• process::cfg::source_text_range
• process::cfg::std_class_method
• process::cfg::std_process_method
• process::cfg::subroutine_can_abort
• process::cfg::subroutine_can_suspend
• process::cfg::suspending_statement_kinds
• process::cfg::unwrap_invalid
• process::cfg::violation_check
• process::dedup::assign_process_instance_ids
• process::dedup::template_key_of
• process::liveness::case_reads
• process::liveness::compute_liveness
• process::liveness::compute_liveness_fault_injected
• process::liveness::compute_liveness_with_oracle
• sched::abi_entry_point_map
• sched::abort_current_kernel
• sched::assert_control::anonymous_target
• sched::assert_control::control
• sched::assert_control::execute
• sched::assert_control::intern
• sched::assert_control::intern_text
• sched::assert_control::query_text
• sched::assert_control::real_sv_rt_assert_ctl
• sched::assert_control::reset
• sched::assert_control::set_control_observer
• sched::assert_control::site_desc
• sched::assert_control::state
• sched::build_eval_result
• sched::canonical_key_of
• sched::class_event::alloc
• sched::class_event::cancel
• sched::class_event::defer_wake
• sched::class_event::enqueue
• sched::class_event::enqueue_dual
• sched::class_event::fired_bit
• sched::class_event::is_dual
• sched::class_event::leave
• sched::class_event::reset_for_new_run
• sched::class_event::take_deferred_wakes
• sched::class_event::trigger
• sched::class_event::triggered
• sched::class_event::wait
• sched::class_event::waiters
• sched::commit_blocking_write
• sched::commit_nba
• sched::current_process
• sched::decode_reschedule
• sched::decode_reschedule_with_fork_table
• sched::decode_reschedule_with_tables
• sched::deferred_call_for
• sched::deferred_cancel_for
• sched::deferred_report
• sched::deferred_report_for
• sched::edge_between
• sched::event_elem_waiters
• sched::form_ready_set
• sched::infer_edge
• sched::mailbox::cancel
• sched::mailbox::get
• sched::mailbox::init
• sched::mailbox::num
• sched::mailbox::put
• sched::mailbox::reset_for_new_run
• sched::mailbox::second_phase
• sched::mailbox::stash_get
• sched::mailbox::stash_set
• sched::mailbox::try_put
• sched::mailbox::try_take
• sched::mailbox::waiters
• sched::mark_rechecks_on_wake
• sched::maturation::call_payload
• sched::maturation::flush
• sched::maturation::flush_process_site
• sched::maturation::flush_sites
• sched::maturation::flush_violations
• sched::maturation::global_tick
• sched::maturation::report
• sched::maturation::report_at_global_tick
• sched::maturation::report_for_site
• sched::maturation::report_independent
• sched::maturation::report_independent_for_site
• sched::maturation::set_writer
• sched::monitor_dedupe_arm
• sched::monitor_dedupe_check
• sched::monitor_dedupe_reset
• sched::monitor_probe
• sched::nba_drain_destination
• sched::notify_alias_changes
• sched::notify_blocking_change
• sched::notify_object_state_change
• sched::partition_of
• sched::proc_assert::drain
• sched::proc_assert::is_empty
• sched::proc_assert::real_sv_rt_assert_input
• sched::proc_assert::real_sv_rt_proc_assert
• sched::proc_assert::real_sv_rt_proc_assert_disable
• sched::proc_assert::register_process
• sched::proc_assert::register_site
• sched::proc_assert::reset
• sched::proc_assert::set_action_inputs
• sched::process_class_request
• sched::process_class_state
• sched::process_class_track_current
• sched::process_rng::alias_init
• sched::process_rng::base_seed
• sched::process_rng::clear_alias
• sched::process_rng::draw_from_init
• sched::process_rng::draw_from_process
• sched::process_rng::format_state
• sched::process_rng::parse_state
• sched::process_rng::preseed
• sched::process_rng::reset
• sched::process_rng::set_base_seed
• sched::process_rng::splitmix64_next
• sched::process_rng::state_from_srandom
• sched::process_rng::with_process_state
• sched::real_nba_enqueue
• sched::real_sv_rt_aborted
• sched::real_sv_rt_cell_alloc
• sched::real_sv_rt_cell_store
• sched::real_sv_rt_disable_fork
• sched::real_sv_rt_disable_fork_block
• sched::real_sv_rt_disable_named
• sched::real_sv_rt_edge_check
• sched::real_sv_rt_edge_load
• sched::real_sv_rt_edge_snapshot
• sched::real_sv_rt_finish
• sched::real_sv_rt_fired_mask
• sched::real_sv_rt_fired_term
• sched::real_sv_rt_force
• sched::real_sv_rt_force_active
• sched::real_sv_rt_force_row
• sched::real_sv_rt_huge
• sched::real_sv_rt_monitor
• sched::real_sv_rt_monitor_enable
• sched::real_sv_rt_nba_class_event
• sched::real_sv_rt_nba_coll
• sched::real_sv_rt_nba_field
• sched::real_sv_rt_nba_masked
• sched::real_sv_rt_nba_pulse
• sched::real_sv_rt_net_drivers
• sched::real_sv_rt_reactive_drive
• sched::real_sv_rt_release
• sched::real_sv_rt_set_delay
• sched::real_sv_rt_set_fired_term
• sched::real_sv_rt_strobe
• sched::real_sv_rt_time
• sched::real_sv_set_mem_word
• sched::real_sv_set_scalar
• sched::real_sv_set_wide
• sched::record_force_events
• sched::redirect_delay_zero_to_inactive
• sched::region_ordinal
• sched::register_wait
• sched::request_finish_as_deferred_effect
• sched::reset_cells_for_new_run
• sched::run_finals
• sched::semaphore::cancel
• sched::semaphore::get
• sched::semaphore::init
• sched::semaphore::keys
• sched::semaphore::put
• sched::semaphore::reset_for_new_run
• sched::semaphore::try_get
• sched::semaphore::waiters
• sched::sensitivity_match_to_enqueue
• sched::set_deferred_writer
• sched::set_violation_writer
• sched::sort_ready_set
• sched::take_fired_mask
• sched::take_force_events
• sched::thread_hooks::fire_thread_event
• sched::thread_hooks::set_thread_hook
• sched::thread_hooks::thread_hook_installed
• sched::violation_report
• sched::violation_report_for
• sched::vpi_force_row
• sched::vpi_release_row
• sched::watch_object_state
• sched::with_current_ops
• sched::with_current_process
• sched::with_scheduler_ops
• sched::with_sva_leaf_time
• state::bits_to_aval_bval
• state::bits_to_four_state
• state::build_template_layout
• state::cell_for_slot
• state::check_region_disjoint
• state::class_static_instance
• state::clocking_blocks
• state::compile_source
• state::constant_expr_bits
• state::copy_slot_quiet
• state::default_clocking_of
• state::default_disable_of
• state::event_plan::group_mode
• state::event_pool::event_count
• state::event_pool::event_pool
• state::event_pool::hierarchical_pool_event
• state::event_pool::peer_key
• state::event_pool::pool_key
• state::event_pool::pool_of_key
• state::event_pool::static_key
• state::force_driver
• state::four_state_of_constant
• state::four_state_to_owned_svint
• state::huge_commit
• state::huge_commit_full_done
• state::huge_mark
• state::huge_nba_window
• state::huge_prime
• state::own_slot_count
• state::packed_words
• state::read_by_hier_path
• state::read_inline_2s
• state::read_slot
• state::read_wide_2s
• state::real_sv_get_mem_word
• state::real_sv_get_scalar
• state::real_sv_get_wide
• state::real_sv_rt_inline_ptrs
• state::real_sv_rt_slot_owner
• state::release_driver
• state::resolve_foreign_slot
• state::resolve_mem_row
• state::resolve_net_step
• state::resolve_strengths
• state::resolve_values
• state::set_foreign_slots
• state::set_foreign_slots_windowed
• state::set_mem_word_reporting_change
• state::splice_window
• state::storage::constant_bits
• state::storage::contains_tagged_union
• state::storage::default_bits
• state::storage::field_slice
• state::storage::holds_refcounted
• state::storage::interconnect_dims
• state::storage::is_class_keyed_assoc
• state::storage::is_collection
• state::storage::is_unpacked_aggregate
• state::storage::storage_width
• state::storage::tagged_tag_bits
• state::storage::tagged_tag_slice
• state::sv_get_mem_word
• state::sv_get_mem_word_inline
• state::sv_get_scalar
• state::sv_get_scalar_inline
• state::sv_get_wide
• state::sv_get_wide_inline
• state::sv_set_mem_word
• state::sv_set_mem_word_inline
• state::sv_set_scalar
• state::sv_set_scalar_inline
• state::sv_set_wide
• state::sv_set_wide_inline
• state::svint_bits
• state::synthetic_z_layout
• state::synthetic_z_layout_rows
• state::window_value
• state::write_inline_2s
• state::write_slot
• state::write_wide_2s
• strings::apply
• strings::bytes
• strings::c_str
• strings::intern
• strings::preload
• strings::snapshot
• sva::clock_of
• sva::codec::get_automaton
• sva::codec::get_property_ir
• sva::codec::put_automaton
• sva::codec::put_property_ir
• sva::endpoint::block_watchers
• sva::endpoint::watched_call
• sva::endpoint::watcher_id
• sva::endpoint::watchers
• sva::engine::live_leaves
• sva::future::action_tick
• sva::future::eval
• sva::future::eval_at
• sva::future::first_tick_after
• sva::global_clock::global_clocking_of
• sva::global_clock::is_global_clocking
• sva::has_no_clock_error
• sva::has_non_unique_clock_error
• sva::incremental::automaton_span
• sva::property::classify_sequence
• sva::sampled::assertion_clock_event_of
• sva::sampled::checker_ff_sampled_signals
• sva::sampled::clock_event_of
• sva::sampled::decode
• sva::sampled::guard_name
• sva::sampled::hidden_slots
• sva::sampled::is_checker_always_ff
• sva::sampled::is_future_call
• sva::sampled::is_global_clock_event
• sva::sampled::is_state_symbol
• sva::sampled::mentions_global_clock_event
• sva::sampled::n_id
• sva::sampled::op_of
• sva::sampled::p_id
• sva::sampled::relocate_clock
• sva::sampled::relocate_clock_node
• sva::sampled::resolve_inferred_disable
• sva::sampled::s_id
• sva::sampled::sampleable_symbol
• sva::sampled::set_inferred_disable_resolver
• sva::sampled::signals_in
• sva::sampled::site_loc
• sva::sampled::sites_of_block
• sva::sampled::strict_signals_in
• sva::sampled::strict_site_signals_in
• sva::sampled::use_views
• sva::semantic_leading_clock
• sva::trace::attempt
• sva::trace::attempt_with_calls
• sva::trace::attempt_with_clocks
• sva::trace::attempt_with_locals
• sva::trace::attempt_word
• sva::trace::attempt_word_calls
• sva::trace::attempt_word_in
• sva::trace::read_local
• sva::wide::copy_local
• sva::wide::read_planes
• sva::wide::step_local
• symid::is_value_name
• symid::symbol_identity
• winref::close
• winref::get_part
• winref::is_window
• winref::open_field
• winref::open_mem
• winref::put_part

Type Aliases

• constraints::build::LocalClassifier
• constraints::ir::ArrayId
• constraints::ir::FuncId
• constraints::ir::LoopId
• constraints::ir::StateId
• constraints::ir::VarId
• constraints::real_domain::RealVarId
• constraints::solve::SatCount
• covergroup::decl::TransSet
• covergroup::registry::TypeId
• covergroup::trans::Alt
• covergroup::trans::TransSeq
• covergroup::value::KernelId
• driver_counts::BitCounts
• netlist::specify::TerminalRef
• process::ProcessKernelFn
• process::cfg::InferredClockEvent
• process::cfg::SuperDetector
• sched::ActivationId
• sched::DeferredIoCallback
• sched::PostponedThunk
• sched::ProcessId
• sched::SimTick
• sched::assert_control::ControlObserver
• sched::assert_control::SiteId
• sched::maturation::Writer
• sched::thread_hooks::ThreadHook
• state::force::Site
• sva::future::Tick
• sva::sampled::InferredDisable
• sva::sampled::InferredDisableResolver
• sva::trace::Frame
• sva::trace::Matches
• sva::trace::RunResult

Constants

• collections::MAX_NESTED_OBJS
• constraints::array::MAX_SIZE_RETRIES
• constraints::array::SIZE_TIERS
• constraints::bdd::MAX_BDD_VARS
• constraints::bdd::NODE_BUDGET
• constraints::dist::SELECTOR_BASE
• constraints::func::MAX_DEPTH
• constraints::func::MAX_STEPS
• constraints::priority::SOFT_BASE
• constraints::randc::MAX_RANDC_WIDTH
• constraints::sat::CLAUSE_LIMIT
• constraints::sat::MAX_COUNT_MODELS
• constraints::sat::MAX_ENUM_BITS
• constraints::sat::TIMEOUT
• covergroup::bins::EXPAND_LIMIT
• covergroup::db::HEADER
• covergroup::trans::MAX_ALTS
• covergroup::trans::MAX_REPEAT
• covergroup::trans::MAX_STATES
• covergroup::value::MAX_WIDTH
• determinism::LOOKAHEAD_CYCLES
• dpi_task::EXPORT_CALL_DISABLED
• dpi_task::EXPORT_CALL_NOT_ON_FIBER
• dpi_task::MIRROR_ACKED
• dpi_task::MIRROR_DISABLED
• dpi_task::MIRROR_OFF
• driver_counts::UNCOUNTED
• image::IMAGE_MAGIC
• image::IMAGE_VERSION
• image::verif::SKEW_EDGE_OPP
• image::verif::SKEW_STEP
• process::cfg::INTERNAL_NAME_PREFIX
• process::liveness::EVENT_HANDLE_WIDTH
• sched::DEFAULT_MAX_DELTA_ITERATIONS
• sched::DEFERRED_MODE_CANCEL
• sched::DEFERRED_MODE_FINAL
• sched::DEFERRED_MODE_OBSERVED
• sched::ELEM_SITE_BIT
• sched::EXIT_PROGRAM_LABEL
• sched::FORCE_PROCEDURAL_ASSIGN
• sched::FORCE_REFRESH
• sched::FORCE_ROW_RELEASE
• sched::HUGE_OP_COMMIT
• sched::HUGE_OP_MARK
• sched::HUGE_OP_NBA
• sched::HUGE_OP_PRIME
• sched::MONITOR_DEDUPE_N
• sched::OBJECT_STATE_CELL
• sched::OBJECT_STATE_SLOT
• sched::RETURN_COPY
• sched::SHARED_VARS_CELL
• sched::SHARED_VARS_SLOT
• sched::SV_KERNEL_ABI_RECONCILIATION
• sched::assert_control::ASSERT_ALL
• sched::assert_control::ASSERT_CONCURRENT
• sched::assert_control::ASSERT_EXPECT
• sched::assert_control::ASSERT_FINAL_DEFERRED
• sched::assert_control::ASSERT_OBSERVED_DEFERRED
• sched::assert_control::ASSERT_PRIORITY
• sched::assert_control::ASSERT_SIMPLE_IMMEDIATE
• sched::assert_control::ASSERT_UNIQUE
• sched::assert_control::ASSERT_UNIQUE0
• sched::assert_control::ASSERT_VIOLATION
• sched::assert_control::CTL_OP_CONTROL
• sched::assert_control::CTL_OP_QUERY
• sched::assert_control::DIR_ALL
• sched::assert_control::DIR_ASSERT
• sched::assert_control::DIR_ASSUME
• sched::assert_control::DIR_COVER
• sched::assert_control::EXPECT_NO_ACTION_TERM
• sched::assert_control::Q_ALL
• sched::assert_control::Q_CHECKING
• sched::assert_control::Q_FAIL
• sched::assert_control::Q_PASS_NONVACUOUS
• sched::assert_control::Q_PASS_VACUOUS
• sched::proc_assert::PROCESS_KEY_FLAG
• sched::process_rng::DEFAULT_SEED
• sched::semaphore::SEMAPHORE_FIELD_WORDS
• state::EVENT_CELL_WIDTH
• state::event_pool::DYNAMIC_ROWS
• timing_types::TRANSITIONS
• winref::WIN_BIT