-FET for fast logic applications.

Kyunghwa Lee Hassan El Dirani Pascal Fonteneau Maryline Bawedin Shingo Sato Sorin Cristoloveanu

Published in: ESSDERC (2018)

Keyphrases

multi valued
modal logic
classical logic
chip design
logic programming
predicate logic
data structure
data sets
neural network
information retrieval
computer vision
automated reasoning
computational properties
formal theory
asynchronous circuits
deductive reasoning