LibrEDA STA (静态时序分析)

LibrEDA STA 为 LibrEDA 框架实现静态时序分析算法。所有 STA 算法都基于 NetlistBase trait，因此可以轻松地移植到其他网表数据结构。

时序、延迟和约束的概念通过一组 traits 进行抽象。这种架构应该允许以一致的方式实现简单的时序模型，如非线性延迟模型（NDLM）和更复杂的模型（如统计模型）。

文档

可以使用以下方式显示文档

carco doc --open

或者可以在此找到。

lib.rs:

== 此软件包目前为实验性，尚不稳定 ==

LibrEDA 框架的基于增量图的静态时序分析 (STA)。

对实现 [trait@NetlistBase] trait 的网表数据结构执行时序分析。这使得 STA 算法易于移植。

时序、延迟和约束的概念通过一组 traits 进行抽象。这种架构应该允许以一致的方式实现简单的时序模型，如非线性延迟模型（NLDM）和更复杂的模型（如统计模型）。