%0 Conference Paper %1 conf/hldvt/KayedAG16 %A Kayed, Mohamed O. %A Abdelsalam, Mohamed %A Guindi, Rafik %B HLDVT %D 2016 %I IEEE %K dblp %P 1-8 %T Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2016.html#KayedAG16 %@ 978-1-5090-4270-8

@inproceedings{conf/hldvt/KayedAG16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Kayed, Mohamed O. and Abdelsalam, Mohamed and Guindi, Rafik}, biburl = {https://www.bibsonomy.org/bibtex/21e30b1a279be562ca20913c22bdfa287/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2016.7748248}, interhash = {f9af5b143b39cd5704e8b42135b87628}, intrahash = {1e30b1a279be562ca20913c22bdfa287}, isbn = {978-1-5090-4270-8}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-10T18:43:05.000+0200}, title = {Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2016.html#KayedAG16}, year = 2016 }