894 search results - page 74 / 179 » Optimizations for LTL Synthesis |
100
click to vote
ISSS
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
69
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
94
Voted
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
100
Voted
ASPDAC
1995
ACM
15 years 4 months ago
1995
ACM
In this paper we describe, a powerful post-synthesis approach called reclocking, for performance improvement by minimizing the total execution time. By back annotating the wire del...
86
Voted
AUTOMATICA
2008
15 years 23 days ago
2008
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...