Tomasz S. Czajkowski. Silicon Verification using High-Level Design Tools (Abstract Only). In George A. Constantinides, Deming Chen, editors, Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, CA, USA, February 22-24, 2015. pages 272, ACM, 2015. [doi]
@inproceedings{Czajkowski15, title = {Silicon Verification using High-Level Design Tools (Abstract Only)}, author = {Tomasz S. Czajkowski}, year = {2015}, doi = {10.1145/2684746.2689131}, url = {http://doi.acm.org/10.1145/2684746.2689131}, researchr = {https://researchr.org/publication/Czajkowski15}, cites = {0}, citedby = {0}, pages = {272}, booktitle = {Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, CA, USA, February 22-24, 2015}, editor = {George A. Constantinides and Deming Chen}, publisher = {ACM}, isbn = {978-1-4503-3315-3}, }