Browsing by Author Vizel, Yakir
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2018 | Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification | Huang, Boyuan; Zhang, Hongce; Subramanyan, Pramod; Vizel, Yakir; Gupta, Aarti; et al |
| Oct-2017 | Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification | Subramanyan, Pramod; Huang, Bo-Yuan; Vizel, Yakir; Gupta, Aarti; Malik, Sharad |