%0 Journal Article %1 journals/todaes/HuangZSVGM19 %A Huang, Bo-Yuan %A Zhang, Hongce %A Subramanyan, Pramod %A Vizel, Yakir %A Gupta, Aarti %A Malik, Sharad %D 2019 %J ACM Trans. Design Autom. Electr. Syst. %K dblp %N 1 %P 10:1-10:24 %T Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. %U http://dblp.uni-trier.de/db/journals/todaes/todaes24.html#HuangZSVGM19 %V 24

@article{journals/todaes/HuangZSVGM19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Huang, Bo-Yuan and Zhang, Hongce and Subramanyan, Pramod and Vizel, Yakir and Gupta, Aarti and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2dcb2eb194dd0501a8056ca341f307005/dblp}, ee = {https://doi.org/10.1145/3282444}, interhash = {318535be846228eb42123bba8ec79650}, intrahash = {dcb2eb194dd0501a8056ca341f307005}, journal = {ACM Trans. Design Autom. Electr. Syst.}, keywords = {dblp}, number = 1, pages = {10:1-10:24}, timestamp = {2024-04-08T21:43:05.000+0200}, title = {Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.}, url = {http://dblp.uni-trier.de/db/journals/todaes/todaes24.html#HuangZSVGM19}, volume = 24, year = 2019 }