mirage

Browsing by Subject "(FRE) Spécification, vérification de matériel, définition co-inductives."

DSpace/Manakin Repository

Browsing by Subject "(FRE) Spécification, vérification de matériel, définition co-inductives."

Sort by: Order: Results:

  • Circuits as streams in COQ: verification of a sequential multiplier.
    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 ...
Bookmark and Share