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