Login / Signup

A self-checking cell logic block for fault tolerant FPGAs.

Salvatore PontarelliGian Carlo CardarilliA. LeandriMarco OttaviMarco ReAdelio Salsano
Published in: ISCAS (4) (2002)
Keyphrases
  • fault tolerant
  • state machine
  • fault tolerance
  • distributed systems
  • load balancing
  • high availability
  • verification method
  • logic programming
  • modal logic
  • hardware implementation
  • mobile agent system