==========================================================================
  RainaSynth - README（安装与快速上手说明）
  版本：3.0
  版权所有 (C) 2022-2026 Raina, Inc.
==========================================================================

一、产品简介
--------------------------------------------------------------------------
RainaSynth 是 raina（raina.tech）推出的新一代物理感知（Physical-aware）
逻辑综合工具。它在逻辑综合过程中利用后端物理实现信息（布局、布线、寄生
参数），使延时与功耗的预估更加准确，并通过前后端融合的统一数据模型连接
前端逻辑设计与后端物理设计，减少迭代、加速设计收敛、重新定义 PPA 优化
边界。

核心特性：
  1. 物理信息驱动综合 —— 实时物理建模引擎，PPA 预测精度大幅提升，
     避免传统流程中"综合 -> 布局布线 -> 重新综合"的反复迭代；
  2. 超线性并行架构 —— 分布式多核加速，支持千核级任务调度，
     典型设计综合周期缩短 3-8 倍，支持混合云弹性部署；
  3. 四维优化空间探索 —— RTL->Gate->Floorplan 纵向协同、PPA 多权重
     动态平衡、关键路径智能聚类、AI 驱动设计空间搜索；
  4. 智能优化决策引擎 —— 强化学习 + 元启发式算法探索 PPA 帕累托前沿；
  5. 无缝融入设计生态 —— 完整兼容行业标准 SDC 约束、工艺库（Liberty）
     与 IP 模型，提供 GUI 看板与工业级 TCL 双模交互。

二、系统要求
--------------------------------------------------------------------------
  * 运行平台：Linux 64 位服务器（典型环境如 user@edacoder85 等
    EDA 服务器；云就绪架构，支持混合云部署）
  * 交互环境：TCL 命令解释器（工具内置），支持 Tcl/Python API
    脚本扩展
  * 授权：内置加密授权验证系统（License 由 raina 统一提供）
  【注】详细的 OS 发行版、内存/磁盘与内核版本要求，请参考随发行包
  附带的安装文档或联系 raina 技术支持。

三、安装步骤
--------------------------------------------------------------------------
  1. 从 raina 官方渠道获取 RainaSynth 发行包，并上传/解压到目标
     服务器的安装目录。
  2. 验证安装：在终端键入
        source /latest/release/bin/RunRainaSynth.sh
     若出现如下版权信息与交互提示符，即安装成功：

        Copyright (C) 2022-2025 Raina, Inc.
        This software and the associated documentation are
        proprietary to Raina, Inc.
        RainaSynth>>

  【注】上述步骤为通用流程示例；具体的包名、目录结构与 License 环境变量
  设置以 raina 随发行包提供的官方安装文档为准。

四、快速上手
--------------------------------------------------------------------------
一个典型的综合流程需要准备以下输入数据：

  * 逻辑库（.lib / Liberty 格式）：标准单元、I/O、存储器（SRAM/ROM）
    的时序、功耗模型，及多工艺角（TT/FF/SS）数据；
  * 约束文件（.sdc）：时钟、IO 时序、功耗控制等约束；
  * 流程脚本（.tcl）：定义本次综合流程的执行过程；
  * RTL 设计文件（.v / Verilog / SystemVerilog）。

示例 run.tcl：

    read_liberty /share1/silibraries/nangate45/lib/NangateOpenCellLibrary_typical.lib
    set path ../../src
    foreach v [glob -nocomplain -directory $path *.v] {
        analyze $v
    }
    elaborate gcd
    synth -top gcd
    write_file -netlist log/synth.v
    read_sdc ../constraint.sdc
    netlist_opt
    write_file -netlist log/opt.v
    report_power  > log/power.rpt
    report_timing > log/timing.rpt
    report_area   > log/area.rpt
    report_qor    > log/qor.rpt
    exit

运行方式一（脚本模式）：
    RainaSynth -f run.tcl

运行方式二（交互式 TCL 解释器）：
    $ RainaSynth
    RainaSynth>> help          # 查看可用命令

五、核心模块一览
--------------------------------------------------------------------------
  * Common    ：基础服务层（全局配置、多线程调度、授权验证、日志）
  * Synthesis ：结合物理预测技术的逻辑综合
  * Sdc       ：SDC 2.1 约束解析与语义检查、约束冲突诊断、CDC 分析
  * Eco       ：门级/物理数据动态增量优化（Metal ECO、Cell Swap）、
                集成形式等价性检查
  * Power     ：功耗分析与多电压域时钟门控优化，支持 SAIF/VCD 活动数据、
                多工艺角多模式功耗验证
  * Report    ：签核级 PPA 报告（Timing/Power/Area/QoR）
  * GUI       ：多视图交互环境（层次化浏览、版图可视化、时序路径动画，
                与 Tcl 控制台双向同步）

六、支持的标准与格式
--------------------------------------------------------------------------
  * 输入：Verilog / SystemVerilog RTL 与网表、Liberty（.lib/.db）、
    SDC 2.1、SPEF、SDF、SAIF、VCD
  * 输出：门级网表、SDF、Timing/Power/Area/QoR 报告

七、技术支持
--------------------------------------------------------------------------
  * 官网：raina.tech
  * 交互模式下可随时键入 help 查看命令帮助；
  * 具体命令用法请参阅《RainaSynth UserGuide 3.0》各模块章节。

==========================================================================
【注】本 README 依据《RainaSynth UserGuide 3.0》整理；文中标注【注】的
安装细节（发行包结构、License 环境变量、OS 最低要求等）在 UserGuide 中
未给出，需以官方发行包文档为准。
==========================================================================
