本发明涉及超大规模集成电路的设计验证与错 误诊断技术领域，一种有效的包含黑盒的电路设计验证与错误 诊断方法。该方法首先使用并行逻辑模拟验证含黑盒的设计， 然后用基于可满足性(SAT)的布尔比较增
发布时间： 2005-01-05
一种大芯径光纤激光器，包括激光谐振腔和泵浦 光源，其特点是它的激光谐振腔由一同心球壳形反射镜和一输 出耦合镜组成，一光纤的两端面均涂有激光波长λ L增透膜，其一个端面置于该
发布时间： 2005-01-05
本发明涉及编译器开发和移植技术领域的一种 面向编译器移植和优化的耦合寄存器的方法，包括步骤：S1， TV数据结构的扩展；S2，设置和完善访问TV的必要接口； S3，判断是否满足分层结构的限制要求
发布时间： 2005-01-05
本发明涉及大规模集成电路结构性测试技术领 域，特别是一种用于交流扫描测试中的片上快速信号生成电 路。由模式计数器，二路选择器，与非门，三输入与门，自锁 的存储单元组成。该电路具有可重配置、只需要高速时
发布时间： 2004-12-29
本发明属于扫描探针显微镜中基底的制作方法。 通过真空蒸镀的方法，在新解离的云母表面镀一层金薄膜，然 后将此薄膜剥离于硅片的表面得到较平的金基底。此基底具有 很好的平整度，可用做纳米笔书写，硫醇的自组装
发布时间： 2004-12-29
本发明涉及数字通信技术领域，特别是一种基于 双8b/10b编码器的16b/20b编码器逻辑实现方法，在两个 8b/10b编码器基础上构造16b/20b编码器，解决了直接由两个 8b/10b编码器构成1
发布时间： 2004-12-29
本发明涉及计算机和通信网络技术领域的一种 分段可靠的时钟相位差检测方法。包括步骤：计算给定时间段 内的时钟相位差；判断相位差估计结果是否可信；如果相位差 估计结果可信，则输出该时间段内的相位差估计结果
发布时间： 2004-12-29
本发明涉及总线的单芯片子系统的技术领域，包 括从复杂状态机中提取关键信号路径的方法，以及单芯片实现 高速PCI总线多主控制器，步骤：S1：根据PCI总线主控制器 状态机的外部输入激励信号的时间要求和到
发布时间： 2004-12-29
本发明提供了一种利用磁化技术来促进水合物 生成的新方法，其特征是通过对参加反应的稀水溶液进行磁化 以加速笼型水合物的生成，参加反应的稀水溶液动态流经磁场 进行磁化。该方法可以在水合反应过程前对参加反应
发布时间： 2004-12-29
一种利用基因芯片的检测方法，是在芯片表面进 行原位PCR反应对待测基因进行检测的方法。将普通PCR反 应中的上游引物连接poly(T)的臂结构后，5’端氨基修饰后连 接于醛基修饰的玻片等载体上，在芯片
发布时间： 2004-12-29