Moosic: Writing a Yosys Plugin for Design for Trust

• Speakers: Gabriel Gouvine
• email:

Downloads

• File:Gouvine Moosic.pdf

Abstract

As most electronic circuits are manufactured by third parties, defense against the introduction of hardware trojans becomes ever more important. A promising defense against several classes of attacks is logic locking, It modifies the circuit so that its correct functionality requires a secret key to unlock it. We developed a plugin for the Yosys toolchain, Moosic, in order to easily integrate logic locking in an open source flow. Logic locking evolves continually, with multiple attacks and countermeasures developed in recent years. We present these attacks and recent developments of the plugin to defend against them. Finally, we make a demonstration of applying logic locking to a design in practice.