List of all items

Structs

• aes_table::DualTableRom
• aes_table::LoaderOut
• aes_table::PairBytes
• aes_table::PairRead
• aes_table::RomLoad
• aes_table::SboxLoader
• aes_table::SboxPair
• aes_table::SboxStage
• aes_table::SboxStageIn
• aes_table::SboxStageRoms
• aes_table::SboxStages
• aes_table::SboxStagesIn
• aes_table::TableRead
• aes_table::TableWords
• axi4::AxiLiteIn
• axi4::AxiLiteOut
• axi4::ReadRequest
• axi4::ReadResponse
• axi4::WriteRequest
• axi4::WriteResponse
• blake3_core::CompressionInput
• blake3_core::CompressionOutput
• blake3_core::GState
• blake3_core::InlineCompressionPipeline
• blake3_core::RoundPipeline
• blake3_core::RoundState
• cache_bank::CacheBank
• cert_unit::CertConfig
• cert_unit::CertControl
• cert_unit::CertData
• cert_unit::CertInput
• cert_unit::CertOutput
• cert_unit::CertRecord
• cert_unit::CertUnit
• certificate::BatchCertificate
• certificate::BatchCommitment
• chain_lane::Blake3ChainLane
• chain_lane::Sha512ChainLane
• chain_step::ChainStepInput
• chain_step::ChainStepLane
• chain_step::ChainStepOutput
• chain_step::KnownBytes
• chain_step::TableChainStepLane
• config::Build
• config::Resources
• ed25519::CachedSignOut
• ed25519::CertificateSigner
• ed25519::CertificateSignerInput
• ed25519::ScalarWords
• engine::Engine
• engine::EngineControl
• engine::EngineInput
• engine::EngineOutput
• engine::Registers
• engine::SliceControl
• engine::SliceReport
• haraka::HarakaInput
• haraka::HarakaOutput
• haraka::HarakaPipeline
• hbm_writer::HbmWriter
• hbm_writer::WriterInput
• hbm_writer::WriterOutput
• hbm_writer::WriterState
• lease::BatchLease
• lease::RangeLease
• msg_reader::MessageReader
• msg_reader::ReaderControl
• msg_reader::ReaderData
• msg_reader::ReaderInput
• msg_reader::ReaderOutput
• packer::ElementPacker
• packer::PackerInput
• packer::PackerOutput
• planner::Dsig
• planner::DsigUbftSign
• planner::DsigUbftVerify
• planner::DsigVerify
• planner::Hbss
• planner::UbftMessage
• reference::BatchTree
• reference::DsigSignature
• reference::KeyPublic
• reference::PreparedBatch
• reference::PreparedKey
• reference::VerifiedBatch
• reference::WotsSignature
• relay::Delay
• relay::PipeIn
• relay::PipeOut
• relay::Relay
• relay::RelayIn
• relay::RelayOut
• relay::RelayPipe
• relay::ToggleLink
• slice::Slice
• slice::SliceInput
• slice::SliceOutput
• slice_chain::SliceChainEngine
• slice_chain::SliceChainInput
• slice_chain::SliceChainOutput
• slice_factory::CacheWrite
• slice_factory::ChainPick
• slice_factory::ContextRams
• slice_factory::ContextRamsIn
• slice_factory::ContextRamsOut
• slice_factory::Decoded
• slice_factory::FactoryConfig
• slice_factory::FactoryControl
• slice_factory::FactoryData
• slice_factory::KeyDone
• slice_factory::KeyEntry
• slice_factory::SliceFactory
• slice_factory::SliceFactoryInput
• slice_factory::SliceFactoryOutput
• slice_factory::Slot
• slice_factory::SlotRequest
• slice_factory::SlotResult
• slice_factory::WindowLoad
• slice_merkle::Job
• slice_merkle::SubtreeBuilder
• slice_merkle::SubtreeControl
• slice_merkle::SubtreeData
• slice_merkle::SubtreeInput
• slice_merkle::SubtreeOutput
• slice_merkle::SubtreeRoot
• slice_model::ModelKey
• slice_model::Namespace
• slice_model::Request
• slice_schedule::Schedule
• slice_signer::Certificate
• slice_signer::FrameBeat
• slice_signer::KeyMeta
• slice_signer::Message
• slice_signer::NodeRead
• slice_signer::SignerControl
• slice_signer::SignerData
• slice_signer::SignerInput
• slice_signer::SignerOutput
• slice_signer::SliceSigner
• slice_signer::Work
• ubft::Axis512
• ubft::Axis64
• ubft::Latency
• ubft::card::CardInput
• ubft::card::CardOutput
• ubft::card::UbftCard
• ubft::engine::CfgWrite
• ubft::engine::UbftEngine
• ubft::engine::UbftInput
• ubft::engine::UbftOutput
• ubft::probe::ProbeArgs
• ubft::probe::ProbeIn
• ubft::probe::ProbeOut
• ubft::probe::UbftProbe
• ubft::signer::SignConfig
• ubft::signer::SignerIn
• ubft::signer::SignerOut
• ubft::signer::UbftSigner
• ubft::verifier::UbftVerifier
• ubft::verifier::VerifierIn
• ubft::verifier::VerifierOut
• verify::certs::CertAnswer
• verify::certs::CertRequest
• verify::certs::CertResult
• verify::certs::CertsInput
• verify::certs::CertsOutput
• verify::certs::VerifyCerts
• verify::chains::ChainsInput
• verify::chains::ChainsOutput
• verify::chains::DigitsEvent
• verify::chains::LaneDigits
• verify::chains::NodeWrite
• verify::chains::NonceWrite
• verify::chains::Retire
• verify::chains::RingInput
• verify::chains::RingOutput
• verify::chains::RowRequest
• verify::chains::VerifyChains
• verify::chains::VerifyRing
• verify::datapath::Activity
• verify::datapath::Beat
• verify::datapath::CertWarm
• verify::datapath::CoreInput
• verify::datapath::CoreOutput
• verify::datapath::Verdict
• verify::datapath::VerifyCore
• verify::engine::ArItem
• verify::engine::AwItem
• verify::engine::BItem
• verify::engine::ClusterInput
• verify::engine::ClusterOutput
• verify::engine::EdCommand
• verify::engine::EdStatus
• verify::engine::RItem
• verify::engine::UnitControl
• verify::engine::UnitStatus
• verify::engine::VerifyArgs
• verify::engine::VerifyCluster
• verify::engine::VerifyEngine
• verify::engine::VerifyEngineInput
• verify::engine::VerifyEngineOutput
• verify::engine::WItem
• verify::hasher::CheckWrite
• verify::hasher::HasherInput
• verify::hasher::HasherOutput
• verify::hasher::HeaderWrite
• verify::hasher::Loaded
• verify::hasher::VerifyHasher
• verify::unit::ReaderInput
• verify::unit::ReaderOutput
• verify::unit::RecordReader
• verify::unit::UnitInput
• verify::unit::UnitOutput
• verify::unit::VerdictWriter
• verify::unit::VerifyUnit
• verify::unit::WriterInput
• verify::unit::WriterOutput

