@inproceedings{8b9bdc48428f4cbb8fb47d71420d00e5,
title = "INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms",
abstract = "This paper presents the Instruction-Level Abstraction (ILA) as a formal software/hardware interface for accelerator-rich platforms. The ILA provides a common framework for formal functional specification of processors and accelerator behavior, verifying their implementations, and reasoning about software-hardware interactions of programs with accelerators. The ILA-MCM specification extends the ILA to enable reasoning about interactions of accelerators with other compute engines through shared memory. The 3LA compilation flow for accelerators uses the ILA model to bridge the gap between fine-grain compiler intrinsics and coarse-grain accelerator operations.",
keywords = "ILA, accelerator, compilation, verification",
author = "Huang, {Bo Yuan} and Hongce Zhang and Aarti Gupta and Sharad Malik",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 60th ACM/IEEE Design Automation Conference, DAC 2023 ; Conference date: 09-07-2023 Through 13-07-2023",
year = "2023",
doi = "10.1109/DAC56929.2023.10247894",
language = "English (US)",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2023 60th ACM/IEEE Design Automation Conference, DAC 2023",
address = "United States",
}