建立时间公式 $$T_{lanuch}+T_{ck2q}+T_{dp}<T_{capture}+T_{cycle}-T_{setup}$$ ​ 如果组合逻辑的延时最大值也满足这个公式，则所有都满足，通常用组合逻辑最大延时检查建立时间 使用组合逻辑最小延时检查保持时间 输入端口到寄存器公式 $$slack=T_{capture}+T_{cycle}-T_{setup}-T_{u...

逻辑综合三个阶段：转译、优化、映射 时序路径约束 输入到寄存器的路径 寄存器到寄存器之间的路径 寄存器到输出的路径 输入直接到输出的路径 12create_clock-period 10 [get_ports Clk]set_dont_touch_network [get_clocks Clk] 对所有定义的时钟网络设置为dont_touch​，即综合的时候不对Clk​信号优化。 如果不...

变量123456789101112131415161718#置换变量set a 'snow'puts $a #打印a的值#命令置换#[]内部是一个独立tcl语句set a [expr 3+4]puts $a#结果为7#转义字符puts 'a\tb'puts 'a\nb'#添加后缀puts ${a}_1#打印7_1...