Standard

Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE). / Medvedev, O.; Posov, I.

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). Institute of Electrical and Electronics Engineers Inc., 2010. p. 85-88.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Harvard

Medvedev, O & Posov, I 2010, Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE). in Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). Institute of Electrical and Electronics Engineers Inc., pp. 85-88. <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=5558649>

APA

Medvedev, O., & Posov, I. (2010). Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE). In Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) (pp. 85-88). Institute of Electrical and Electronics Engineers Inc.. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=5558649

Vancouver

Medvedev O, Posov I. Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE). In Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). Institute of Electrical and Electronics Engineers Inc. 2010. p. 85-88

Author

Medvedev, O. ; Posov, I. / Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE). Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). Institute of Electrical and Electronics Engineers Inc., 2010. pp. 85-88

BibTeX

@inproceedings{d836c925297947b89d3d0e0580474704,
title = "Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE)",
abstract = "The paper describes our solution of this year hw-sw codesign problem with our codesign language (HaSCoL).",
keywords = "ArraysDetectorsDoped fiber amplifiersEnginesHardwarePattern matchingRandom access memory",
author = "O. Medvedev and I. Posov",
note = "O. Medvedev and I. Posov, {"}Using hardware-software codesign language to implement CANSCID,{"} Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 2010, pp. 85-88, doi: 10.1109/MEMCOD.2010.5558649.",
year = "2010",
language = "English",
isbn = "9781424478866",
pages = "85--88",
booktitle = "Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

RIS

TY - GEN

T1 - Using hardware-software codesign language to implement CANSCID, Formal Methods and Models for Codesign (MEMOCODE)

AU - Medvedev, O.

AU - Posov, I.

N1 - O. Medvedev and I. Posov, "Using hardware-software codesign language to implement CANSCID," Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 2010, pp. 85-88, doi: 10.1109/MEMCOD.2010.5558649.

PY - 2010

Y1 - 2010

N2 - The paper describes our solution of this year hw-sw codesign problem with our codesign language (HaSCoL).

AB - The paper describes our solution of this year hw-sw codesign problem with our codesign language (HaSCoL).

KW - ArraysDetectorsDoped fiber amplifiersEnginesHardwarePattern matchingRandom access memory

M3 - Conference contribution

SN - 9781424478866

SP - 85

EP - 88

BT - Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

ID: 4695572