Category: Architecture

• Circuits: Some proofs of hardware (adder, multiplier, memory block instruction)
  Laurent Arditi
• Fairisle: Proof of the Fairisle 4x4 Switch Element
  Line Jakubiec-Jamet, Solange Coupet-Grimal
• Hardware: Verification and synthesis of hardware linear arithmetic structures.
  Solange Coupet-Grimal & Line Jakubiec
• Multiplier: Proof of a multiplier circuit
  Christine Paulin