%0 Conference Paper %1 conf/isqed/GharehbaghiF14 %A Gharehbaghi, Amir Masoud %A Fujita, Masahiro %B ISQED %D 2014 %I IEEE %K dblp %P 604-610 %T Specification and formal verification of power gating in processors. %U http://dblp.uni-trier.de/db/conf/isqed/isqed2014.html#GharehbaghiF14 %@ 978-1-4799-3945-9

@inproceedings{conf/isqed/GharehbaghiF14, added-at = {2014-04-10T00:00:00.000+0200}, author = {Gharehbaghi, Amir Masoud and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2538929c493f4d0f9b83d1e0ffbf11311/dblp}, booktitle = {ISQED}, crossref = {conf/isqed/2014}, ee = {http://dx.doi.org/10.1109/ISQED.2014.6783382}, interhash = {584a589a544df63ef07bb2ffe27ce418}, intrahash = {538929c493f4d0f9b83d1e0ffbf11311}, isbn = {978-1-4799-3945-9}, keywords = {dblp}, pages = {604-610}, publisher = {IEEE}, timestamp = {2015-06-18T23:43:00.000+0200}, title = {Specification and formal verification of power gating in processors.}, url = {http://dblp.uni-trier.de/db/conf/isqed/isqed2014.html#GharehbaghiF14}, year = 2014 }