%0 Journal Article %1 journals/corr/abs-1801-01114 %A Huang, Bo-Yuan %A Zhang, Hongce %A Subramanyan, Pramod %A Vizel, Yakir %A Gupta, Aarti %A Malik, Sharad %D 2018 %J CoRR %K dblp %T Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr1801.html#abs-1801-01114 %V abs/1801.01114

@article{journals/corr/abs-1801-01114, added-at = {2021-03-24T00:00:00.000+0100}, 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/25ae6deea35aa7ea7df9ccf1594ad19ba/dblp}, ee = {http://arxiv.org/abs/1801.01114}, interhash = {88c1ade750764b7b69db6cd32f753eb0}, intrahash = {5ae6deea35aa7ea7df9ccf1594ad19ba}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:06:27.000+0200}, title = {Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1801.html#abs-1801-01114}, volume = {abs/1801.01114}, year = 2018 }