View source for Moosic: Writing a Yosys Plugin for Design for Trust

* Speakers: Roselyne Chotin, Gabriel Gouvine 
* email: gabriel.gouvine_moosic@m4x.org

==Downloads==
* [[:File:Gouvine_Moosic.pdf|Slides]]

==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.

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.