Inproceedings,
A scalable hybrid verification system based on HDL slicing.
S. Banerjee, T. Gupta, and S. Jain.HLDVT, page 41-48. IEEE Computer Society, (2011)
Meta data
- BibTeX key
- conf/hldvt/BanerjeeGJ11
- entry type
- inproceedings
- booktitle
- HLDVT
- year
- 2011
- pages
- 41-48
- publisher
- IEEE Computer Society
- crossref
- conf/hldvt/2011
- ee
- https://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6114164
- isbn
- 978-1-4577-1744-4
- url
- http://dblp.uni-trier.de/db/conf/hldvt/hldvt2011.html#BanerjeeGJ11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hldvt/BanerjeeGJ11
%A Banerjee, Somnath
%A Gupta, Tushar
%A Jain, Saurabh
%B HLDVT
%D 2011
%E Zilic, Zeljko
%E Shukla, Sandeep K.
%I IEEE Computer Society
%K dblp
%P 41-48
%T A scalable hybrid verification system based on HDL slicing.
%U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2011.html#BanerjeeGJ11
%@ 978-1-4577-1744-4
@inproceedings{conf/hldvt/BanerjeeGJ11,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Banerjee, Somnath and Gupta, Tushar and Jain, Saurabh},
biburl = {https://www.bibsonomy.org/bibtex/2f3253cdd30a12dc396df6fe6b46433cd/dblp},
booktitle = {HLDVT},
crossref = {conf/hldvt/2011},
editor = {Zilic, Zeljko and Shukla, Sandeep K.},
ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6114164},
interhash = {c5ca808347e0bf4e953ce3b450f12d69},
intrahash = {f3253cdd30a12dc396df6fe6b46433cd},
isbn = {978-1-4577-1744-4},
keywords = {dblp},
pages = {41-48},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T18:43:16.000+0200},
title = {A scalable hybrid verification system based on HDL slicing.},
url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2011.html#BanerjeeGJ11},
year = 2011
}