可满足性
可满足性（satisfiability）是1993年公布的数学名词。
资源总数
500
可满足性 热门资料
查看全部 500 份 →复杂系统的监视和排序满足方案
MAX6870六电压排序器/监视器为简化复杂设计提供了一个完全集成的方案。该款EEPROM配置器件在设置门限、输出结构和延时方面具有极大的灵活性。在大多数电子设备中，对系统电压进行监视是非常重要的，这样可保证处理器和其它IC在系统上电时被复...
2013-11-25
30
晶体振荡器设计,以满足您的应用
Abstract: Quartz crystals are mechanical resonators with piezoelectric properties. The piezoelectricproperties (electric...
2013-10-17
43
高集成驱动器满足新一代智能手机
Abstract: This article discusses future trends in the design of smartphones and other consumer products. The di...
2014-01-13
45
（1）满足均匀分布的[M,N]区间随机数
（1）满足均匀分布的[M,N]区间随机数，其中M,N是正整数。 (2) 满足指数分布的[M,N]区间随机数，其中M,N是正整数。
2013-12-13
197
GPS数据处理中为了满足不同的需要
GPS数据处理中为了满足不同的需要，处理的数据要进行坐标转换，得到在不同坐标系统下的结果，下面是笛卡尔坐标系，大地坐标系，站心地平坐标系（线型和极坐标形式）之间的转换源代码
2017-06-20
144
IBIS能满足EDA工业不断增长的需求吗？
在进行数字系统的信号完整性分析时，到底应该使用IBIS 还是SPICE 作为输入建模语言，业界已有许多文章对此进行过讨论。本文简要回顾了这两种方法的发展史、介绍了近几年IBIS 的一些新发展、
2024-01-21
10