Researching On FPGA Verification Method Of Full-custom Memory Circuit

X microprocessor is a complex one which uses full-custom design method,and its scale is very large,including many memory circuits.In order to validate the design,we must apply function verification.This paper is mainly about the logic mapping of memory circuits in the X microprocessor,and verifying the mapping module.Based on the study of the architecture and the design method of X microprocessor,also based on the lucubrating of characteristic and function of the memory circuits,this paper raises a logic mapping method for the memory circuits.And considering the mapped area of the verification model,this paper improves the logic mapping method for optimizing the area through the study of the source of FPGA,the character of synthetic tools and the coding style of Verilog.Based on the study of the theory of the function verification,this paper raises a verification method for the memory circuits.This method is combined the advantage of formal verification and verification through simulation,and it improves the efficiency and makes the verification easier than either of them.Under the instructing of these methods,it's much easier to build mapping model of memory circuits,and can make sure the design model and mapping model is consistent. And through using the assistant tools in the work,this paper also raise some other mehods to improve the efficiency of verification.