148 search results - page 14 / 30 » The Challenges of Hardware Synthesis from C-Like Languages |
132
Voted
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
97
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— Clock-gating and power-gating have proven to be very effective solutions for reducing dynamic and static power, respectively. The two techniques may be coupled in such a way th...
102
click to vote
CORR
2008
Springer
15 years 14 days ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
85
Voted
ISQED
2009
IEEE
15 years 7 months ago
2009
IEEE
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally ef...
107
Voted
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...