灵芯实验室
LingCore Laboratory
（网站建设中）
关于我们
灵芯实验室从事集成电路和嵌入式系统前沿技术的研发和产业化。目前正在进行的主要研发项目是基于CMOL FPGA结构的22纳米以下集成电路布局布线工具核心软件。这一工具将成为未来纳米集成电路EDA开发工具的重要组成部分。预期CMOL
FPGA结构将在2015年左右投入使用，届时我们的工具将进入市场销售．CMOL
FPGA是目前被认为最有希望的下一代集成电路工艺技术。提前开发EDA工具还将帮助CMOL FPGA结构的研发寻找最优的设计。
灵芯实验室2009年大事记
1.获第四届“春辉杯”中国留学生创业大赛优秀奖；
2.自主开发的CMOL布局布线软件成功完成32位Koggi-Stone加法器的自动布局布线。多项指标超过国际同类软件。
2009-2010年在国际杂志上发表和录用的论文
G. Chen, Formalization of a Parameterized Parallel Adder within
the Coq Theorem Prover, IEEE Transactions on CAD, Vol. 29, No. 1, Jan.,
2010.
G. Chen and F.
Liu, Proofs of Correctness and
Properties of Integer Adder Circuits, IEEE Transactions on Computers, Vol. 59, No. 1,
Jan. 2010.
G. Chen, X. Song, P. Hu, A Theoretical
Investigation On CMOL FPGA Cell Assignment, IEEE Transactions on Nanotechnology, Vol. 8, No. 3, May 2009.
2009-2010年在国内杂志上发表和录用的论文
陈钢, CMOL FPGA结构上Koggi-Stone加法器的自动布局布线, 《高性能计算技术》杂志 录用, 2009.
陈钢, 宋晓宇，顾明， COQ定理证明器辅助PLC 程序验证和分析, 《北京大学学报》2010年1月。
陈钢, TENSILICA指令可扩展处理器 ,《高性能计算技术》 2009年11月，0905期。
陈钢, λ演算和微处理器验证, 《高性能计算技术》杂志 录用, 2009。