Enums

• aes_table::PairStyle
• cert_unit::Phase
• planner::Scheme
• slice_schedule::Op

Functions

• aes_table::rom_read8_kernel
• aes_table::sbox_loader_kernel
• aes_table::sbox_read_kernel
• aes_table::sbox_stage_kernel
• aes_table::sbox_stages_kernel
• blake3_core::compress
• blake3_core::compression_pipeline_unchecked_verilog
• blake3_core::compression_pipeline_verilog
• blake3_core::decode_block
• blake3_core::encode_words
• blake3_core::feed_forward_kernel
• blake3_core::g_first_kernel
• blake3_core::g_second_kernel
• blake3_core::initialize_kernel
• blake3_core::quarter_stage_kernel
• blake3_core::round_pipeline_kernel
• blake3_core::round_pipeline_verilog
• blake3_core::salted_block_16
• blake3_core::salted_digest_16
• blake3_core::salted_input_kernel
• cache_bank::cache_bank_kernel
• cert_unit::cert_unit_kernel
• cert_unit::pair_request_kernel
• cert_unit::words64_to_bytes_kernel
• certificate::batch_commitment_words
• chain_lane::blake3_chain_lane_kernel
• chain_lane::le_words_kernel
• chain_lane::sha512_block_kernel
• chain_lane::sha512_chain_lane_kernel
• chain_lane::software_chain
• chain_step::chain_step_block_kernel
• chain_step::chain_step_digest_kernel
• chain_step::chain_step_feed_kernel
• chain_step::chain_step_kernel
• chain_step::live_sbox_evaluations
• chain_step::pin_known_kernel
• chain_step::table_addresses_kernel
• chain_step::table_chain_step_kernel
• chain_step::table_combine_kernel
• chain_step::valid_table_mask
• config::best
• config::sweep
• ed25519::certificate_request
• ed25519::certificate_signer_kernel
• engine::engine_kernel
• engine::set_half_kernel
• haraka::aes_mix_key_kernel
• haraka::aes_round
• haraka::aes_round_kernel
• haraka::aes_sbox
• haraka::aes_sbox_kernel
• haraka::aes_sub_shift_kernel
• haraka::aes_xtime_kernel
• haraka::dsig_chain
• haraka::dsig_chain_block
• haraka::dsig_chain_block_kernel
• haraka::haraka512
• haraka::haraka512_verilog
• haraka::haraka_pipeline_kernel
• haraka::haraka_pipeline_verilog
• haraka::mid_haraka512
• haraka::mix512_kernel
• haraka::mix_key512_kernel
• haraka::sub_shift512_kernel
• hbm_writer::hbm_writer_kernel
• msg_reader::message_reader_kernel
• packer::element_packer_kernel
• packer::place_kernel
• packer::single_flush
• planner::table_lane
• planner::table_lookups
• reference::digits_from_xof
• reference::endpoint_commitment
• reference::message_digits
• reference::root_from_proof
• relay::delay_kernel
• relay::relay_kernel
• relay::relay_pipe_kernel
• relay::toggle_link_kernel
• slice::bank_port_kernel
• slice::slice_kernel
• slice_chain::salt_kernel
• slice_chain::slice_chain_kernel
• slice_factory::bytes_from_words_kernel
• slice_factory::cache_address_kernel
• slice_factory::context_rams_kernel
• slice_factory::lane_tag_kernel
• slice_factory::pick_secret_kernel
• slice_factory::ring_entry_kernel
• slice_factory::slice_factory_kernel
• slice_factory::words_from_bytes_kernel
• slice_merkle::job_tag_kernel
• slice_merkle::node_address_kernel
• slice_merkle::pair_block_kernel
• slice_merkle::ring_of_kernel
• slice_merkle::subtree_kernel
• slice_model::commitment_blocks
• slice_model::commitment_request
• slice_model::context_key
• slice_model::merkle_request
• slice_model::message_digest
• slice_model::message_request
• slice_model::message_tail_request
• slice_model::model_key
• slice_model::model_root
• slice_model::nonce_request
• slice_model::parent_request
• slice_model::prefix_cv
• slice_model::seed_request
• slice_model::xof_request
• slice_schedule::block_ready
• slice_schedule::first_chain_of_xof
• slice_schedule::op_at
• slice_schedule::op_index
• slice_schedule::solve
• slice_signer::cleared_work
• slice_signer::digits_kernel
• slice_signer::frame_address_kernel
• slice_signer::header_tail_kernel
• slice_signer::sibling_address_kernel
• slice_signer::slice_signer_kernel
• ubft::card::ubft_card_kernel
• ubft::engine::latency_word_kernel
• ubft::engine::ubft_engine_kernel
• ubft::latency_kernel
• ubft::probe::probe_message_kernel
• ubft::probe::ubft_probe_kernel
• ubft::signer::ubft_signer_kernel
• ubft::verifier::ubft_verifier_kernel
• verify::certs::rows_equal_kernel
• verify::certs::verify_certs_kernel
• verify::chains::ring_tag_kernel
• verify::chains::verify_chains_kernel
• verify::chains::verify_ring_kernel
• verify::commitment_header
• verify::datapath::verify_core_kernel
• verify::engine::verify_cluster_kernel
• verify::engine::verify_engine_kernel
• verify::engine::words64_kernel
• verify::expected_verdict
• verify::hasher::digits_kernel
• verify::hasher::first_set_kernel
• verify::hasher::index_bit_kernel
• verify::hasher::oldest_first_kernel
• verify::hasher::verify_hasher_kernel
• verify::record
• verify::reference_accepts
• verify::unit::record_reader_kernel
• verify::unit::verdict_writer_kernel
• verify::unit::verify_unit_kernel

