Abstract
The paper discusses the models, methods and software tools included in an Integrated Design Environment for Logic Synthesis (IDELS) that has been developed in Visual C++ and can be used for PC computers running under Windows 95/98. It is able to solve a range of problems related to the design of digital systems and their components based on dynamically reconfigurable FPGAs of the XC6200 family. The paper focuses primarily on the integrated features, the basic capabilities and the main packages of the environment itself, rather than the details of how it was implemented. However, the basic ideas behind the methods used, and some of the approaches to implementing the environment are considered, together with some of the problems that we had to address.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Giovanni De Micheli: Synthesis and Optimization of Digital Circuits. McGraw-Hill, Inc., (1994)
Xilinx: XC6200 Field Programmable Gate Arrays, Xilinx Product Description (Version 1.10). April 24 (1997)
Xilinx: XACTstep Series 6000 User Guide. (1997)
Stepen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanny-Vincentelli: Design of Embedded Systems: Formal Models, Validation, and Synthesis. Proceeding of the IEEE, vol. 85, no. 3, March (1997) 366–390
Valery Sklyarov, Nuno Lau, Ricardo Sal Monteiro, Andreia Melo, Arnaldo Oliveira, Konstantin Kondratjuk: Design of Virtual Digital Controllers Based on Dynamically Reconfigurable FPGAs. Proc. of Workshop on Digital System Design: Architectures. Methods and Tools, Vasteras, Sweden (1998)
S.Baranov: Logic Synthesis for Control Automata. Kluwer Academic Publishers (1994)
Valery Sklyarov, Antonio Adrego da Rocha, Antonio de Brito Ferrari: Synthesis of Reconfigurable Control Devices Based on Object-Oriented Specifications. In: Advanced Techniques for Embedded Systems Design and Test. Kluwer Academic Publishers (1998) 151–177
Valery Sklyarov, Antonio de Brito Ferrari: Synthesis of Control Devices Described by Hierarchical Graph-Schemes. Springer-Verlag (1998) 181–191
Antonio Adrego da Rocha, Valery Sklyarov, Antonio de Brito Ferrari: Hierarchical Description and Design of Control Circuits Based on Reconfigurable and Reprogrammable Elements. Proc. of the International Workshop on Logic and Architectural Synthesis — IWLAS'97, Grenoble, December (1997) 73–82
Xilinx: Velab, VHDL Elaborator for XC6200 (v0.52). Internet at URL http://www.xilinx.com/apps/velabrel.htm (1998)
Annapolis Micro Systems, Inc.: XC6200 PCI Board C++ Interface. Included in FireFlyℳ Board Documentation.
Valery Sklyarov, Antonio de Brito Ferrari: Design and Implementation of Control Circuits Based on Dynamically Reconfigurable FPGA. Proc. of IEEE International Conference on Electronics, Circuits and Systems, Lisbon (1998)
Valery Sklyarov, Antonio Adrego da Rocha, Antonio de Brito Ferrari: Applying Procedural and Object-Oriented Decomposition to the Logical Synthesis of Digital Devices. Proc. of the Second International Conference on Computer-Aided Design of Discrete Devices CADDD'97, Minsk (1997) 15–20.
Annapolis Micro Systems, Inc.: FIREFLYℳ Tutorials. Included in FireFlyℳ Board Documentation. November (1997)
A.Zakrevskij: Combinatorial Problems over Logical Matrices in Logic Design and Artificial Intelligence. Electrónica e TelecomunicaÇÕes, vol. 2, No 2 (1998) 261–268.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sklyarov, V., Monteiro, R.S., Lau, N., Melo, A., Oliveira, A., Kondratjuk, K. (1998). Integrated development environment for logic synthesis based on dynamically reconfigurable FPGAs. In: Hartenstein, R.W., Keevallik, A. (eds) Field-Programmable Logic and Applications From FPGAs to Computing Paradigm. FPL 1998. Lecture Notes in Computer Science, vol 1482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055229
Download citation
DOI: https://doi.org/10.1007/BFb0055229
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64948-9
Online ISBN: 978-3-540-68066-6
eBook Packages: Springer Book Archive