Sciweavers

1446 search results - page 61 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
133
Voted
DAC
2006
ACM
16 years 3 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
LCTRTS
2004
Springer
15 years 7 months ago
Asynchronous software thread integration for efficient software
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
Nagendra J. Kumar, Siddhartha Shivshankar, Alexand...
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 3 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
DATE
2002
IEEE
136views Hardware» more  DATE 2002»
15 years 7 months ago
Beyond UML to an End-of-Line Functional Test Engine
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
Andrea Baldini, Alfredo Benso, Paolo Prinetto, Ser...
FPL
2007
Springer
198views Hardware» more  FPL 2007»
15 years 8 months ago
Floating-Point Trigonometric Functions for FPGAs
Field-programmable circuits now have a capacity that allows them to accelerate floating-point computing, but are still missing core libraries for it. In particular, there is a ne...
Jérémie Detrey, Florent de Dinechin