Hspice仿真中的蒙特卡罗分析和二分法优化中的问题——求助

Iamliutt

在对SA的失配电压做蒙特卡罗分析时，.sp文件中出现的部分命令语句如下，对其中的minq指代什么？很疑惑，望前辈们指点指点！！

.param Deltv = opt1 （-0.1,-0.1， 0.05）

vdr dr 0 vdd
vdr_ dr_ 0 "vdd+Delvt"

.tran 1p 500p sweep optimize = opt1 result =minq model = optmod monte =40
.model optmod opt method =bisection
.meas tran minq max v(qi) goal > "0.8*vdd"

Iamliutt

我的理解是在扫描过程中，判断每次仿真结果中的V(q)是否大于目标值——0.8vdd,若第i次仿真的V(qi)大于0.8*vdd，则将其中最大的v（qi）值赋给结果minq！不是很确定理解正确！

chedanzhuzhu

先要理解什么是二分法，再去考虑这个meas
这个meas的minq的结果就是0.8*vdd

Iamliutt

chedanzhuzhu 发表于 2019-11-27 11:22
先要理解什么是二分法，再去考虑这个meas
这个meas的minq的结果就是0.8*vdd

二分法就是数学里的那个吧，例：在有序的有N个元素的数组中查找用户输进去的数据x。算法如下：
1.确定查找范围front=0，end=N-1，计算中项mid=（front+end）/2。
2.若a[mid]=x或front>=end,则结束查找；否则，向下继续。
3.若a[mid]<x,说明待查找的元素值只可能在比中项元素大的范围内，则把mid+1的值赋给front，并重新计算mid，转去执行步骤2；若a[mid]>x，说明待查找的元素值只可能在比中项元素小的范围内，则把mid-1的值赋给end，并重新计算mid，转去执行步骤2。

chedanzhuzhu

Iamliutt 发表于 2019-12-2 14:47
二分法就是数学里的那个吧，例：在有序的有N个元素的数组中查找用户输进去的数据x。算法如下：
1.确定查 ...

额，差不多，但是少一个前提，需要检查front到end的区间内有解（是不是唯一解不确定），有解条件为f(front)*f(end)<0不考虑为零条件，解都出来了


meas tran minq max v(qi) goal > "0.8*vdd"
优化的目录是qi的最大值大于0.8*vdd，那么给的起点和终点就要满足有解条件，即一个能满足max v(qi) goal > "0.8*vdd"和不能满足max v(qi) goal > "0.8*vdd"，二分到什么时候结束呢，恰好满足max v(qi) goal > "0.8*vdd"，此时max v(qi) 略大于0.8*vdd可以认为是0.8*vdd，所以这里meas minq不是目的，是为了别的meas语句找到Deltv

chedanzhuzhu

假设f(x)为实函数，f(x)在[a,b]内连续，如果f(x)在（a,b）有唯一解，那么存在f(a)f(b)<0
也不是很严谨

Iamliutt

chedanzhuzhu 发表于 2019-12-4 16:38
假设f(x)为实函数，f(x)在[a,b]内连续，如果f(x)在（a,b）有唯一解，那么存在f(a)f(b) ...

理解了，谢谢指导！

Zhaoooooopy

楼主在吗，有个问题想请教一下。。。
我用同样的方法仿真SA的失调电压的时候出现了一些问题。
问题具体描述如下：
我在sp里的写了如下的measure 语句：
.meas tran minq min v(qi) goal < "0.01*vdd"
用一共蒙特卡洛仿真仿了500次，查看最后的输出结果后发现minq大部分的值也确实是小于0.01*vdd的，但还有大概100个值是接近vdd的。
楼主知道这个问题怎么解决吗