# LibrEDA STA (Static Timing Analysis)
LibrEDA STA implements static timing analysis algorithms for the LibrEDA framework.
All STA algorithms work on the `NetlistBase` trait and hence are portable
to other netlist data structures.
The concept of timing, delays and constraints is abstracted by a set of traits.
This architecture should allow to implement simple timing models such as the non-linear delay model (NDLM)
and more complicated models (such as statistical models) in a consistent way.
## Documentation
Documentation can be shown with:
```sh
carco doc --open
```
Or alternatively found [here](https://libreda.org/doc/libreda_sta/index.html).