TACAS-artifact.zip (328 MB)
ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
software
posted on 2019-03-10, 12:30 authored by Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad MalikILAng artifact for TACAS submission, including demonstration of behavioral equivalence checking of the AES design a simple execution pipeline.
Funding
XPS: FULL: Hardware Software Abstractions: Addressing Specification and Verification Gaps in Accelerator-Oriented Parallelism
Directorate for Computer & Information Science & Engineering
Find out more...