Sciweavers

60 search results - page 4 / 12
» Embedding a Hardware Description Language in Template Haskel...
Sort
View
SAMOS
2004
Springer
15 years 5 months ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 28 days ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 4 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
FDL
2007
IEEE
15 years 6 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
DATE
1999
IEEE
115views Hardware» more  DATE 1999»
15 years 3 months ago
Case Study: System Model of Crane and Embedded Control
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
Eduard Moser, Wolfgang Nebel