[1] IEEE. IEEE std 13642005 IEEE Standard for Verilog Hardware Description Language [S]. New York:IEEE Computer Society/Design Automation, 2005.
[2] IEEE. IEEE std 18002007 IEEE Standard for SystemVerilog: Unified Hardware Design, Specification and Verification Language [S]. New York: IEEE, 2007.
[3] YAN X, YU L, WANG J. A frontend 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]. [20080904]. http:∥www.gnu.org/software/emacs.
[6] MCNAMARA M. Mac’s verilog mode for Emacs [CP/OL]. [20080904]. http:∥www.verilog.com/verilogmode.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 Domainspecific Languages. New York:ACM, 1999:123134.
[12] BILLAUER E. Perilog [CP/OL]. [20020904]. http:∥billauer.co.il/perlilog.html.
[13] DAVIS B T, MUDGE T. A Verilog preprocessor for representing datapath components [C]∥ ProceedingsIEEE International Verilog HDL Conference. New York:IEEE, 1995: 9098.
[14] SPIVEY G. EP3: an extensible Perl preprocessor [C]∥ ProceedingsIEEE 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 ontologybased approach for domain requirements elicitation and analysis [C]∥ First International MultiSymposiums 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. Featureoriented 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. FeatureOriented 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 domainspecific languages[J]. ACM Computing Surveys, 2005, 37(4): 316344.
[22] PAXSON V. flex: the fast lexical analyzer [CP/OL]. [19950904]. http:∥flex.sourceforge.net.
[23] DONNELLY C, STALLMAN R. BisonGNU parser generator [CP/OL]. [20060904]. http:∥www.gnu.org/software/bison. |