Research
AHA research covers multiple areas including applications, hardware generation, and validation.

Applications
Create hardware for state-of-the-art applications that combine image processing and machine learning.
• New image and vision applications
• Halide-to-Hardware Compiler
• Aetherling System

CGRA Architecture and Tools
Developed three different domain-specific languages (DSL) to generate individual components for the CGRA.
• PEak
• Lake
• Canal

System-on-Chip (SoC)
Two major goals underlie our SoC theme. First, we want to create an infrastructure that will facilitate the design of SoCs in general. Second, we want to design a complete system around our coarse-grained reconfigurable array (CGRA).

Creating Better Hardware Generation Tools
Create clean design abstractions, which makes it possible to embed knowledge about optimization into the tools, enabling one to leverage other people’s tools and expertise.
• CoreIR
• Magma
• Gemstone
Improved Validation
Focused on the rapid verification of modular systems that integrate components from many sources.
• Pono Model Checker
• Fault