Microcontroller Functional Verification Compatible With AVR Instruction Set

Microcontrollers are widely used today as the core components of embedded devices on a large scale.The structure and functional characteristics of microcontrollers also show the trend of diversification and specialization with different application requirements.Nowadays,the scale of integrated circuits is growing exponentially,meanwhile,the increase in chip scale brings the burden of verification work,and verification work has gradually become an important part of the chip design process.The work of thesis is part of a microcontroller design project compatible with the AVR instruction set,mainly contains functional verification of the RTL-level design of the microcontroller.This microcontroller contains Harvard structure,8-bit data width,two-stage pipeline,and three independent FLASH program storage,SRAM data storage and EEPROM data storage space.The thesis starts from the AVR instruction set architecture,analyzes the structure and functions of the microcontroller,and refines the verification function points and verification schemes.The simulation-based functional verification method is mainly used to verify the microcontroller core,peripherals and memory controller.For the instruction set part,considering the characteristics of the microcontroller,and,the thesis proposed a verification plan of single instruction,combined instruction,random instruction,and program set.In the random instruction verification,a reusable instruction sequence generator is designed to generate random instruction vectors.In the program set verification,the algorithm program in the embedded dedicated test set Mibench is selected.For the peripheral part,the microcontroller's GPIO,USART,timer,watchdog and other peripherals are refined separately.For the memory controller,this thesis focuses on traversing the state machine of the storage controller in the serial/parallel download mode of the microcontroller,and realizes the functional verification scheme for accessing program storage space,data storage space and special function bits.By verifying all the refined function verification points and analyzing the results,the functions to be verified meet the expected results,and 100% function coverage is obtained.The work of this thesis actively explores the verification method of the microprocessor,which has certain significance in the formulation of the verification plan of the microcontroller's efficient and completeness.