Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Status and Evidence
2.
The Processor Contract
3.
RTL Contract
4.
RTL as a Lean DSL
5.
Instruction Encoding
6.
Fetch Refinement
7.
Cell Lifecycle
8.
Synchronous-Read Cell
9.
Pipelined Cell
10.
Operand Pipeline
11.
Mesh and Router
12.
Kernel Execution
13.
Kernel Scheduling
14.
Kernel Overflow Bounds
15.
Block-Float Arithmetic
16.
Load and Utilization Models
Source Code
Report Issues
