• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Synthesizing Environment Invariants for Modular Hardware Verification.

Hongce ZhangWeikun YangGrigory FedyukovichAarti GuptaSharad Malik
Published in: VMCAI (2020)
Keyphrases
  • real time
  • low cost
  • hardware and software
  • data sets
  • model checking
  • neural network
  • genetic algorithm
  • mobile robot
  • hardware design
  • signal processing
  • embedded systems
  • massively parallel