Software.bib

@article{wang2019dgl,
    title={Deep Graph Library: Towards Efficient and Scalable Deep Learning on Graphs},
    author={Wang, Minjie and Yu, Lingfan and Zheng, Da and others},
    journal={ICLR Workshop on Representation Learning on Graphs and Manifolds},
    year={2019},
}

@inproceedings{paszke2017automatic,
  title={Automatic Differentiation in {PyTorch}},
  author={Paszke, Adam and Gross, Sam and Chintala, Soumith and Chanan, Gregory and Yang, Edward and DeVito, Zachary and Lin, Zeming and Desmaison, Alban and Antiga, Luca and Lerer, Adam},
  booktitle={NeurIPS Autodiff Workshop},
  year={2017},
}

% =========================================================
%            General Algorithm Tools
% =========================================================
@BOOK{TOOL-B1999-leda,
    title        = {{LEDA: A Platform for Combinatorial and Geometric Computing}},
    publisher    = {Cambridge University Press},
    year         = {1999},
    author       = {Kurt Mehlhorn and Stefan Naher},
}
@book{TOOL-B2001-openmp,
    title        = {{Parallel Programming in OpenMP}},
    author       = {Chandra, Rohit},
    year         = {2001},
    publisher    = {Morgan Kaufmann},
}
@misc{TOOL-openmp,
    title        = {{OpenMP}},
    howpublished = "\url{http://www.openmp.org/}",
}
@misc{TOOL-eigen,
    title        = {{Eigen}},
    howpublished = "\url{http://www.eigen.tuxfamily.org/}",
}
@ARTICLE{TOOL-csdp,
    author       = {Brian Borchers},
    title        = {{CSDP}, A {C} library for semidefinite programming},
    journal      = {Optimization Methods and Software},
    year         = {1999},
    volume       = {11},
    pages        = {613--623},
}
@misc{TOOL-glpk,
    title  = {{GLPK (GNU linear programming kit)}},
    author = {Makhorin, Andrew},
    year   = {2008},
}
@misc{TOOL-gurobi,
    author        = {{Gurobi Optimization Inc.}},
    title         = {Gurobi Optimizer Reference Manual},
    year          = 2016,
    howpublished  = "\url{http://www.gurobi.com}",
}
@misc{TOOL-alglib,
    title        = {{ALGLIB}},
    howpublished = "\url{http://www.alglib.net/matrixops/cholesky.php}",
}
@misc{TOOL-lemon,
    title        = {{LEMON}},
    howpublished = "\url{http://lemon.cs.elte.hu/trac/lemon}",
}
@misc{TOOL-cbc,
    title        = {{CBC}},
    howpublished = "\url{http://www.coin-or.org/projects/Cbc.xml}",
}
@misc{TOOL-spda,
    title        = {{SPDA}},
    howpublished = "\url{http://sdpa.indsys.chuo-u.ac.jp/sdpa/intro.html}",
}
@misc{TOOL-boost,
    title        = {{Boost C++ Library}},
    howpublished = "\url{http://www.boost.org}",
}
@misc{TOOL-matlab,
    title        = {{MATLAB}},
    howpublished = "\url{http://www.mathworks.com/products/matlab.html}",
}
@misc{TOOL-matlab-cvx-link,
    author       = {Michael Grant and Stephen Boyd},
    title        = {{CVX}: Matlab Software for Disciplined Convex Programming, version 2.1},
    howpublished = {\url{http://cvxr.com/cvx}},
    month        = mar,
    year         = 2014,
}
@incollection{TOOL-matlab-cvx-paper,
    author    = {Michael Grant and Stephen Boyd},
    title     = {Graph implementations for nonsmooth convex programs},
    booktitle = {Recent Advances in Learning and Control},
    series    = {Lecture Notes in Control and Information Sciences},
    editor    = {V. Blondel and S. Boyd and H. Kimura},
    publisher = {Springer-Verlag Limited},
    pages     = {95--110},
    year      = 2008,
    note      = {\url{http://stanford.edu/~boyd/graph-dcp.html}}
}



% =========================================================
%                  CAD Tools 
% =========================================================
@misc{TOOL-calibre,
    author       = {{Mentor Graphics}},
    title        = {Calibre Verification User's Manual},
    year         = 2008,
}
@misc{TOOL-calibre-pm,
    title        = {Calibre Pattern Matching},
    howpublished = "\url{http://www.mentor.com/products}",
    abstract     = {pattern matching in mentor},
}
@misc{TOOL-icc,
    title        = {Synopsys {IC Compiler}},
    howpublished = "\url{http://www.synopsys.com}",
}
@misc{TOOL-dc,
    title        = {Synopsys {Design Compiler}},
    howpublished = "\url{http://www.synopsys.com}",
}
@misc{TOOL-ic-validator,
    title        = {Synopsys {IC Validator}},
    howpublished = "\url{http://www.synopsys.com}",
    abstract     = {DFM in synopsys},
}
@misc{TOOL-pt,
    title        = {Synopsys {PrimeTime}},
    howpublished = "\url{http://www.synopsys.com}",
}
@misc{TOOL-ptpx,
    title        = {Synopsys {PrimeTime PX}},
    howpublished = "\url{http://www.synopsys.com}",
}
@misc{TOOL-encounter,
    title        = {{Cadence {SOC} Encounter}},
    howpublished = "\url{http://www.cadence.com}",
}
@misc{TOOL-virtuoso-dfm,
    title        = {Cadence {Virtuoso DFM}},
    howpublished = "\url{http://www.cadence.com}",
    abstract     = {DFM in cadence}
}
@misc{TOOL-nanoscope,
    title        = {{Anchor Semiconductor NanoScope}},
    howpublished = "\url{http://www.anchorsemi.com}",
    abstract     = {},
}
@misc{TOOL-lefdef,
    title        = {{LEF/DEF} Language Reference},
    howpublished = "\url{http://www.ispd.cc/contests/14/web/doc/lefdefref.pdf}",
    abstract     = {},
}
@misc{TOOL-electric,
    title        = {{Electric}},
    howpublished = "\url{http://www.staticfreesoft.com}",
    abstract     = {Oracle tool developed by Gilda},
}
@misc{TOOL-redhawk-sem,
    title        = {{RedHawk-SEM}},
    howpublished = "\url{https://www.apache-da.com/products/redhawk/redhawk-sem}",
    abstract     = {},
}
@misc{TOOL-xilinx,
    title        = {{Xilinx UltraScale Architecture}},
    howpublished = {\url{https://www.xilinx.com/products/technology/ultrascale.html}},
}
@inproceedings{TOOL-ASPDAC2006-openaccess,
    title        = {An introduction to {OpenAccess}: an open source data model and {API} for {IC} design},
    author       = {Guiney, Michaela and Leavitt, Eric},
    booktitle    = aspdac,
    pages        = {434--436},
    year         = {2006},
}
@misc{TOOL-OpenMPL,
    title        = {{OpenMPL}},
    howpublished = "\url{https://github.com/limbo018/OpenMPL}",
}
@misc{TOOL-Limbo,
    title       = {{Limbo}},
    howpublished = "\url{http://yibolin.com/Limbo/docs/html/index.html}",
}



% =========================================================
%                  CAD Libraries 
% =========================================================
@misc{LIB-nangate45,
    title        = {{NanGate FreePDK45 Generic Open Cell Library}},
    howpublished = "\url{http://www.si2.org/openeda.si2.org/projects/nangatelib}",
    year         = {2008},
}
@misc{LIB-nangate15,
    title        = {{NanGate FreePDK15 Open Cell Library}},
    howpublished = "\url{http://www.nangate.com/?page-id=2328}",
    year         = {2015},
}
@misc{LIB-ptm16,
    title        = {{Predictive Technology Model ver. 2.1}},
    howpublished = "\url{http://ptm.asu.edu}",
    year         = {2008},
}
@misc{LIB-oracle-design,
    howpublished = "\url{http://www.staticfreesoft.com/electricGallery.html}",
    abstract     = {design provided by Gilda@OracleLab},
}
@misc{LIB-SAED,
    title        = {{Synopsys SAED Library}},
    howpublished = {\url{http://www.synopsys.com/Community/UniversityProgram/Pages/32-28nm-generic-library.aspx}},
    note         = {Accessed 23-April-2016},
}

% =========================================================
%                Benchmarks 
% =========================================================
@misc{BENCH-sparcT1,
    title        = {{OpenSPARC T1}},
    howpublished = "\url{http://www.oracle.com/technetwork/systems/opensparc/index.html}",
}
@inproceedings{BENCH-ISCAS1989-Brglez,
    title     = {Combinational profiles of sequential benchmark circuits},
    author    = {Brglez, Franc and Bryan, David and Ko{\'z}mi{\'n}ski, Krzysztof},
    booktitle = iscas,
    pages     = {1929--1934},
    year      = {1989},
}
@techreport{BENCH-TR1991-MCNC,
    title       = {Logic Synthesis and Optimization Benchmarks User Guide: Version 3.0},
    author      = {Yang, S.},
    year        = {1991},
    institution = {MCNC Technical Report},
}