Login / Signup
Fault tolerant nanoarray circuits: Automatic design and verification.
Pasquale Ranone
Giovanna Turvani
Fabrizio Riente
Mariagrazia Graziano
Massimo Ruo Roch
Maurizio Zamboni
Published in:
VTS (2014)
Keyphrases
</>
fault tolerant
fault tolerance
high assurance
distributed systems
database
formal verification
evolvable hardware
high level synthesis
data structure
software systems
load balancing
high availability
circuit design
digital circuits
electronic circuits