The week's pick
Reseach Article
XDC Support in Synthesis Tool using YACC
| International Journal of Computer Applications |
| Foundation of Computer Science (FCS), NY, USA |
| Volume 77 - Number 6 |
| Year of Publication: 2013 |
| Authors: Sandeep Kumar Mittal, Sanjeev Dhawan |
10.5120/13397-1043
|
Sandeep Kumar Mittal, Sanjeev Dhawan . XDC Support in Synthesis Tool using YACC. International Journal of Computer Applications. 77, 6 ( September 2013), 14-17. DOI=10.5120/13397-1043
Abstract
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.
References
- XILINX, "Plan Ahead Tcl Command Plan Ahead Tcl Command", XILINX, 2012.
- M. Milford and J. McAllister, "Valved dataflow for FPGA memory hierarchy synthesis", In Proc. of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP' 2012), on 25-30 March 2012 at Kyoto, pp. 1645 – 1648.
- Stallman, Charles Donnelly and Richard, book on Bison 2012.
- Tarun Kumar Jain, D. S. Kushwaha, A. K. Misra, "Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions", In Proc. of 4th International Conference on Autonomic and Autonomous Systems (ICAS' 2008), on 16-21 March 2008 at Gosier, pp. 165 – 168.
- Raimundo Barreto, Lucas Cordeiro and Bernd Fischer, "Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker 2011 Brazilian Symposium on Computing System Engineering", In Proc. of Brazilian Symposium on Computing System Engineering (SBESC' 2011), on 7-11 Nov. 2011 at Florianopolis, pp. 46 – 52.
- Srinivas Devadas, Hi-Keung Tony Ma and A. Richard Newton, "On the Verification of Sequential Machines at Differing Levels of Abstraction", in Design Automation, In Proc. of 24th Conference on Design Automation, ACM, 28-1 June 1987, pp. 271 – 276.
- Minying Sun, Hua Wang, "The Memetic Algorithm for The Minimum Spanning Tree Problem with Degree and Delay Constraints", In Proc. of 15th International Conference on Advanced Communication Technology (ICACT' 2013), on 27-30 Jan. 2013 at Pyeong Chang, pp. 78 – 82.
- Ka Boon Kevin Ng, Chiu Wo Choi and Martin Henz, "A Software Engineering approach to Constraint Programming Systems", In Proc. of 9th Asia-Pacific Software Engineering Conference-2002, ISBN: 0-7695-1850-8, pp. 167 – 175.
- Julie Zelenski, "Syntax Directed Translation", Maggie Johnson, 2008.
- "http://www. mentor. com/", [Online] MENTOR GRAPHICS.
Index Terms
Keywords