conftrace_

hardware circuit

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

linear-time temporal logic (1) neural circuit synthesis (1) hardware synthesis (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