Conference , Workshops Proceedings

Synthesis by Language ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A and Sangiovanni-Vincentelli, A. "Synthesis by Language Equation Solving" in IEEE International Workshop on Logic Synthesis (IWLS'2000), pp. 11-14. CA, Dana Point, USA
[Full text]

  • Thank you for supporting innovative initiatives and collaborative work! https://t.co/h2TvLneAbp
  • Découvrez la #startech @technopolys_qc de la semaine → l'entreprise Hospitalis : moteur d’efficacité clinique! https://t.co/pE7TZbmfp0