@article{journals/tcad/SongYD14,
  added-at = {2018-11-30T00:00:00.000+0100},
  author = {Song, Yang and Yu, Hao and Dinakarrao, Sai Manoj Pudukotai},
  biburl = {https://www.bibsonomy.org/bibtex/21f054494e881e1e8a02e825d090cb4fd/dblp},
  ee = {https://doi.org/10.1109/TCAD.2014.2304704},
  interhash = {f373c3d5d67a85b1a76e7273fe7910ee},
  intrahash = {1f054494e881e1e8a02e825d090cb4fd},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  keywords = {dblp},
  number = 4,
  pages = {585-598},
  timestamp = {2018-12-01T12:45:39.000+0100},
  title = {Reachability-Based Robustness Verification and Optimization of SRAM Dynamic Stability Under Process Variations.},
  url = {http://dblp.uni-trier.de/db/journals/tcad/tcad33.html#SongYD14},
  volume = 33,
  year = 2014
}

{"_id":"i9G3AFFpeKHnZSWff","bibbaseid":"song-yu-dinakarrao-reachabilitybasedrobustnessverificationandoptimizationofsramdynamicstabilityunderprocessvariations-2014","authorIDs":[],"author_short":["Song, Y.","Yu, H.","Dinakarrao, S. M. P."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-11-30T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Song"],"firstnames":["Yang"],"suffixes":[]},{"propositions":[],"lastnames":["Yu"],"firstnames":["Hao"],"suffixes":[]},{"propositions":[],"lastnames":["Dinakarrao"],"firstnames":["Sai","Manoj","Pudukotai"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21f054494e881e1e8a02e825d090cb4fd/dblp","ee":"https://doi.org/10.1109/TCAD.2014.2304704","interhash":"f373c3d5d67a85b1a76e7273fe7910ee","intrahash":"1f054494e881e1e8a02e825d090cb4fd","journal":"IEEE Trans. on CAD of Integrated Circuits and Systems","keywords":"dblp","number":"4","pages":"585-598","timestamp":"2018-12-01T12:45:39.000+0100","title":"Reachability-Based Robustness Verification and Optimization of SRAM Dynamic Stability Under Process Variations.","url":"http://dblp.uni-trier.de/db/journals/tcad/tcad33.html#SongYD14","volume":"33","year":"2014","bibtex":"@article{journals/tcad/SongYD14,\n added-at = {2018-11-30T00:00:00.000+0100},\n author = {Song, Yang and Yu, Hao and Dinakarrao, Sai Manoj Pudukotai},\n biburl = {https://www.bibsonomy.org/bibtex/21f054494e881e1e8a02e825d090cb4fd/dblp},\n ee = {https://doi.org/10.1109/TCAD.2014.2304704},\n interhash = {f373c3d5d67a85b1a76e7273fe7910ee},\n intrahash = {1f054494e881e1e8a02e825d090cb4fd},\n journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},\n keywords = {dblp},\n number = 4,\n pages = {585-598},\n timestamp = {2018-12-01T12:45:39.000+0100},\n title = {Reachability-Based Robustness Verification and Optimization of SRAM Dynamic Stability Under Process Variations.},\n url = {http://dblp.uni-trier.de/db/journals/tcad/tcad33.html#SongYD14},\n volume = 33,\n year = 2014\n}\n\n","author_short":["Song, Y.","Yu, H.","Dinakarrao, S. M. P."],"key":"journals/tcad/SongYD14","id":"journals/tcad/SongYD14","bibbaseid":"song-yu-dinakarrao-reachabilitybasedrobustnessverificationandoptimizationofsramdynamicstabilityunderprocessvariations-2014","role":"author","urls":{"Link":"https://doi.org/10.1109/TCAD.2014.2304704","Paper":"http://dblp.uni-trier.de/db/journals/tcad/tcad33.html#SongYD14"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/sai manoj?items=1000","creationDate":"2020-06-13T01:10:12.927Z","downloads":0,"keywords":["dblp"],"search_terms":["reachability","based","robustness","verification","optimization","sram","dynamic","stability","under","process","variations","song","yu","dinakarrao"],"title":"Reachability-Based Robustness Verification and Optimization of SRAM Dynamic Stability Under Process Variations.","year":2014,"dataSources":["HdMAraSCRFLdJNzr3"]}