Experimental Comparison of Synthesis Tools Altera Quartus II and Synthagate
Abstract
The paper presents comparison between efficiency of an industrial FPGA design software tool Altera Quartus II and similar design software tool Synthagate by Syntezza company of an academic origin. The experiments were performed using a series of examples describing the Mealy finite state machines; one hot state encoding was used in all cases. Area (number of used logical blocks) was the main parameter used for the comparison. Influence of the way of FSM description (in VHDL language) on the quality of synthesis was studied. The obtained results show that Synthagate in almost all cases performs synthesis more efficiently and essentially quicker than Altera Quartus. Section I presents motivation of the research. Section II reminds the notion of FSM. Section III describes problems which had to be solved to provide correctness of experimental comparison. Section IV presents some details about state encoding way used in the experiments. In Section V, the experimental results are presented. Section VI describes the problems related to the comparison which still have to be solved. Section VII presents the conclusions from the experiments. Section VIII suggests possible reasons of the detected situation.
References
S. Baranov, “ASMs in high level synthesis of EDA tool Synthagate,” in Proceedings of the 4th IFAC Workshop on Discrete-Event System Design, 2009, pp. 195-200.
H. Belhadj, L. Gerbaux, M.-C. Bertrand, and G. Saucier, “Specification and synthesis of communicating finite state machines,” in Synthesis for Control Dominated Circuits. Elsevier Science Publishers B.V., North- Holland, IFIP, 1993, pp. 91-102.
M. Rawski, T. Luba, Z. Jachna, and P. Tomaszewicz, “The influence of functional decomposition on modern digital design process.” in Design of Embedded Control Systems. Springer-Verlag, 2005, pp. 193-204.
M. Rawski, P. Tomaszewicz, G. Borowik, and T. Łuba, “Logic synthesis method of digital circuits design for implementation with Embedded Memory Blocks of FPGAs,” in Design of Digital Systems and Devices, ser. Lecture Notes in Electrical Engineering. Berlin Heidelberg: Springer-Verlag, 2011, vol. 79, pp. 121-144.
A. Barkalov, L. Titarenko, and O. Hebda, “Optimization of Moore finitestate- machine matrix circuit,” Pomiary, Automatyka, Kontrola, vol. 57, no. 8, 2011.
Design Software, Altera. [Online]. Available: http://www.altera.com/products/software/sfw-index.jsp
Synthezza, “Synthagate Overview.” [Online]. Available: http://synthezza.com/synthagate-overview
S. Baranov, Logic and System Design of Digital Systems. Tallinn: TUT Press, 2008.
J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
E. Moore, “Gedanken-experiments on sequential machines,” Automata Studies, Annals of Mathematical Studies, vol. 34, pp. 129-153, 1956.
G. Mealy, “A method to synthesizing sequential circuits,” Bell System Technical Journal, pp. 1045-1079, 1955.
M. Zwolinski, Digital System Design with VHDL. Pearson Education Limited, 2004.
S. Chmielewski and M. W˛egrzyn, “Modelling and synthesis of automata in HDLs,” Proceedings of SPIE : Photonics Applications in Astronomy, Communications, Industry and High-Energy Physics Experiments 2006, vol. 6347, p. 14, 2006.
S. Golson, “State machine design techniques for Verilog and VHDL,” Synopsys Journal of High-Level Design, 1994. [Online]. Available: http://www.trilobyte.com/pdf/golson_snug94.pdf
HDL Synthesis for FPGAs Design Guide, Xilinx, 1995.
Lattice Semiconductor, “HDL Synthesis Coding Guidelines for Lattice Semiconductor FPGAs,” 2005. [Online]. Available: http://www.latticesemi.com/lit/docs/technotes/tn1008.pdf
T. Luba, Computer design of digital circuits. Warsaw: WKL, 2000, (in Polish).
K. Skahill, VHDL for programmable logic. Addison-Wesley Publishing, 1996.
A. Bukowiec, “Synthesis of finite state machines for FPGA devices based on architectural decomposition,” Ph.D. dissertation, Uniwersytet Zielonogórski, 2009.
Downloads
Published
Issue
Section
License
1. License
The non-commercial use of the article will be governed by the Creative Commons Attribution license as currently displayed on https://creativecommons.org/licenses/by/4.0/.
2. Author’s Warranties
The author warrants that the article is original, written by stated author/s, has not been published before, contains no unlawful statements, does not infringe the rights of others, is subject to copyright that is vested exclusively in the author and free of any third party rights, and that any necessary written permissions to quote from other sources have been obtained by the author/s. The undersigned also warrants that the manuscript (or its essential substance) has not been published other than as an abstract or doctorate thesis and has not been submitted for consideration elsewhere, for print, electronic or digital publication.
3. User Rights
Under the Creative Commons Attribution license, the author(s) and users are free to share (copy, distribute and transmit the contribution) under the following conditions: 1. they must attribute the contribution in the manner specified by the author or licensor, 2. they may alter, transform, or build upon this work, 3. they may use this contribution for commercial purposes.
4. Rights of Authors
Authors retain the following rights:
- copyright, and other proprietary rights relating to the article, such as patent rights,
- the right to use the substance of the article in own future works, including lectures and books,
- the right to reproduce the article for own purposes, provided the copies are not offered for sale,
- the right to self-archive the article
- the right to supervision over the integrity of the content of the work and its fair use.
5. Co-Authorship
If the article was prepared jointly with other authors, the signatory of this form warrants that he/she has been authorized by all co-authors to sign this agreement on their behalf, and agrees to inform his/her co-authors of the terms of this agreement.
6. Termination
This agreement can be terminated by the author or the Journal Owner upon two months’ notice where the other party has materially breached this agreement and failed to remedy such breach within a month of being given the terminating party’s notice requesting such breach to be remedied. No breach or violation of this agreement will cause this agreement or any license granted in it to terminate automatically or affect the definition of the Journal Owner. The author and the Journal Owner may agree to terminate this agreement at any time. This agreement or any license granted in it cannot be terminated otherwise than in accordance with this section 6. This License shall remain in effect throughout the term of copyright in the Work and may not be revoked without the express written consent of both parties.
7. Royalties
This agreement entitles the author to no royalties or other fees. To such extent as legally permissible, the author waives his or her right to collect royalties relative to the article in respect of any use of the article by the Journal Owner or its sublicensee.
8. Miscellaneous
The Journal Owner will publish the article (or have it published) in the Journal if the article’s editorial process is successfully completed and the Journal Owner or its sublicensee has become obligated to have the article published. Where such obligation depends on the payment of a fee, it shall not be deemed to exist until such time as that fee is paid. The Journal Owner may conform the article to a style of punctuation, spelling, capitalization and usage that it deems appropriate. The Journal Owner will be allowed to sublicense the rights that are licensed to it under this agreement. This agreement will be governed by the laws of Poland.
By signing this License, Author(s) warrant(s) that they have the full power to enter into this agreement. This License shall remain in effect throughout the term of copyright in the Work and may not be revoked without the express written consent of both parties.
