Please wait a minute...
浙江大学学报(工学版)
J4  2010, Vol. 44 Issue (6): 1079-1085    DOI: 10.3785/j.issn.1008-973X.2010.06.005
自动化技术、计算机技术     
MetaHDL: 面向自动推断和参数追踪硬件描述域特定语言
孟昕, 沈海斌, 严晓浪
浙江大学 超大规模集成电路研究所,浙江 杭州 310027
MetaHDL: inference and parameter tracing oriented domainspecific language for hardware description
MENG Xin, SHEN Hai-bin, YAN Xiao-lang
Institute of VLSI Design, Zhejiang University, Hangzhou 310027, China
 全文: PDF  HTML
摘要：

针对利用工业标准的硬件描述语言（HDL）进行可配置参数化系统芯片（SoC）设计工作繁琐、代码不易维护的问题.提出域特定语言MetaHDL,用于可配置数字集成电路的可综合功能描述,范围从面向逻辑的底层模块设计到IP集成的SoC设计.MetaHDL利用自动推断和参数追踪技术,针对电路结构功能描述作了专门的语法优化,提高了语言的描述力和表现力,进而提升了代码的可读性和可维护性,并达到65％以上的代码精简；通过封装寄存器传输级（RTL）设计规则,降低了RTL描述的复杂度,提高了团队工作质量和工作效率；由MetaHDL预处理器和参数追踪机制构成的二级代码配置体系,大大简化了面向重用的可配置参数化模块的设计和IP集成过程.MetaHDL被应用在“统一威胁管理”芯片设计项目中,很好地应对了复杂重用环境下代码配置的设计挑战,提高了项目开发的效率和质量.
Abstract:

Configurable parameterized System-On-a-Chip (SoC) design using industry standard Hardware Description Language (HDL) is complicate and hard to maintain. A Domainspecific Language (DSL) named MetaHDL was presented for synthesizable functional description of configurable digital Very Large Scale Integrated (VLSI) circuits, ranging from logic oriented lowlevel module design to Intellectual Property (IP) based SoC integration. MetaHDL uses inference and parameter tracing technologies and has specific optimizations for circuit’s structure and functional descriptions, so as to improve language expressiveness, code readability and maintainability, and achieved over 65% code reduction. MetaHDL provides a twolevel code configuration system consisting comprehensive preprocessor and parameter tracing mechanism to ease the reuseoriented module design and IP integration. MetaHDL has been used in the Unified Threat Management (UTM) chip development project, addressed various design challenges of complex reuse scenarios, and improved the project efficiency and quality.
出版日期: 2010-07-16
:  TN 402  
基金资助:

国家“863”高技术研究发展计划资助项目（2005AA1Z1260）；国家自然科学基金资助项目（60720106003）
通讯作者: 沈海斌,男,副教授.     E-mail: shb@vlsi.zju.edu.cn
作者简介: 孟昕（1981—）,男,浙江临安人,博士生,从事数字超大规模集电路设计研究工作.E-mail: mengxin@vlsi.zju.edu.cn
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　

引用本文:

孟昕, 沈海斌, 严晓浪. MetaHDL: 面向自动推断和参数追踪硬件描述域特定语言[J]. J4, 2010, 44(6): 1079-1085.

MENG Cuan, CHEN Hai-Bin, YAN Xiao-Lang. MetaHDL: inference and parameter tracing oriented domainspecific language for hardware description. J4, 2010, 44(6): 1079-1085.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2010.06.005    或    http://www.zjujournals.com/eng/CN/Y2010/V44/I6/1079

［1］ IEEE. IEEE std 13642005 IEEE Standard for Verilog Hardware Description Language ［S］. New York:IEEE Computer Society/Design Automation, 2005.

［2］ IEEE. IEEE std 18002007 IEEE Standard for SystemVerilog: Unified Hardware Design, Specification and Verification Language ［S］. New York: IEEE, 2007.

