Skip to main content Skip to secondary navigation


Main content start

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

AHA Toolchain


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

Garnet SOC

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