A Decomposition Workflow for Integrated Circuit Verification and Validation

Autor: Andrew Elliott, James Schaffranek, Matthew Sutter, Mike Strizich, Adam G. Kimura, Glen D. Via, Jon Scholl
Rok vydání: 2020
Předmět:
Zdroj: Journal of Hardware and Systems Security. 4:34-43
ISSN: 2509-3436
2509-3428
DOI: 10.1007/s41635-019-00086-6
Popis: This paper reviews a developed integrated circuit (IC) decomposition workflow that can be leveraged for extracting design files and performing advanced verification and validation techniques on fabricated chips. In this work, a commercial 130-nm microcontroller is delayered and imaged to recreate the full design stack-up. Using MicroNet’s Pix2Net, the features for each layer are extracted allowing a GDSII file to be generated and design netlists for target components to be recovered. The full decomposition process is executed on both the read only memory (ROM) array and universal serial communications interface (USCI) of the microcontroller to recover the layout GDSII and circuit netlist. A single-precision floating point unit (FPU) test article is used to incorporate a spectrum of error types into the design layout, thus creating a set of test articles with obfuscated errors. Once the netlists for each of the modified designs are extracted, formal verification techniques are applied to each netlist, thus illuminating the errors originally inserted into the layout. The extracted netlists are then converted into register transfer level (RTL) representations and simulated with the original design verification testbench.
Databáze: OpenAIRE
Externí odkaz: