Logic optimization and technology mapping tool.
最近更新:
7个月前
A prototype technology mapper for dual-output LUTs.
最近更新:
2年多前
器件模型与参数提取工具，由中国科学院微电子研究所开源的针对后摩尔时代新型器件模型与参数提取工具。
最近更新:
2年多前
物理设计、验证建模模块，包括：
1) 数据库及数据模型、基本交换文件如verilog、lef/def/spef/lib文件的parser等；
2) 物理设计流程，包括布局、布线、时钟树综合、时序优化等；
3) 建模及仿真工具，包括建库工具、时序分析工具、参数提取工具等；
4) 物理验证...
最近更新:
2年多前
ICTest 故障仿真器，是由中科鉴芯(CASTest)开源的基于三帧仿真的故障仿真器。
最近更新:
2年多前
