Language Based Design Verification with Semantic Analysis

Economakos, G; Papakonstantinou, G

dc.contributor.author	Economakos, G	en
dc.contributor.author	Papakonstantinou, G	en
dc.date.accessioned	2014-03-01T02:48:43Z
dc.date.available	2014-03-01T02:48:43Z
dc.date.issued	1999	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34049
dc.subject	Attribute Grammar	en
dc.subject	Compiler Construction	en
dc.subject	Design Verification	en
dc.subject	Digital Design	en
dc.subject	Hardware Design	en
dc.subject	High Level Synthesis	en
dc.subject	Levels of Abstraction	en
dc.subject	Semantic Analysis	en
dc.title	Language Based Design Verification with Semantic Analysis	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1109/EURMIC.1999.794479	en
heal.identifier.secondary	http://dx.doi.org/10.1109/EURMIC.1999.794479	en
heal.publicationDate	1999	en
heal.abstract	Recent advances in fabrication technology have pushed the digital designers perspective towards higher levels of abstraction. While a lot of research work has been reported to support this demand, the development of automated high-level synthesis environments is still an experimental field. Previous work has shown that attribute grammars, used in traditional compiler construction, can also be effectively adopted to describe	en
heal.journalName	Conference on Software Engineering and Advanced Applications	en
dc.identifier.doi	10.1109/EURMIC.1999.794479	en