Core traits and data types for representation and manipulation of logic functions.
Updated
Parallel graph processing using an operator formulation.
Updated
Fast lookup-table based computation of rectilinear Steiner minimal trees (RSMT).
Updated
Repository holding the cargo workspace of LibrEDA with all sub-projects. This is meant as a way to distribute the most recent source-code.
Updated
Boolean operations on polygons for the `iron-shapes` crate.
Updated
The ultimate guide through LibrEDA.
Updated
Layout and netlist data structures for the Rust LibrEDA framework.
Updated
Simple library for parsing data from iterators.
Updated
Primitive data types and basic routines for Euclidean geometry in the plane. This is developed as a core geometry library of LibrEDA.
Updated
Rust crate of a parser and writer for the 'liberty' format which is used to describe the timing behavior of CMOS standard-cells.
Updated
Static timing analysis (STA) for netlists of the LibrEDA framework.
Updated
Verilog netlist parser and writer for LibrEDA. Only supports the structural Verilog syntax as used by Yosys.
Updated