المؤلفون: Ben Hammouda, Mohamed, Coussy, Philippe, Lagadec, Loic

المساهمون: Lab-STICC_UBO_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBS_CACS_MOCS, Lab-STICC_ENSTAB_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISCAS 2014 ; ISCAS 2014 - IEEE International Symposium on Circuits and Systems ; https://hal.univ-brest.fr/hal-00944548Test ; ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX

مصطلحات موضوعية: High Level Synthesis, Assertion Based Verification, Hardware Monitoring, ACM SiGDA

جغرافية الموضوع: Melbourne, Australia

العلاقة: hal-00944548; https://hal.univ-brest.fr/hal-00944548Test

الإتاحة: https://hal.univ-brest.fr/hal-00944548Test

المؤلفون: Corre, Youenn, Hoang, Van-Trinh, Diguet, Jean-Philippe, Heller, Dominique, Lagadec, Loic

المساهمون: Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBO_CACS_MOCS

المصدر: International Conference on Design and Architectures for Signal and Image Processing (DASIP) ; https://hal.science/hal-00747713Test ; International Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2012, Germany

مصطلحات موضوعية: Codesign, FPGA, high level synthesis, MPSOC, Heterogeneous, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

العلاقة: hal-00747713; https://hal.science/hal-00747713Test

الإتاحة: https://hal.science/hal-00747713Test

المؤلفون: Loïc Lagadec, Mohamed Ben Hammouda, Philippe Coussy

المساهمون: Lab-STICC_UBO_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBS_CACS_MOCS, Lab-STICC_ENSTAB_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Lagadec, Loic

المصدر: ISCAS 2014
ISCAS 2014-IEEE International Symposium on Circuits and Systems
ISCAS 2014-IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
ISCAS

مصطلحات موضوعية: ANSI C, High-level verification, High Level Synthesis, Assertion Based Verification, Hardware Monitoring, business.industry, Computer science, media_common.quotation_subject, Assertion, ACM SiGDA, Debugging, Embedded system, High-level synthesis, Synchronization (computer science), Verilog, Property Specification Language, business, computer, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, Computer hardware, media_common, computer.programming_language, Register-transfer level

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23c127e67376e0b9ffdd222aa1d4ffb8Test
https://hal.univ-brest.fr/hal-00944548Test