ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.

Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik

Browse the full TACAS paper archive.