Template-based synthesis of instruction-level abstractions for SoC verification

  title={Template-based synthesis of instruction-level abstractions for SoC verification},
  author={Pramod Subramanyan and Yakir Vizel and Sayak Ray and Sharad Malik},
  journal={2015 Formal Methods in Computer-Aided Design (FMCAD)},
Contemporary integrated circuits are complex system-on-chip (SoC) designs consisting of programmable cores along with accelerators and peripherals controlled by firmware running on the cores. The functionality of the SoC is implemented by a combination of firmware and hardware components. As a result, verifying these two components separately can miss bugs while attempting to formally verify the full SoC design considering both firmware and hardware is not scalable. An abstraction that can be… CONTINUE READING
7 Citations
21 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 21 references

197: Announcing the Advanced Encryption Standard (AES)

  • Technical report
  • 2001
Highly Influential
9 Excerpts

Syntaxguided synthesis

  • R. Alur, R. Bodik, +7 authors A. Udupa
  • Formal Methods in Computer-Aided Design
  • 2013
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…