6 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Matthias Cosler, Frederik Schmitt, Christopher Hahn +1
We present a deep learning approach for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). Given a defective circuit and its for…