Detecting Malicious Circuits in IP-Core

R3Logic, along with the University of Connecticut, propose to develop a flexible, easily implemented procedure, using a combination of commercially available and custom-designed software tools, to certify third-party IP (3PIP) with a high degree of confidence for insertion into critical military systems. No single technique can provide the level of trust required in 3PIP, particularly when minimal information is available. Our combined tools will allow analysis of gate-level netlists and use formal methods to ascertain code coverage and correct system behavior. In order to be practical, the screening procedure developed will be designed to be reliable, fast, and easily performed by on-site personnel in a plug & play fashion. Emphasis will thus be placed on minimizing the overhead of screening each module.