@inproceedings{ dblp1954721,
  title = {Integrating circuit analyses for assertion-based verification of programmable AMS circuits},
  author = {Dogan Ulus and Alper Sen 0001 and I. Faik Baskaya},
  author_short = {Ulus, D. and Sen 0001, A. and Faik Baskaya, I.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1954721},
  id = {dblp1954721},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fdl/UlusSB13},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6646628},
  conference = {FDL},
  pages = {1-8},
  text = {FDL 2013:1-8},
  booktitle = {Proceedings of Forum on specification and Design Languages (FDL)}
}

{"_id":"vJ7tCPEDP3e6QBWYJ","bibbaseid":"ulus-sen0001-faikbaskaya-integratingcircuitanalysesforassertionbasedverificationofprogrammableamscircuits-2013","downloads":0,"creationDate":"2015-07-05T11:04:52.710Z","title":"Integrating circuit analyses for assertion-based verification of programmable AMS circuits","author_short":["Ulus, D.","Sen 0001, A.","Faik Baskaya, I."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fdl/UlusSB13","bibdata":{"title":"Integrating circuit analyses for assertion-based verification of programmable AMS circuits","author":["Dogan Ulus","Alper Sen 0001","I. Faik Baskaya"],"author_short":["Ulus, D.","Sen 0001, A.","Faik Baskaya, I."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp1954721","id":"dblp1954721","biburl":"http://www.dblp.org/rec/bibtex/conf/fdl/UlusSB13","url":"http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6646628","conference":"FDL","pages":"1-8","text":"FDL 2013:1-8","booktitle":"Proceedings of Forum on specification and Design Languages (FDL)","bibtex":"@inproceedings{ dblp1954721,\n title = {Integrating circuit analyses for assertion-based verification of programmable AMS circuits},\n author = {Dogan Ulus and Alper Sen 0001 and I. Faik Baskaya},\n author_short = {Ulus, D. and Sen 0001, A. and Faik Baskaya, I.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1954721},\n id = {dblp1954721},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fdl/UlusSB13},\n url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6646628},\n conference = {FDL},\n pages = {1-8},\n text = {FDL 2013:1-8},\n booktitle = {Proceedings of Forum on specification and Design Languages (FDL)}\n}","bibbaseid":"ulus-sen0001-faikbaskaya-integratingcircuitanalysesforassertionbasedverificationofprogrammableamscircuits-2013","role":"author","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6646628"},"downloads":0},"search_terms":["integrating","circuit","analyses","assertion","based","verification","programmable","ams","circuits","ulus","sen 0001","faik baskaya"],"keywords":[],"authorIDs":[],"dataSources":["Ra8EjTu4cr3bWKsbP"]}