Amanote Research
Register
Sign In
Scalable Certification Framework for Behavioral Synthesis Front-End
doi 10.1109/dac.2014.6881476
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2014
Authors
Zhenkun Yang
Kecheng Hao
Kai Cong
Li Lei
Sandip Ray
Fei Xie
Publisher
IEEE