DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, S | - |
dc.contributor.author | Im, H | - |
dc.date.accessioned | 2016-04-01T02:21:49Z | - |
dc.date.available | 2016-04-01T02:21:49Z | - |
dc.date.created | 2011-05-16 | - |
dc.date.issued | 2011-01 | - |
dc.identifier.issn | 0956-7968 | - |
dc.identifier.other | 2011-OAK-0000023018 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/24990 | - |
dc.description.abstract | In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description languages have been developed. Like conventional hardware description languages, however, functional hardware description languages eventually convert all source programs into netlists, which describe wire connections in hardware circuits at the lowest level and conceal all high-level descriptions written into source programs. We develop a calculus, called l. (linear lambda), which may serve as an intermediate functional language just above netlists in the hierarchy of hardware description languages. In order to support higher-order functions, l lambda uses a linear type system, which enforces the linear use of variables of function type. The translation of l lambda into structural descriptions of hardware circuits is sound and complete in the sense that it maps expressions only to realizable hardware circuits, and that every realizable hardware circuit has a corresponding expression in l lambda. To illustrate the use of l lambda as a practical intermediate language for hardware description, we design a simple hardware description language that extends l lambda with polymorphism, and use it to implement a fast Fourier transform circuit and a bitonic sorting network. | - |
dc.description.statementofresponsibility | X | - |
dc.language | English | - |
dc.publisher | CAMBRIDGE UNIV PRESS | - |
dc.relation.isPartOf | JOURNAL OF FUNCTIONAL PROGRAMMING | - |
dc.subject | LANGUAGE | - |
dc.subject | DESIGN | - |
dc.title | A calculus for hardware description | - |
dc.type | Article | - |
dc.contributor.college | 컴퓨터공학과 | - |
dc.identifier.doi | 10.1017/S0956796810000249 | - |
dc.author.google | Park, S | - |
dc.author.google | Im, H | - |
dc.relation.volume | 21 | - |
dc.relation.startpage | 21 | - |
dc.relation.lastpage | 58 | - |
dc.contributor.id | 10165554 | - |
dc.relation.journal | JOURNAL OF FUNCTIONAL PROGRAMMING | - |
dc.relation.index | SCI급, SCOPUS 등재논문 | - |
dc.relation.sci | SCIE | - |
dc.collections.name | Journal Papers | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | JOURNAL OF FUNCTIONAL PROGRAMMING, v.21, pp.21 - 58 | - |
dc.identifier.wosid | 000289376900002 | - |
dc.date.tcdate | 2019-02-01 | - |
dc.citation.endPage | 58 | - |
dc.citation.startPage | 21 | - |
dc.citation.title | JOURNAL OF FUNCTIONAL PROGRAMMING | - |
dc.citation.volume | 21 | - |
dc.contributor.affiliatedAuthor | Park, S | - |
dc.identifier.scopusid | 2-s2.0-80054903572 | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
dc.description.wostc | 56 | - |
dc.description.scptc | 2 | * |
dc.date.scptcdate | 2018-05-121 | * |
dc.type.docType | Article | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.