Google X; Google; Google Research, Brain Team
Shobha Vasudevan, Wenjie (Joe) Jiang, David Bieber, Rishabh Singh, hamid shojaei, C. Richard Ho, Charles Sutton
Hardware Design;Verification;Graph Convolutional Networks;Test generation
Learning Semantic Representations to Verify Hardware Designs