位置：立项数据库 > 立项详情页
SOC设计的关键技术研究及传导语音SOC实现
  • 项目名称：SOC设计的关键技术研究及传导语音SOC实现
  • 项目类别：重点项目
  • 批准号：60236020
  • 申请代码：F0402
  • 项目来源：国家自然科学基金
  • 研究期限：2003-01-01-2006-12-31
  • 项目负责人：孙义和
  • 负责人职称：教授
  • 依托单位：清华大学
  • 批准年度：2002
中文摘要：

主要研究SOC系统结构设计；信息处理算法到SOC的映射；IP核的复用性和嵌入性；低功耗电路设计；模拟、射频及混合信号集成电路IP核；SOC可测性设计及验证；传导语音SOC的系统实现。有望在SOC设计领域取得重大突破，并带动高速计算、移动通信与网络、多媒体技术与信息家电等方面向前发展，因而具有重大的学术价值和应用价值。

中文主题词： 系统芯片、智权核、视频系统芯片、数据流、数字信号处理
英文摘要：

System on Chip, IP(Intellectua

英文主题词： System on Chip, IP(Intellectua
结论摘要：

主要根据信息科学的快速发展现状和趋势，研究信息SoC系统结构快速构成及其方法学。经过多年的研究取得了成果是，以乱序执行加密处理器为代表的多项IP模块及其设计方法，提出了如应用数据流驱动等方法降低功耗等一系列方法和技术，解决目前同步电路设计工具不能解决异步电路设计以及瞬态电流（功耗）测试诸多难题；还取得了集成电路模块（或IP）方面10项专利授权，初步解决了IP芯核统一化描述、设计、仿真及验证方法问题；提出了一种可配置的数字信号处理器结构和全局及局部结合的寄存器RFCC结构，并构建视频编解码处理的SoC等为代表的SoC实现集成的方法和技术，并完成了全芯片集成；在系统芯片计算、通信和存储方面建立了统一消息模型，提出了用片上网络（NoC）解决总线和点对点通信结构不能适应片上全局连线延时加大的需求，在NoC的拓扑构造布局布线和自动生成方法方面取得了成果。本课题在国内外重要期刊、学术会议发表论文122篇，毕业博士生12名、硕士生34名，培养了3名年轻学术骨干，这样进一步推进了SoC方法研究和实现。

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 93
  • 76
  • 0
  • 0
  • 3
期刊论文
On-Chip Networks Design Automa
Analysis and Design of an Auto
采用数据流模式实现抗功耗分析的
具有高可调增益范围的CMOS 宽带
自适应压缩算法（SAC）
一种500MHz 高性能锁相环的设计
基于嵌入式内核SOC IDDQ可测试设
一种有效评估桥接故障的IDDQ可测
面向寄存器的流水线处理器建模及
SoC原型验证技术的研究
Heuristic on a Novel Power Man
粒子探测器读出电路中模数转化器建模及参数设计
粒子探测电路的系统建模
高性能低功耗粒子探测器读出电路设计
片上网络拓朴优化：在离散平面上
Automatic IQ Phase Calibration
SCSD在SoC原型验证中的应用及其
HSM2：A New Heuristic State Mi
Objist-Oriented System-on-Netw
使用同步电路综合工具优化异步电
用于密码芯片抗功耗攻击的功耗平
基于线性规划的RTL可满足性求解
A Distributed Architecture Mod
SoC系统级设计方法与技术
基于普通测试仪的集成电路瞬态电
逻辑参数库中Power参数的提取
软硬件划分中基于一种新的层次化
SoC接口综合的层次化通信模型
面向系统功能特性的协同验证方法
一种基于混沌的真随机源电路
快速实现SHA-1算法的硬件结构
大数模乘脉动阵列的FPGA细粒度映
A 1.45GHz LNA WITH LOW POWER,
1.8V 4.8GHz 0.9mw 0.18(m分频器
一种实现自调谐频率综合器的算法
一种应用于超宽带系统的宽带LNA
解决零中频架构直流漂移的自校正
一种40ns 16kb EEPROM 的设计与
ASIP处理器的可重定位编译器的设
适用于VLIW数字信号处理器的功能
A New Systolic Architecture fo
CMOS门电路的功率与数据相关性
系统级综合中结合资源分配的调度
Model Optimization Techniques
CIG-EM:一种面向通信综合的通信
Source-code-level Transformati
A HighPerfprmance VLSI Chip of
Key Design Techniques of A 40n
Electromigration Avoidance Awa
A novel IP3 boosting technique
Design and Implementation of U
HW/SW Interface Synthesis base
A Fully-Pipeline Linear Systol
EVM estimation by analyzing tr
粒子探测器读出电路噪声序列建模及验证
2．4GHz零中频接收机中正交相位的自校准设计
RTL验证中的混合可满足性求解
基于线性规划的RTL可满足性求解和性质检验
高层次综合和布图规划相结合的解空间分析
高层次综合与布图规划相结合的方法与技术
用于RFCC-VLIW结构的二维力量引导调度算法
基于XML的IP核通信接口建模技术
与Wishbone协议兼容的可裁剪SOC接口协议设计
集成电路设计专业的本科实践教学探索
寄存器堆互连的VLIW结构及其指令调度算法
基于集束式整数线性规划模型的专用指令集自动定制
使用同步电路综合工具优化异步电路
A 1.2-V,84-dB∑△ADM in 0.18-μm digital CMOS technology
一种用于表征亚阈值电流镜电路中CMOS工艺波动的统计学方法
一种具有片上译码／放大功能的微阵列电路及其与生物纳米系统的集成
一种适用于VLIW数字信号处理器的嵌入调试结构
CIG-EM：一种面向通信综合的通信信息图提取方法
改进多路软硬件划分算法的筛选法
适用于VLIW数字信号处理器的功能验证策略
功耗及信噪比双重约束下ΣΔ模数调制器积分器优化
视频信号处理SoC中异步时钟处理技术
系统级综合中结合资源分配的调度算法
采用数据流模式提高乱序执行密码芯片的安全性
ASIP Approach for Multimedia Applications Based on a Scalable VLIW DSP Architecture
FIDER： A Force-Balance-Based Interconnect Delay Driven Re-Synthesis Algorithm for Data-Path Optimization After Floorplan
Architecture Design of a Variable Length Instruction Set VLIW DSP
Digital 1 V 82 μW Pseudo-Two-Stage Class-AB OTA
Optimizing a Parallel Video Encoder with Message Passing and a Shared Memory Architecture
Probabilistic Delay Fault Model for DVFS Circuits
On-Chip Network Design Automation with Source Routing Switches
Object-Oriented System-on-Network-on-Chip Template and Implementation： H.263 Case Study
标准数字工艺下16位精度低压低功耗ΣΔ模数调制器设计
片上网络拓朴优化：在离散平面上布局与布线
会议论文
Universal data model platform
Parameterized Function Unit Li
Model Checking of Microprocess
基于WDFG模型的专用指令集自动生
基于THUASDSP2004的H.263编解码
高层次综合中低功耗算法研究
STUDY ON HNR IN TRANSMITTED SO
一种可编程数字信号处理器的设计
A New Methodology of Integrati
On-Chip Network Evolution Usin
A Scalable Architecture of Hig
Model Checking of A DLX Microp
RTL验证中的混合可满足性求解
集成电路芯片瞬时功耗测量-分析
用硬件验证语言实现模拟验证方法
采用CLP进行高层设计的性质检验
An Improved Sawtooth Oscillato
An Improved DMA Controller for
Cooperative Bounded Model Chec
Hierarchical Property Checking
AGOM: A Novel System Level Des
Integrated Hardware/Software P
A Component Library For IP Cor
Hazard Free Sawtooth Oscillato
Design of Data-Path for A VLIW
VS-ISA: A Video Specific Instr
Interconnect Delay Optimizatio
Bounded Model Checking for RTL
Optimization Techniques in a F
A low power side-channel attac
CA-Ex: A Tuning-Incremental Me
A Scaleable DSP System for ASI
SLCAO: An Effective System Lev
Sub-Block Oriented Media Proce
基于可满足性问题求的时序电路性
Fast and Efficiently Binding o
BTSAT：A Hybrid Satisfiability
Implementation Method about Ve
Piss: A Performance-Driven Int
Floating-Point Unit Processing
Automated analog circuits symm
Power-balanced Delay-Insensiti
ACSAT: A SAT Solver via Solvin
An Integrated CAD Tool for ASI
A Retargetable Compiler of VLI
AL/RTL Co-Modeling And General
Circuit Design and Verificatio
Extend Force-directed Scheduli
Cooperation of SMV and Jeda fo
Interconnect Power Optimizatio
Epistasis Reducing through Con
Interconnect Delay Optimizatio
Systematic Method to Synthesiz
TESTLINE: An IEEE P1500 Compat
A New Methodology of Integrati
Safety Checking by Problem Sol
A Distributed Architecture Mod
A Fast Algorithm for Power Opt
PFGASAT-a Genetic SAT Solver C
System-level Architectural Exp
Partition-based Retiming and P
Further Minimization of Bdds f
Extraction of Feedback Informa
A Congestion Driven Re-Synthes
Circuit Design and Verificatio
Power optimization in data-pat
Multiply-Add Fused Float Point
A New Register File Access Arc
CGEM: A Communication Graph Ex
A Novel Method of Generating T
High Level Synthesis with Mult
From Software to Hardware: A N
A Novel Algorithm for Common S
A Heterogeneous Dependency Gra
iTuCoMe: HCDFG-based Increment
VLSI Implementation of a Decim
著作
数字集成电路与嵌入式内核系统的
现代集成电路测试技术
VLSI数字信号处理系统设计与实现
孙义和的项目
汉语语音处理方法及其ASIC的结构研究