Type Aliases

• Digest
• Element
• KeyIndex
• Nonce
• blake3_core::CompressionPipeline
• chain_lane::ChainLane
• haraka::Haraka512Pipeline
• reference::ChainCache
• slice_factory::CommitAddress
• slice_factory::Ctx
• slice_merkle::NodeSlot
• verify::engine::CertCore

Constants

• BATCH_KEYS
• CHAINS
• CHECKSUM_DIGITS
• ELEMENT_BYTES
• KEYS_PER_SLICE
• KEY_BITS
• KEY_ONE
• KEY_ZERO
• MERKLE_HEIGHT
• MESSAGE_BYTES
• MESSAGE_DIGITS
• NODE_LEVELS
• NODE_SLOT_BITS
• POSITIONS
• SEED_DERIVATION_CONTEXT
• SLICES
• SUBTREE_LEVELS
• TOP_LEVELS
• VERIFY_UNITS
• aes_table::T0
• axi4::RESP_OKAY
• blake3_core::BLOCK_BYTES
• blake3_core::CHUNK_END
• blake3_core::CHUNK_START
• blake3_core::DERIVE_KEY_CONTEXT
• blake3_core::DERIVE_KEY_MATERIAL
• blake3_core::IV
• blake3_core::KEYED_HASH
• blake3_core::MESSAGE_PERMUTATION
• blake3_core::MESSAGE_SCHEDULE
• blake3_core::OUTPUT_BYTES
• blake3_core::PARENT
• blake3_core::PIPELINE_STAGES
• blake3_core::ROOT
• blake3_core::ROUNDS
• blake3_core::SINGLE_BLOCK_ROOT
• cache_bank::CACHE_READ_LATENCY
• cache_bank::HIGH_ROWS
• cache_bank::LOW_ROWS
• cache_bank::READ_PIPE
• cert_unit::FLAGS_SINGLE_BLOCK
• cert_unit::IN_FLIGHT
• cert_unit::MAX_OUTSTANDING
• cert_unit::ROOT_QUEUE
• cert_unit::TREE_NODES
• certificate::DOMAIN
• certificate::PROFILE_ID
• chain_lane::LANE_LATENCY
• chain_lane::PROFILE
• chain_step::CHAIN_STEP_LATENCY
• chain_step::KNOWN
• chain_step::KNOWN_MASK
• chain_step::KNOWN_VALUE
• chain_step::LIVE_SBOX
• chain_step::ROMS_PER_TABLE_ROUND
• chain_step::STEP_OUTPUT_BYTES
• chain_step::TABLE_ROUND_FIRST
• chain_step::TABLE_ROUND_SLOTS
• chain_step::ZERO_TAIL_START
• config::DESIGN_MHZ
• config::DEVICE_BRAM36
• config::DEVICE_DSP
• config::DEVICE_URAM
• config::ED25519_BRAM36
• config::ED25519_CYCLES_PER_SIGN
• config::ED25519_DSP
• config::ED25519_LUT
• config::FRAME_BYTES
• config::GLUE_BRAM36
• config::GLUE_LUT
• config::KERNEL_BRAM36
• config::KEY_PERIOD
• config::LANES_PER_SLICE
• config::LOADER_LUT
• config::LUTS_PER_LUT_SBOX
• config::LUT_CAP
• config::RAM_HEADROOM
• config::SBOXES_PER_LANE
• config::SLICE_BRAM36
• config::SLICE_LUT
• config::SLICE_URAM
• config::STEADY_STATE_EFFICIENCY
• engine::ABI_VERSION
• engine::MAGIC
• haraka::AES_ROUNDS
• haraka::DIGEST_BYTES
• haraka::HARAKA_PIPELINE_LATENCY
• haraka::MIX_WORDS
• haraka::ROUND_CONSTANTS
• haraka::ROUND_KEYS_RHDL
• haraka::SBOX
• hbm_writer::FRAME_STRIDE_LOG2
• hbm_writer::MAX_OUTSTANDING
• lease::RANGE_BATCHES
• lease::RANGE_EPOCH_BIT
• msg_reader::BURST_BEATS
• msg_reader::FIFO_BEATS
• packer::COMMITMENT_PREFIX
• packer::SIGNATURE_PREFIX
• planner::AUTO_TABLE_ROUNDS
• planner::BLAKE3_DSP_LANE_LUT
• planner::BLAKE3_LANE_DSP
• planner::BLAKE3_LANE_LUT
• planner::CHAIN_LATENCY
• planner::HARAKA_LANE_LUT
• planner::HARAKA_TABLE_LANE_BRAM36
• planner::HARAKA_TABLE_LANE_LUT
• planner::LOOKUPS_PER_URAM
• planner::MESSAGES
• planner::SHA512_CLIENT_LUT
• planner::SHA512_LANE_LUT
• planner::SIGN_LATENCY_CYCLES
• planner::TABLE_LOADER_LUT
• planner::UBFT_SIGN_LATENCY_CYCLES
• planner::UBFT_SLICES
• planner::UBFT_VERIFY_LATENCY_CYCLES
• planner::V5_KERNEL_LUT_SYNTH
• planner::VERIFY_CARD_RATE
• planner::VERIFY_CARD_UNITS
• planner::VERIFY_CHAIN_STEPS
• planner::VERIFY_CORE_BRAM36
• planner::VERIFY_CORE_LUT
• planner::VERIFY_CORE_TABLE_ROUNDS
• planner::VERIFY_CYCLES_MEASURED
• planner::VERIFY_ED25519_BRAM36
• planner::VERIFY_ED25519_DSP
• planner::VERIFY_ED25519_ISOLATED
• planner::VERIFY_ED25519_LATENCY
• planner::VERIFY_ED25519_LUT
• planner::VERIFY_ED25519_RATE
• planner::VERIFY_ED25519_URAM
• planner::VERIFY_LATENCY_MEASURED
• planner::VERIFY_UNIT_IO_LUT
• reference::SIGNATURE_WIRE_BYTES
• relay::DELAY_STAGES
• relay::PIPE_STAGES
• relay::TOGGLE_STAGES
• sbox_placement::BLOCK_MASK
• sbox_placement::BRAM_PER_LANE
• sbox_placement::LANE_NEEDS_LOAD
• sbox_placement::TABLE_MASK
• sbox_placement::ULTRA_MASK
• sbox_placement::URAM_PER_LANE
• slice::ADMIT_LIMIT
• slice::SUBTREE_SHIFT
• slice_chain::SLICE_CHAIN_LATENCY
• slice_factory::CACHE_ADDRESS_BITS
• slice_factory::CACHE_ROWS
• slice_factory::CACHE_SLOTS
• slice_factory::CHAIN_PICKS
• slice_factory::CONTEXTS
• slice_factory::CTX_BIAS
• slice_factory::CTX_BITS
• slice_factory::CTX_INDEX
• slice_factory::CTX_LEAD
• slice_factory::CTX_ONE
• slice_factory::END_DELAY
• slice_factory::FLAGS_END_ROOT
• slice_factory::FLAGS_PARENT
• slice_factory::FLAGS_SEED
• slice_factory::FLAGS_SINGLE
• slice_factory::FLAG_END
• slice_factory::FLAG_START
• slice_factory::IV_BITS
• slice_factory::KEY_LEAD
• slice_factory::KEY_LEAD_U
• slice_factory::LAG_BIAS
• slice_factory::LAG_BIAS_U
• slice_factory::NONCE_WORD
• slice_factory::PACK_HISTORY
• slice_factory::PK_NONCE_WORD
• slice_factory::SCHEDULE
• slice_factory::SLOTS
• slice_factory::SLOT_BITS
• slice_factory::TWO_BLOCK_MESSAGE
• slice_factory::WINDOW_LOADS
• slice_factory::code::CHUNK0
• slice_factory::code::CHUNK1
• slice_factory::code::IDLE
• slice_factory::code::MERKLE
• slice_factory::code::MESSAGE
• slice_factory::code::NONCE
• slice_factory::code::PARENT
• slice_factory::code::PK_NONCE
• slice_factory::code::SEED
• slice_factory::code::XOF
• slice_merkle::JOB_QUEUE
• slice_merkle::NODES_PER_ENTRY
• slice_merkle::NODE_BASE
• slice_merkle::NODE_RING_BATCHES
• slice_merkle::RING_MASK
• slice_merkle::ROOT_LEVEL
• slice_model::NONCE_PREFIX
• slice_model::PK_NONCE_PREFIX
• slice_schedule::CHUNK0_BLOCKS
• slice_schedule::CHUNK1_BLOCKS
• slice_schedule::COMMITMENT_BYTES
• slice_schedule::KEY_PERIOD
• slice_schedule::OPS
• slice_schedule::TAIL_SLACK
• slice_schedule::XOF_BLOCKS
• slice_signer::FRAME_BEATS
• slice_signer::FRAME_SLOTS
• slice_signer::HEADER_BEATS
• ubft::ABI_VERSION
• ubft::ARG_BATCHES
• ubft::ARG_CV
• ubft::ARG_EPOCH
• ubft::ARG_EPOCHS
• ubft::ARG_EPOCH_MASK
• ubft::ARG_FIRST_BATCH
• ubft::ARG_KEYS
• ubft::ARG_KEY_MASK
• ubft::ARG_SEED
• ubft::ARG_SIGN_COUNT
• ubft::ARG_VERIFY_COUNT
• ubft::KEY_SLOTS
• ubft::MAGIC
• ubft::REG_ABI
• ubft::REG_ANNOUNCED
• ubft::REG_CERTIFIED
• ubft::REG_CERT_CHECKS
• ubft::REG_CERT_FAILS
• ubft::REG_DONE_TICK
• ubft::REG_FAULT
• ubft::REG_KEY_TICK
• ubft::REG_MAGIC
• ubft::REG_PUBLIC_KEY
• ubft::REG_SHAPE
• ubft::REG_SIGNED
• ubft::REG_SIGN_LATENCY
• ubft::REG_SIGN_TAKEN
• ubft::REG_START_TICK
• ubft::REG_TICKS
• ubft::REG_VALID
• ubft::REG_VERIFIED
• ubft::REG_VERIFY_LATENCY
• ubft::VERIFY_IN_FLIGHT
• ubft::VERIFY_REQUEST_BEATS
• ubft::card::ARG_FRAMES
• ubft::card::ARG_PROBE_ANNOUNCE
• ubft::card::ARG_PROBE_COUNT
• ubft::card::ARG_PROBE_GAP
• ubft::card::ARG_PROBE_GO
• ubft::card::ARG_PROBE_SLOT
• ubft::card::ARG_PROBE_TAMPER
• ubft::card::REG_FRAMES_WRITTEN
• ubft::card::REG_PROBE_DONE
• ubft::card::REG_PROBE_FIRST_BAD
• ubft::card::REG_PROBE_MATCHED
• ubft::card::REG_PROBE_MISMATCHED
• ubft::card::REG_WRITE_ERROR
• verify::MESSAGE_BYTES
• verify::MESSAGE_OFFSET
• verify::RECORD_BEATS
• verify::RECORD_BYTES
• verify::VERDICT_CERT
• verify::VERDICT_CHAINS
• verify::VERDICT_FORMAT
• verify::VERDICT_MERKLE
• verify::VERDICT_VALID
• verify::VERDICT_WRITTEN
• verify::certs::ENTRIES
• verify::certs::FREE
• verify::certs::PENDING
• verify::certs::REJECTED
• verify::certs::VERIFIED
• verify::chains::CONTEXTS
• verify::chains::END_BANKS
• verify::chains::LANES
• verify::chains::LANE_CHAINS
• verify::chains::NODE_BANKS
• verify::chains::NONCE_SOURCE
• verify::chains::ROWS
• verify::chains::ROW_LATENCY
• verify::chains::ROW_SLOT
• verify::chains::ROW_SOURCE
• verify::chains::ROW_SOURCE_BANK
• verify::chains::ROW_SOURCE_BYTE
• verify::chains::ZERO_SOURCE
• verify::datapath::NODE_MAP
• verify::datapath::PENDING_VERDICTS
• verify::engine::ABI_VERSION
• verify::engine::ARG_COUNT
• verify::engine::ARG_KEY
• verify::engine::ARG_RECORDS
• verify::engine::ARG_VERDICTS
• verify::engine::MAGIC
• verify::engine::REG_ABI
• verify::engine::REG_CERT_CHECKS
• verify::engine::REG_CERT_FAILS
• verify::engine::REG_DONE_TICK
• verify::engine::REG_FAULT
• verify::engine::REG_KEY_TICK
• verify::engine::REG_MAGIC
• verify::engine::REG_RETIRED
• verify::engine::REG_SHAPE
• verify::engine::REG_START_TICK
• verify::engine::REG_TICKS
• verify::engine::REG_VALID
• verify::unit::BURST_BEATS
• verify::unit::FIFO_BEATS