research
∙
11/30/2022
HEAT: Hardware-Efficient Automatic Tensor Decomposition for Transformer Compression
Transformers have attained superior performance in natural language proc...
share
research
∙
02/12/2021
Verifying High-Level Latency-Insensitive Designs with Formal Model Checking
Latency-insensitive design mitigates increasing interconnect delay and e...
research
∙
12/19/2020
