TY  - RPRT
TI  - From High-Level Modeling Towards Efficient and Trustworthy Circuits
AU  - Mohamad Jaber
AU  - Mohamad Noureddine
AU  - Fadi A. Zaraket
PY  - 2014
UR  - https://arxiv.org/abs/1409.8146
ID  - 1409.8146
ER  -