［3］ YAN X, YU L, WANG J. A frontend automation tool supporting design, verification and reuse of SOC［J］. Journal of Zhejiang University SCIENCE, 2004, 5(9): 11031105.

［4］ WALL L, CHRISTIANSEN T, ORWANT J. Programming Perl ［M］. 3rd ed. Sebastopol, CA: O’Reilly Media, Inc., 2000.

［5］ STALLMAN R. GNU Emacs ［CP/OL］. ［20080904］. http:∥www.gnu.org/software/emacs.

［6］ MCNAMARA M. Mac’s verilog mode for Emacs ［CP/OL］. ［20080904］. http:∥www.verilog.com/verilogmode.html.

［7］ SCOTT M L. Programming language pragmatics ［M］. 2nd ed. Burlington, MA: Morgan Kaufmann, 2005.

［8］ LEWIS H R, PAPADIMITRIOU C H. Elements of the Theory of Computation ［M］. 2nd ed. New York: Prentice Hall, Inc., 1998.

［9］ DOUGHERTY D, ROBBINS A. sed & awk ［M］. 2nd ed. Sebastopol, CA: O’Reilly Media, 1997.

［10］ WELCH B, JONES K. Practical programming in Tcl and Tk ［M］. 4th ed. New York: Prentice Hall, Inc., 2003.

［11］ JAMES J, ERIC B. Verischemelog: verilog embedded in Scheme ［C］∥ Proceedings of 2nd conference on Domainspecific Languages. New York:ACM, 1999:123134.

［12］ BILLAUER E. Perilog ［CP/OL］. ［20020904］. http:∥billauer.co.il/perlilog.html.

［13］ DAVIS B T, MUDGE T. A Verilog preprocessor for representing datapath components ［C］∥ ProceedingsIEEE International Verilog HDL Conference. New York:IEEE, 1995: 9098.

［14］ SPIVEY G. EP3: an extensible Perl preprocessor ［C］∥ ProceedingsIEEE International Verilog HDL Conference. New York:IEEE, 1998:106113.

［15］ DYBVIQ R K. The scheme programming language［M］. 3rd ed. Cambridge, MA: The MIT Press, 2003.

［16］ DEMARCO T, LISTER T. Peopleware: productive projects and Teams ［M］. 2nd ed. New York: Dorset House Publishing Company, Incorporated, 1999.

［17］ LEE Y, ZHAO W. An ontologybased approach for domain requirements elicitation and analysis ［C］∥ First International MultiSymposiums on Computer and Computational Sciences, IMSCCS′06. Los Alamitos:IEEE Computer Society, 2006: 364371.

［18］ FALBO R A, GUIZZARDI G, DUARTE K C. An ontological approach to domain engineering ［C］∥ Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE′02). New York:ACM, 2002: 351358.

［19］ KANG K C. Featureoriented development of applications for a domain ［C］∥ International Conference on Software Reuse. New York:IEEE Computer Society Press, 1998: 354355.

［20］ KANG K C, COHEN S G, HESS J A, et al. FeatureOriented domain analysis (FODA) feasibility study ［M］. Pittsburph, PA: Software Engineering Institute, Carnegie Mellon University, 1990.

［21］ MERNIK M, HEERING J, SLOANE A M. When and how to develop domainspecific languages［J］. ACM Computing Surveys, 2005, 37(4): 316344.

［22］ PAXSON V. flex: the fast lexical analyzer ［CP/OL］. ［19950904］. http:∥flex.sourceforge.net.

［23］ DONNELLY C, STALLMAN R. BisonGNU parser generator ［CP/OL］. ［20060904］. http:∥www.gnu.org/software/bison.
[1] 孟昕,沈海斌,严晓浪. 基于XML Schema的细粒度SoC设计复用方法[J]. J4, 2011, 45(3): 486-494.
[2] 孟昕, 沈海斌, 严晓浪. 基于数据流的SoC性能建模方法及实现[J]. J4, 2011, 45(2): 314-322.