谷涛
- 作品数：4 被引量：5H指数：2
- 供职机构：广西民族大学信息科学与工程学院更多>>
- 发文基金：广西研究生教育创新计划项目更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 一种结合CCgscore算法的SMT求解技术
- 2015年
- 提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.
- 连召洋靳庆庚谷涛吴昊
- 一种基于Verilog的任意整数分频器实现方法被引量：2
- 2015年
- 在分析基于Verilog的偶数分频程序和奇数分频程序的基础上,提出了一种基于Verilog的任意整数分频器的实现方法,并在QuartusⅡ平台上完成了基于这种实现方法的任意整数分频器的编程和综合,在Modelsim中完成了任意整数分频器的仿真获得通过.该文的Verilog程序可以直接引用,为此类程序实际提供借鉴.
- 谷涛黄勇卢晨
- 关键词：VERILOG
- 锁相环电路设计与仿真
- 随着计算机和微处理机技术的高速发展和应用的与日剧增,具备低成本和可合成任意频率特点的锁相式频率合成器已广泛应用于各类电子设备中。其中,使用数字电路做为鉴相部分,滤波和压控振荡部分仍然是模拟电路的混合信号锁相环开始出现。电...
- 谷涛
- 关键词：全数字锁相环
- 文献传递
- 基于simulink的电荷泵锁相环频率合成器建模与仿真被引量：1
- 2015年
- 根据电荷泵锁相环频率合成器的基本原理建立了基于Simulink的仿真模型,并代入了符合环路稳定性要求的参数验证了模型的正确性,为此类频率合成器的电路设计打下良好基础。
- 谷涛黄勇
- 关键词：电荷泵锁相环频率合成器SIMULINK仿真
