Consequence-Tagged Reliability Fabric
Consequence-class tag propagation and reliability policy fabric
Executed digital evidenceInspect transport, endpoint and connectivity building blocks.
Editorial selection by documented role and evidence priority. Membership does not establish mutual compatibility; inspect exact releases in the composer.
Consequence-class tag propagation and reliability policy fabric
Executed digital evidenceBounded causal counterexample capture and transport
Executed digital evidenceTransactional energy/current reservation before issue
Executed digital evidenceAPB4 integration adapter
Executed digital evidenceAXI4-Lite integration adapter
Executed digital evidenceAXI4-Lite family integration shell
Executed digital evidenceForge named implementation
Executed digital evidenceFabric switch product
Executed digital evidenceFabric switch product
Executed digital evidenceFabric switch product
Executed digital evidenceDie-to-die link product
Executed digital evidenceDie-to-die link product
Executed digital evidenceDie-to-die link product
Executed digital evidenceDie-to-die link product
Executed digital evidenceDigital RTL implementation indexed as kx_ahb_to_axi. The recorded role is ahb to axi; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_apb_bridge. The recorded role is apb bridge; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_bram. The recorded role is axi bram; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_cdma. The recorded role is axi cdma; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_dma_engine. The recorded role is axi dma engine; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_dma_simple. The recorded role is axi dma simple; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_gpio. The recorded role is axi gpio; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_i2c. The recorded role is axi i2c; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_intc. The recorded role is axi interrupt controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_lite_regs. The recorded role is axi lite registers; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_spi. The recorded role is axi spi; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_timer. The recorded role is axi timer; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_to_wishbone. The recorded role is axi to wishbone; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi_uart. The recorded role is axi uart; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi4_interconnect. The recorded role is axi4 interconnect; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi4_master. The recorded role is axi4 master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_axi4_slave. The recorded role is axi4 slave; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_alarm_timer. The recorded role is alarm timer; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_arp_offload. The recorded role is arp offload; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_avalon_master. The recorded role is avalon master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_avalon_slave. The recorded role is avalon slave; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_csr_unit. The recorded role is csr unit; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_cxl_type1. The recorded role is cxl type1; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_can_ctrl. The recorded role is can controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_credit_counter. The recorded role is credit counter; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_crossbar. The recorded role is crossbar; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_crossbar_mux. The recorded role is crossbar mux; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_drive_strength_ctrl. The recorded role is drive strength controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_flow_control. The recorded role is flow control; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_gpio. The recorded role is gpio; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_gas_sensor. The recorded role is gas sensor; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_hall_sensor. The recorded role is hall sensor; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_humidity_sensor. The recorded role is humidity sensor; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_i2c_master. The recorded role is i2c master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_interrupt_ctrl. The recorded role is interrupt controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_io_pad_ctrl. The recorded role is io pad controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_mac_filter_table. The recorded role is mac filter table; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_mii_to_rgmii. The recorded role is mii to rgmii; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_mailbox. The recorded role is mailbox; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_mesh_noc. The recorded role is mesh noc; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_motor_ctrl. The recorded role is motor controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_nvme_ctrl. The recorded role is nvme controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_network_interface. The recorded role is network interface; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_noc_router. The recorded role is noc router; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_nvm_ctrl. The recorded role is nvm controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_ocp_master. The recorded role is ocp master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_pcie_tl. The recorded role is pcie tl; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_pause_ctrl. The recorded role is pause controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_pin_mux. The recorded role is pin mux; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_pressure_sensor. The recorded role is pressure sensor; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_proximity_sensor. The recorded role is proximity sensor; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_rgmii_to_mii. The recorded role is rgmii to mii; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_rtc. The recorded role is rtc; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_sdio_host. The recorded role is sdio host; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_spi_master. The recorded role is spi master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_semaphore. The recorded role is semaphore; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_sensor_hub. The recorded role is sensor hub; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_slew_rate_ctrl. The recorded role is slew rate controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_stepper_driver. The recorded role is stepper driver; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_tcp_offload. The recorded role is tcp offload; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_tilelink_master. The recorded role is tilelink master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_timer. The recorded role is timer; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_touchscreen_ctrl. The recorded role is touchscreen controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_uart. The recorded role is uart; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_udp_offload. The recorded role is udp offload; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_ultrasonic_ctrl. The recorded role is ultrasonic controller; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_vlan_tagger. The recorded role is vlan tagger; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_wishbone_arbiter. The recorded role is wishbone arbiter; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital RTL implementation indexed as kx_wishbone_master. The recorded role is wishbone master; exact interfaces, parameters and functional coverage are release-bound.
Internal physical evidenceDigital reliable-link architecture covering CRC integrity, sequencing, retry/replay, parameterized width, lane-fabric hooks and a physical proof top below higher-level GFI/GACF transports.
Source / reference evidenceThread-local heterogeneous service architecture exposing digital I/O, radio, sensor, SerDes and optical capability endpoints while preserving homogeneous Thread software contract.
Source / reference evidenceDigital reliability layer implementing CRC32, sequencing, retained retry state, ACK/NACK behavior, deterministic striping and single-spare substitution.
RTL + modelsCoherent DMA architecture for queued data movement and system integration.
Evaluation packageTime-sensitive Ethernet control, queueing and scheduling architecture.
Evaluation packageDie-to-die controller architecture for chiplet integration; PHY and standards qualification are release-specific.
Evaluation packageHierarchical active/passive bridging for local and global package interconnect.
Architecture IPMechanical architecture addressing package expansion and warpage within FPP.
Architecture IPPackage-level signal interconnect within the co-designed FPP fabric hierarchy.
Architecture IPPacketization; flow control; capability exchange; width change; remote reset handling
Architecture IPAdaptive routing; QoS; congestion; fault reroute; telemetry
Architecture IPAdaptive routing; collectives; in-network reduce; congestion/QoS
Architecture IPExpress pass-through, injection/ejection and logical junction selection from homogeneous cells
Architecture IPDie identity, discovery, health, D2D adapters and package topology semantics
Architecture IPLocal/remote memory/IP movement; queues; chaining; completion/error
Architecture IPValid/ready; packet boundaries; keep; ID; priority; metadata
Architecture IPManifests, qualification state, rights, compatibility and marketplace publication
Architecture IPRemote discovery; remote GFI; topology; fault containment; distributed trace
Architecture IPMore slots, remote GFI, route tables, extra DMA queues, link health and multi-die discovery
Architecture IPGMPHY + Channel Compiler + media/protocol adapters + autonomous repair
Architecture IPGSH + GFI + GUT + resource graph + GMPHY/GACF + QoS/isolation/health
Architecture IPMemory, stream, message, atomic, DMA, event, control, discovery, health and trace operations
Architecture IPLane/cell disable; remap; ordering; bandwidth state; recovery
Architecture IPLink attach; remote enumeration; remote CSR/DMA/stream/event/trace; recovery
Architecture IPRemote descriptor fetch; resource aperture; attach/detach; unified inventory
Architecture IPStart with a chip, a software release or a single IP block.