XDC Support in Synthesis Tool using YACC

With progressive FPGA technology, XILINX required a need for new format to provide needful assistance as a part of their tool set for design constraints. In order to achieve the same, XDC (Xilinx Design Constraints) was introduced. In this paper, we describe a generalized technique to integrate XDC in synthesis tool using YACC. Proposed system not only tokenizes the input XDC commands but syntactically and semantically validates them to generate desired lexeme. This paper shows the parsing mechanism to generate desired lexeme which can be used by several synthesis subsystems for further computations. General Terms Synthesis tool, lexeme, XDC

[1]  Hua Wang,et al.  The memetic algorithm for the minimum spanning tree problem with degree and delay constraints , 2013, 2013 15th International Conference on Advanced Communications Technology (ICACT).

[2]  Lucas C. Cordeiro,et al.  Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker , 2011, 2011 Brazilian Symposium on Computing System Engineering.

[3]  Srinivas Devadas,et al.  On The Verification of Sequential Machines at Differing Levels of Abstraction , 1987, 24th ACM/IEEE Design Automation Conference.

[4]  Arun Kumar Misra,et al.  Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions , 2008, Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08).

[5]  Peter A. Beerel,et al.  A Designer's Guide to Asynchronous VLSI: Syntax-directed translation , 2010 .

[6]  John McAllister,et al.  Valved dataflow for FPGA memory hierarchy synthesis , 2012, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[7]  Martin Henz,et al.  A software engineering approach to constraint programming systems , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..