1077 search results - page 109 / 216 » Hardware code generation from dataflow programs |
133
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Code compression has been shown to be an effective technique to reduce code size in memory constrained embedded systems. It has also been used as a way to increase cache hit ratio...
105
click to vote
SBACPAD
2009
IEEE
15 years 8 months ago
2009
IEEE
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
ISCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes an on-chip programmable bias current generator, intended for mixed signal chips requiring a wide ranging set of currents. The individual generators share a ma...