{"schemaVersion":1,"target":{"type":"reading","id":"a9a6c9c9ddd70b6edd3d188c225ec97c555adfa970d13b6b9b21aaf69c9d1ace","revision":"761ef5bd-ebe6-4254-85e3-de278fb0b00a","revisionKind":"publication-id","title":"Harmonic reports Aristotle proved Ibex multiplication and division properties","url":"https://escapemeridian.com/readings/harmonic-reports-aristotle-proved-ibex-multiplication-and-a9a6c9c9"},"source":{"type":"source","id":"https://www.harmonic.fun/news/ibex-mul-div-verification/","revision":"caf38b8838a03f69d4b843915910fd580c3c45b4817f86286636ab1dbc5ccffd","revisionKind":"sha256-source-text","title":"Formally Verifying the MUL and DIV Instructions of the Ibex RISC-V CPU Using Aristotle | Harmonic","url":"https://www.harmonic.fun/news/ibex-mul-div-verification/"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}