Login / Signup

Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation.

Bogdan-Andrei TabacaruMoomen ChaariWolfgang EckerThomas KruseCristiano Novello
Published in: DSD (2016)
Keyphrases
  • low overhead
  • cost effective
  • database
  • databases
  • website
  • source code
  • computationally expensive
  • simulation study
  • distributed databases
  • simulation environment
  • asynchronous circuits
  • safety analysis