1 个不稳定版本

0.1.0 2023年11月16日

#2814 in 解析器实现

MIT/Apache

385KB
10K SLoC

SDCx

SDCx 是 SDC (Synopsys 设计约束) 工具包。它提供了一个用于处理 SDC 文件的 CLI 工具和 Rust 的 SDC 解析库。

关于 SDC

SDC (Synopsys 设计约束) 是描述 ASIC/FPGA 设计约束的既定标准格式。SDC 规范通过 技术访问计划 (TAP-in) 发布。SDCx 支持 SDC 1.1 ~ SDC 2.1 规范。

CLI 工具

sdcx 是 SDCx 的 CLI 前端。它提供以下功能。

  • 检查:验证输入 SDC 文件。
  • 格式:格式化输入 SDC 文件。

检查

sdcx check 验证输入 SDC 文件。默认情况下,sdcx 使用根据 set sdc_version 命令指定的 SDC 版本。如果没有指定版本,则假定 SDC 2.1。如果提供了 --force-version 选项,则可以覆盖版本。

$ cat test.sdc
set sdc_version 2.1
set_sense -positive pin; # set_sense is supported on SDC2.1 only
$ sdcx check test.sdc
$ sdcx check --force-version 2.0 test.sdc
error[sdcx::sdc::SdcError]: Unsupported command at SDC 2.0
  ┌─ test.sdc:2:1
  │
2 │ set_sense -positive pin; # set_sense is supported on SDC2.1 only
  │ ^^^^^^^^^^^^^^^^^^^^^^^ Found

格式

许可证

许可协议为以下之一

任选其一。

贡献

除非您明确声明,否则根据 Apache-2.0 许可证定义的,您有意提交以包含在作品中的任何贡献,应按上述方式双许可,而无需任何额外条款或条件。

依赖

~6–16MB
~165K SLoC