@article{ dblp4152423,
  title = {V-SAT: A visual specification and analysis tool for system-on-chip exploration},
  author = {Asheesh Khare and Ashok Halambi and Nicolae Savoiu and Peter Grun and Nikil Dutt and Alex Nicolau},
  author_short = {Khare, A. and Halambi, A. and Savoiu, N. and Grun, P. and Dutt, N. and Nicolau, A.},
  bibtype = {article},
  type = {article},
  year = {2001},
  key = {dblp4152423},
  id = {dblp4152423},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jsa/KhareHSGDN01},
  url = {http://dx.doi.org/10.1016/S1383-7621(00)00049-7},
  journal = {Journal of Systems Architecture (JSA)},
  pages = {263-275},
  number = {3-4},
  volume = {47},
  text = {Journal of Systems Architecture (JSA) 47(3-4):263-275 (2001)}
}

{"_id":{"_str":"5389a21d0e577e1d6b003402"},"__v":0,"authorIDs":[],"author_short":["Khare, A.","Halambi, A.","Savoiu, N.","Grun, P.","Dutt, N.","Nicolau, A."],"bibbaseid":"khare-halambi-savoiu-grun-dutt-nicolau-vsatavisualspecificationandanalysistoolforsystemonchipexploration-2001","bibdata":{"title":"V-SAT: A visual specification and analysis tool for system-on-chip exploration","author":["Asheesh Khare","Ashok Halambi","Nicolae Savoiu","Peter Grun","Nikil Dutt","Alex Nicolau"],"author_short":["Khare, A.","Halambi, A.","Savoiu, N.","Grun, P.","Dutt, N.","Nicolau, A."],"bibtype":"article","type":"article","year":"2001","key":"dblp4152423","id":"dblp4152423","biburl":"http://www.dblp.org/rec/bibtex/journals/jsa/KhareHSGDN01","url":"http://dx.doi.org/10.1016/S1383-7621(00)00049-7","journal":"Journal of Systems Architecture (JSA)","pages":"263-275","number":"3-4","volume":"47","text":"Journal of Systems Architecture (JSA) 47(3-4):263-275 (2001)","bibtex":"@article{ dblp4152423,\n title = {V-SAT: A visual specification and analysis tool for system-on-chip exploration},\n author = {Asheesh Khare and Ashok Halambi and Nicolae Savoiu and Peter Grun and Nikil Dutt and Alex Nicolau},\n author_short = {Khare, A. and Halambi, A. and Savoiu, N. and Grun, P. and Dutt, N. and Nicolau, A.},\n bibtype = {article},\n type = {article},\n year = {2001},\n key = {dblp4152423},\n id = {dblp4152423},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jsa/KhareHSGDN01},\n url = {http://dx.doi.org/10.1016/S1383-7621(00)00049-7},\n journal = {Journal of Systems Architecture (JSA)},\n pages = {263-275},\n number = {3-4},\n volume = {47},\n text = {Journal of Systems Architecture (JSA) 47(3-4):263-275 (2001)}\n}","bibbaseid":"khare-halambi-savoiu-grun-dutt-nicolau-vsatavisualspecificationandanalysistoolforsystemonchipexploration-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S1383-7621(00)00049-7"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jsa/KhareHSGDN01","downloads":0,"keywords":[],"search_terms":["sat","visual","specification","analysis","tool","system","chip","exploration","khare","halambi","savoiu","grun","dutt","nicolau"],"title":"V-SAT: A visual specification and analysis tool for system-on-chip exploration","year":2001,"dataSources":["4ku47XnK9T6i7bMvb"]}