Phaeton: A tiny DSL for DNN accelerator tensor expressions

Syntax

1. Phaeton Specification

TBD.