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.
Full Pipeline
12.
Mesh and Router
13.
Kernel Execution
14.
Kernel Scheduling
15.
Kernel Overflow Bounds
16.
Block-Float Arithmetic
17.
Load and Utilization Models
Source Code
Report Issues
