Protocol source
AMBA AXI Protocol Specification
Issue K · AXI channels, handshakes, dependencies, transactions, and atomic behavior.
Demo centerUse case 01
Live EFS generation
Generate executable AXI flows from specification intent.
Select any stage to inspect its input, processing result, and generated visual. Run the full demo to move through all five stages automatically.
20%
Input configuration
Select specification intent
The demo combines a protocol source, a subsystem source, and a control table that defines which sections and behaviors EFS should extract.
Subsystem source
Matrix Multi-Core Compute Unit
AXI4 interface, reset, start, busy, done, error, MLOAD, and MSTORE behavior.
Controller
matrix_compute_axi_table.xlsx
Document, section, extraction request, and optional engineering comments.
Control-table intent
| Document | Section | Description | Comments |
|---|---|---|---|
| matrix_compute_unit.docx | Section 5 / 14 | Generate EFS for I/O module | Use MLOAD and MSTORE |
| amba_axi_protocol_spec.docx | A3.3 | Extract AXI transaction logic | Handshake-aware generation |
2
Specification sources
7
AXI channel groups
19+
Interface signals
2
Rendered EFS diagrams