1 search result for "author:"Laurent Arditi""

Showing 1 - 1
  1. coq-circuits

    No documentation

    Some proofs of hardware (adder, multiplier, memory block instruction)
    keyword: hardware verification category: Computer Science/Architecture
    Laurent Arditi
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019