428 search results - page 76 / 86 » Validating High-Level Synthesis |
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
102
click to vote
DAC
2004
ACM
16 years 20 days ago
2004
ACM
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens...
104
click to vote
DAC
2005
ACM
16 years 20 days ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
113
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
Technology trends are driving parallel on-chip architectures in the form of multi-processor systems-on-a-chip (MPSoCs) and chip multi-processors (CMPs). In these systems the incre...
100
click to vote
SAMOS
2007
Springer
15 years 5 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...