Moosic: Writing a Yosys Plugin for Design for Trust

From F-Si wiki
Jump to navigation Jump to search
  • Speakers: Roselyne Chotin, Gabriel Gouvine
  • email:



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.

This presentation will focus on the experience of writing a logic plugin for logic analysis, and present the new features to defend against SAT-solver based attacks.