Search

Searching. Please wait…

Formal support for untimed SystemC specifications: application to high-level synthesis

Other conference communications or articles related to authors from the University of Cantabria

 Congress: Proceedings of the Forum on Specification & Design Languages (FDL): September 14 th-16th, 2010, Southampton, UK Southampton

 Publisher: Institution of Engineering and Technology

 Year of publication: 2010

 No. of pages: 6

 Pages: 74 a 79

 Publication type: Conference object

 DOI: 10.1049/ic.2010.0132

 ISBN: 978-2-95305-043-1

 European project: info:eu-repo/grantAgreement/EC/FP7/216807/EU/SysML based modelling, architecture exploration, simulation and synthesis for complex embedded systems/SATURN/

 Publication Url: https://doi.org/10.1049/ic.2010.0132

Authorship

FERNANDO HERRERA CASANUEVA