@misc{indiciae9439a6c0a278,
  title = {From High-Level Modeling Towards Efficient and Trustworthy Circuits},
  author = {Mohamad Jaber and Mohamad Noureddine and Fadi A. Zaraket},
  year = {2014},
  url = {https://arxiv.org/abs/1409.8146},
  note = {Source identifier: 1409.8146}
}