中科大-凸优化 笔记(lec29)-Lagrange对偶(一)

全部笔记的汇总贴(视频也有传送门):中科大-凸优化

min ⁡ f 0 ( x ) s . t .    f i ( x ) ≤ 0 , i = 1 , ⋯   , m h i ( x ) = 0 , i = 1 , ⋯   , P x ∈ R n , D = ∩ i = 0 m d o m    f i ∩ ∩ i = 1 P d o m    h i P ∗    o p t i m a l    c a l u e \min f_0(x)\\s.t.\;f_i(x)\le0,i=1,\cdots,m\\h_i(x)=0,i=1,\cdots,P\\x\in\R^n,D=\cap_{i=0}^m dom\;f_i\cap\cap_{i=1}^P dom\;h_i\\P^*\;optimal\;calue minf0(x)s.t.fi(x)0,i=1,,mhi(x)=0,i=1,,PxRn,D=i=0mdomfii=1PdomhiPoptimalcalue

拉格朗日函数(Lagrangian function/Lagrangian)

L ( x , λ , v ) = f 0 ( x ) + ∑ i = 1 m λ i f i ( x ) + ∑ i = 1 P v i h i ( x ) L(x,\lambda,v)=f_0(x)+\sum_{i=1}^m \lambda_if_i(x)+\sum_{i=1}^P v_ih_i(x) L(x,λ,v)=f0(x)+i=1mλifi(x)+i=1Pvihi(x)

对偶函数(Lagrange Dual Function/Dual Function)

g ( λ , v ) = inf ⁡ x ∈ D L ( x , λ , v ) g(\lambda,v)=\inf_{x\in D}L(x,\lambda,v) g(λ,v)=xDinfL(x,λ,v)

Lagrange Multiplier/Multipler

性质:

  1. 对偶函数为凹函数
    sup ⁡ x ∈ D L ( x , λ , v ) 凸 → inf ⁡ x ∈ D L ( x , λ
  • 3
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
以下是一个关于数字设计综合前后的LEC的脚本文件示例: ``` # 设计文件 set_design -name design.v # 综合后网表文件 read_verilog -sv synthesized_netlist.v # 仿真波形文件 read_sdf -sdf simulation.sdf # LEC验证前的分析 analyze -pre # LEC验证 lec -nogui -assert -verbose -ignore init -ignore assert -ignore property -ignore bind -ignore cover -ignore sequence -ignore fsm -ignore mem -ignore delay -ignore port -ignore config -ignore attr -ignore sub_design -ignore assert_type -ignore generate -ignore gate -ignore parameter -ignore ioprobe -ignore bufif0 -ignore bufif1 -ignore notif0 -ignore notif1 -ignore nmos -ignore pmos -ignore pullup -ignore pulldown -ignore tranif0 -ignore tranif1 -ignore rtranif0 -ignore rtranif1 -ignore tri -ignore tri0 -ignore tri1 -ignore wand -ignore wor -ignore tran -ignore rtran -ignore event -ignore path -ignore delay_interconnect -ignore delay_rise -ignore delay_fall -ignore delay_cell_rise -ignore delay_cell_fall -ignore delay_high -ignore delay_low -ignore transition -ignore clock_transition -ignore setup -ignore hold -ignore recovery -ignore removal -ignore skew -ignore unateness -ignore levelling -ignore noise -ignore slew -ignore width -ignore period -ignore uncertainty -ignore constraint -ignore pulse -ignore mux -ignore cmos -ignore buf -ignore not -ignore nand -ignore and -ignore nor -ignore or -ignore xor -ignore xnor -ignore dff -ignore sr -ignore t -ignore jk -ignore d -ignore pulse -ignore mux4 -ignore adder -ignore sub -ignore mul -ignore div -ignore mod -ignore shift -ignore comparator -ignore counter -ignore decoder -ignore priority_encoder -ignore arbiter -ignore fsm_encoding -ignore gate_level -ignore primitive -ignore user_defined -ignore user_defined1 -ignore user_defined2 -ignore user_defined3 -ignore cross_clock -ignore cross_case -ignore cross_function -ignore cross_block -ignore cross_file -ignore cross_module -ignore cross_instance -ignore cross_level -ignore cross_type -ignore cross_tool -ignore cross_vendor -ignore cross_version -ignore cross_process -ignore cross_version -ignore cross_reference -ignore cross_other # LEC验证后的分析 analyze -post # 结束 exit ``` 在这个脚本文件中,我们首先设置设计文件,然后读取综合后的网表文件和仿真波形文件。接着进行LEC验证前的分析,然后运行LEC验证命令。这里我们使用了多个-ignore参数,忽略了大量的LEC验证规则,以提高验证效率。最后进行LEC验证后的分析,并结束脚本。在实际应用中,我们可以根据具体的设计和验证需,调整LEC验证规则和忽略的参数,以达到最佳的验证效果。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值