conftrace_

hardware synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural circuit synthesis (1) linear-time temporal logic (1) hardware circuit (1) neural network (1) circuit synthesis (1) linear temporal logic (1) specification mining (1) formal language (1) temporal logic (1) formal verification (1)

Papers

Neural Circuit Synthesis from Specification Patterns NeurIPS 2021