Hierarchical High Speed Testing and Verification of Chip-Multiprocessors

GUO Song-liu,WANG Dong-sheng,YAO Wen-bin
DOI: https://doi.org/10.3969/j.issn.1006-7043.2007.05.016
2007-01-01
Abstract:CMP(Chip-Multi-Processor) is a high performance architecture with low power consumption.As the scale of the chip's logic is huge,and all parts of the memory system must be reliable,verification and testing of a CMP system is complicated and time consuming.The speed of testing using traditional methods of verification will be very slow.Breaking the testing process into discrete segments can reduce complexity and the computing workload,saving significant time.(Constrained random program generation,CRTPG)testing also reduces the work of the tester and finds bugs rapidly.Parallel testing and verification allows completion of testing in a shorter time with low power consumption and good scalability.Integrating all these methods in CMP testing can effectively share the workload of testing through effective parallelism,find bugs and mistakes quickly,reduce the time needed for testing and verification work and improve the coverage ratio of testing and thus,the reliability of the whole system.
What problem does this paper attempt to address?