Login / Signup
Technology mapping for TLU FPGAs based on decomposition of binary decision diagrams.
Shih-Chieh Chang
Malgorzata Marek-Sadowska
TingTing Hwang
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1996)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
information retrieval