Configuration values for Lookup tables (LUTs) and programmable routing switches in an FPGA are provided by means of a number of flip flops arranged in a shift register. This shift register may receive test values in a factory test mode, and operational configuration values (implementing whatever functionality the client requires of the FPGA) in an operational mode. The bitstreams are provided at one end of the shift register, and clocked through until the last flip flop receives its value. Values may also be clocked out at the other end of the shift register to be compared to the initial bitstream in order to identify corruption of stored values e.g. due to radiation exposure. A clock gating architecture is proposed for loading data to or reading data from specific selected shift registers.

System and method for testing and configuration of an fpga

The invention discloses a method for automatic generation of module-level simulation and code configuration of a programmable logic circuit. The method comprises the following steps: analyzing a bottom-layer circuit structure of FPGA, respectively creating configuration addressing models of a bottom-layer circuit and building corresponding module-level code configuration models in combination withsignal connection relations among all layers and all modules of FPGA and SRAM configuration bit information; determining an input port and an output port of a submodule-level circuit through an appointed path in need of simulation and code configuration; determining a path in need of configuration and connection by positioning through the determined input port and the determined output port, finding an SRAM bit in need of configuration and connection according to a module-level code configuration model and outputting an SRAM configuration code stream through an agreed-on output format. With the method, working efficiency of self-simulation and verification of an FPGA chip can be effectively increased. The chip enjoys high expandability and easy troubleshooting operation. The design verification period of the FPGA chip is obviously reduced.

Method and system for automatic generation of module-level simulation and code configuration of programmable logic circuit

The invention discloses a verification method for programmable circuit systems, relates to the technical field of design of programmable integrated circuits, and aims at solving the problem that the verification of the programmable circuit systems is long in time, relatively high in resource occupancy rate of verification environment and relatively low in verification efficiency in the prior art. The verification method for the programmable circuit systems comprises the following steps: establishing a comparison table of circuit function modules and bit stream configuration information; carrying out parameterized function description on each circuit function module according to the comparison table of the circuit function modules and the bit stream configuration information, and carrying out form verification on circuit netlists and the function descriptions of the circuit function modules; carrying out data bit width size setting in the circuit netlists through a configuration control module; and resetting a data sequence and a corresponding address sequence for the corresponding data bit stream in each circuit module according to the generating sequence and the set bit width size. The verification method of the programmable circuit system is suitable for verifying the programmable circuit systems.

Verification method for programmable circuit systems

The invention provides a sparse lookup table and a mapping method of a logic node in FPGA. The sparse lookup table comprise k input ports, a multiplexer, n SRAM units and one output port, wherein the k input ports are connected to k control ends of the multiplexer, the output end of the multiplexer is connected with the output port, n input ends of 2k input ends of the multiplexer are connected with the n SRAM units respectively, and the remaining 2k-n input ends are connected to constant electric levels respectively. According to the sparse lookup table and the mapping method of the logic node in the FPGA, the constant electric levels are utilized to replace partial internal SRAM units, so that the unit area of the sparse lookup table is reduced, and thus the area of the overall FPGA chip can be reduced; meanwhile, through the adoption of a matched mapping algorithm, the chip with lesser area can be utilized to achieve an equivalent subscriber circuit.

Sparse lookup table and mapping method of logic node in FPGA

The invention provides a field-programmable gate array (FPGA) and a transmission method for synchronizing signals between modules thereof. The method comprises the steps of initializing the FPGA; whena first module receives a clock pulse, detecting whether a preset event occurs; if yes, performing negation operation on a first signal output by the first module; judging whether a third signal output by a XOR gate circuit is 1; if yes, enabling a second module to execute corresponding operation and performing the negation operation on an output second signal when the next clock pulse comes; viathe XOR gate circuit, changing an output third signal to 0 according to the input first signal and second signal, and enabling the second module to enter a waiting state according to the received third signal which is 0. According to the technical scheme provided by the invention, the signals can be effectively transmitted between the different synchronous modules in the FPGA, and the more flexible function design is achieved.

Field-programmable gate array and transmission method for synchronizing signals between modules thereof

The invention belongs to the technical field of electronics, and relates to a method for simulating a programmable bit stream file of an FPGA (field programmable gate array) circuit. Multilevel hardware modeling is uniformly performed for functions of an FDP series FPGA device by the aid of a Verilog language, the FPGA device comprises a CLB (configurable logic block), an IOB (input output block), an interconnection resource and the like, simulation and verification can be performed in a commercial tool for Verilog simulation, and programmable data can be downloaded and configured. The circuit function of a programmable logic device can be rapidly verified in the design process of the programmable logic device, an FPGA simulation method is provided for an FPGA user, and the method can be seamlessly connected with FPGA chip design and application circuit design processes. The method can be used for a design stage of an FPGA chip before tape-out, a test stage of the FPGA chip after tape-out and performing simulation and verification on the FPGA bit stream file in the circuit design stage through the FPGA chip by the user, and functional correctness of the FPGA circuit or user circuit is rapidly verified.

Wang Lingli

Papers

Method for FPGA (field programmable gate array) circuit bit stream simulation