Moosic: Writing a Yosys Plugin for Design for Trust
Jump to navigation
Jump to search
- Speakers: Roselyne Chotin, Gabriel Gouvine
- email: gabriel.gouvine_moosic@m4x.org
Downloads
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.