Computer Aided Verification, CAV 2017


Article Details
Title: A Correct-by-Decision Solution for Simultaneous Place and Route
Article URLs:
Alternative Article URLs: https://drive.google.com/open?id=1gr3Zo5083NKO5SEKZi2ZEt9OieU-8RUl
Authors: Alexander Nadel
  • Intel Corporation
Sharing: Research produced artifacts
Verification: Author has verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/cav/Nadel17
Author Comments:

Discuss this paper and its artifacts below