This repository contains the source code and documentation for act-oracle, a tool generator in the ACT Ecosystem that automatically generates test oracles just from ISA specifications written in TAIDL.
For more details about the ACT Ecosystem, refer to the top-level repository: act-compiler/act.
TAIDL is a domain-specific language designed to define instruction set architectures (ISAs) for tensor accelerators. It is published at MICRO 2025. TAIDL not only standardizes the way tensor accelerator ISAs are specified but also enables automated generation of tools such as test oracles (functional simulators) and compiler backends, significantly reducing the effort required to develop and maintain these components.
act-oracle is one of the tool generators in the ACT Ecosystem that consumes TAIDL specifications and emits out a fast & scalable test oracle instantaneously.
Details on automatically generating fast & scalable test oracles from TAIDL definitions is present in Section 6 of our MICRO 2025 paper. For detailed evaluations against existing baselines, refer to our MICRO 2025 Artifact.