CircuitGraph: A Python package for Boolean circuits

Python Coq Verilog SystemVerilog Submitted 30 August 2020Published 04 December 2020

Editor: @danielskatz (all papers)
Reviewers: @skadio (all reviews), @prw99r (all reviews), @r-a-hoggarth (all reviews)


Joseph Sweeney, Ruben Purdy, Ronald D. Blanton, Lawrence Pileggi


Sweeney et al., (2020). CircuitGraph: A Python package for Boolean circuits. Journal of Open Source Software, 5(56), 2646,

@article{Sweeney2020, doi = {10.21105/joss.02646}, url = {}, year = {2020}, publisher = {The Open Journal}, volume = {5}, number = {56}, pages = {2646}, author = {Joseph Sweeney and Ruben Purdy and Ronald D. Blanton and Lawrence Pileggi}, title = {CircuitGraph: A Python package for Boolean circuits}, journal = {Journal of Open Source Software} }
Copy citation string · Copy BibTeX  

Boolean circuits satisfiability graph electronic design automation

Markdown badge



Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066