Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) 2010
DOI: 10.1109/memcod.2010.5558649
|View full text |Cite
|
Sign up to set email alerts
|

Using hardware-software codesign language to implement CANSCID

Abstract: The paper describes our solution of this year hwsw codesign problem with our codesign language (HaSCoL).

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2011
2011
2013
2013

Publication Types

Select...
2

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 1 publication
0
3
0
Order By: Relevance
“…Our team has many years of experience on development a tool for design hardware implementations of complex applications on the basis of language HaSCoL (Hardware and Software CoDesign Language) [4, 5,6,7,8]. This language is a convenient tool for the programmer to explicitly specify parallelism -a few steps one can write with a separator «|», thus the compiler is instructed that they must be carried out in parallel in a single cycle, and a means of specifying pipeline -a few steps separated by ";" set the conveyer, the system provides the auxiliary registers storing intermediate results, synchronization, the interaction of pipelines, their suspension and resumption.…”
Section: Non Trivial Examplementioning
confidence: 99%
“…Our team has many years of experience on development a tool for design hardware implementations of complex applications on the basis of language HaSCoL (Hardware and Software CoDesign Language) [4, 5,6,7,8]. This language is a convenient tool for the programmer to explicitly specify parallelism -a few steps one can write with a separator «|», thus the compiler is instructed that they must be carried out in parallel in a single cycle, and a means of specifying pipeline -a few steps separated by ";" set the conveyer, the system provides the auxiliary registers storing intermediate results, synchronization, the interaction of pipelines, their suspension and resumption.…”
Section: Non Trivial Examplementioning
confidence: 99%
“…In this section we describe our implementation of the algorithm described above in the HaSCoL high-level hardware description language [2] [7]. We judge how well the language suits implementing different parts of the design based on the quantity of efforts needed to code and test those parts as well as the place-and-route results.…”
Section: Implementation In Hascolmentioning
confidence: 99%
“…To break a data path into several cycles one may use a semicolon inside a message handler, which describes a pipeline (with backpressure propagated if needed). For more information about the language see a HaSCoL tutorial (http://code.google.com/p/hascolplayground/wiki/MiniTutoria l) and [2] [7].…”
Section: Implementation In Hascolmentioning
confidence: 99%