Andere Kunden interessierten sich auch für
![Designing with Xilinx® FPGAs]( "Designing with Xilinx® FPGAs")
Designing with Xilinx® FPGAs95,99 €![Design and Analysis of Provably secure Pseudorandom Generators]( "Design and Analysis of Provably secure Pseudorandom Generators")
Design and Analysis of Provably secure Pseudorandom Generators32,99 €![Image Encryption Systems Design Using Chaotic & Non-Chaotic Generators]( "Image Encryption Systems Design Using Chaotic & Non-Chaotic Generators")
Image Encryption Systems Design Using Chaotic & Non-Chaotic Generators42,99 €![Some New Encryption Techniques Using Firewalls and Random Generators]( "Some New Encryption Techniques Using Firewalls and Random Generators")
Some New Encryption Techniques Using Firewalls and Random Generators44,99 €![Evolvable Hardware]( "Evolvable Hardware")
Evolvable Hardware37,99 €![Functional Verification of Dynamically Reconfigurable FPGA-based Systems]( "Functional Verification of Dynamically Reconfigurable FPGA-based Systems")
Functional Verification of Dynamically Reconfigurable FPGA-based Systems74,99 €![Functional Verification of Dynamically Reconfigurable FPGA-based Systems]( "Functional Verification of Dynamically Reconfigurable FPGA-based Systems")
Functional Verification of Dynamically Reconfigurable FPGA-based Systems74,99 €
This work introduces the concepts used in analyzing the end product of the Xilinx FPGA bitstream generation toolchain, for the application of Dynamic Reconfiguration methodologies, i.e. a particular set of tecniques used to change a portion of the FPGA hardware at runtime. By analyzing the bitstream files of single hw sections, the requirements enforced by the manufacturer can be verified by means of an automated SW - separated from Xilinx toolchain - described in the book. The insight into configuration memory gained from the analysis of bitstreams has been further exploited to implement advanced tools for dynamic reconfiguration, such as analysis of area conflicts in the evolution of the configuration over time, or possible bitstream relocation position computation. This book illustrates the algorithms and methodologies used for extracting information from bitstream files, verifying constraints and perform further analysis in light of dynamic reconfiguration capabilities of theFPGA.