mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "vérification de matériel"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "vérification de matériel"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Paulin-Mohring, Christine (1995-09)
    (eng) This paper presents the proof of correctness of a multiplier circuit formalized in the calculus of inductive constructions. It uses a representation of the circuit as a function from the stream of inputs to the stream ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share