Inproceedings,
Formal Verification of Power Management Logic with Mixed-Signal Domains.
S. Mandal, A. da Costa, A. Hazra, P. Dasgupta, B. Naware, C. Mohan, and S. Basu.VLSID, page 239-244. IEEE Computer Society, (2017)
Meta data
- BibTeX key
- conf/vlsid/MandalCHDNMB17
- entry type
- inproceedings
- booktitle
- VLSID
- year
- 2017
- pages
- 239-244
- publisher
- IEEE Computer Society
- crossref
- conf/vlsid/2017
- ee
- https://doi.ieeecomputersociety.org/10.1109/VLSID.2017.43
- isbn
- 978-1-5090-5740-5
- url
- http://dblp.uni-trier.de/db/conf/vlsid/vlsid2017.html#MandalCHDNMB17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/vlsid/MandalCHDNMB17
%A Mandal, Sudipa
%A da Costa, Antonio Anastasio Bruto
%A Hazra, Aritra
%A Dasgupta, Pallab
%A Naware, Bhushan
%A Mohan, Chunduri Rama
%A Basu, Sanjib
%B VLSID
%D 2017
%I IEEE Computer Society
%K dblp
%P 239-244
%T Formal Verification of Power Management Logic with Mixed-Signal Domains.
%U http://dblp.uni-trier.de/db/conf/vlsid/vlsid2017.html#MandalCHDNMB17
%@ 978-1-5090-5740-5
@inproceedings{conf/vlsid/MandalCHDNMB17,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Mandal, Sudipa and da Costa, Antonio Anastasio Bruto and Hazra, Aritra and Dasgupta, Pallab and Naware, Bhushan and Mohan, Chunduri Rama and Basu, Sanjib},
biburl = {https://www.bibsonomy.org/bibtex/2ac388adeede3531e7e583f132902c44c/dblp},
booktitle = {VLSID},
crossref = {conf/vlsid/2017},
ee = {https://doi.ieeecomputersociety.org/10.1109/VLSID.2017.43},
interhash = {a652a39c876cfa847f306d964b773bfe},
intrahash = {ac388adeede3531e7e583f132902c44c},
isbn = {978-1-5090-5740-5},
keywords = {dblp},
pages = {239-244},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T01:04:39.000+0200},
title = {Formal Verification of Power Management Logic with Mixed-Signal Domains.},
url = {http://dblp.uni-trier.de/db/conf/vlsid/vlsid2017.html#MandalCHDNMB17},
year = 2017
}