From high-level modeling toward efficient and trustworthy circuits

Publication
International Journal on Software Tools for Technology Transfer