Moosic: Writing a Yosys Plugin for Design for Trust
Revision as of 13:24, 10 June 2024 by Alnurn (talk | contribs) (Alnurn moved page Moosic: Design for Trust in the Open Source EDA Toolchain to Moosic: Writing a Yosys Plugin for Design for Trust: Focus on Yosys plugin implementation)
- Speakers: Gabriel Gouvine
- email:
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.