BitSAD is a domain-specific framework for bitstream computing. It aims to provide a general purpose linear algebra interface for writing algorithms that can be mapped to bitstream computing hardware. Programs written in BitSAD can be turned into synthesizable, verified SystemVerilog code.
See CITATION.bib for how to cite BitSAD if you use it in your research.
Note: Deterministic bitstreams are temporarily unavailable.
You can install BitSAD by opening a Julia REPL and entering (note that the
] indicates Pkg mode):
] add BitSAD