[Zurück]

M. Rathmair, F. Schupfer:
"Structural System Analysis from Design Level down to Netlist Level";
Poster: Formal Methods in Computer-Aided Design, Lausanne, Switzerland; 21.10.2014 - 24.10.2014; in: "Formal Methods in Computer-Aided Design (FMCAD 2014)", (2014).

This paper addresses the increasing danger of
malicious circuit parts integrated in a flattened netlist of a design
and shipping a compromised implementation to customers. Vul-
nerabilities arise by the integration of reused functional modules
and the integration of third party IP cores. Presented methods
illustrate how results of high level verification approaches may
be ported to a structural design check, applied on netlist level.
Discussed system analysis techniques allow the identification of
suspicious structures in a netlist which may represent feasible
attack paths. Identified elements are highlighted and finally
handed over to a detailed manual inspection.

Formal design analysis