Scalable Certification Framework for Behavioral Synthesis Front-End.

Zhenkun Yang Kecheng Hao Kai Cong Li Lei Sandip Ray Fei Xie

Published in: DAC (2014)

Keyphrases

neural network
main contribution
theoretical framework
key features
probabilistic model
back end