tag:joss.theoj.org,2005:/papers/tagged/Boolean%20circuitsJournal of Open Source Software2020-12-04T20:48:04ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/19962020-12-04T20:48:04Z2021-02-15T11:30:03ZCircuitGraph: A Python package for Boolean circuitsacceptedv0.0.12020-08-30 20:17:40 UTC562020-12-04 20:48:04 UTC520202646JosephSweeneyDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213RubenPurdyDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213RonaldD.BlantonDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213LawrencePileggiDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 1521310.21105/joss.02646https://doi.org/10.5281/zenodo.4302741Python, Coq, Verilog, SystemVeriloghttps://joss.theoj.org/papers/10.21105/joss.02646.pdfBoolean circuits, satisfiability, graph, electronic design automation