21984 search results - page 117 / 4397 » C |
140
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
142
click to vote
PSLS
1995
15 years 7 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
146
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
104
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— This paper presents an optimized channel usage between simulator and accelerator when the simulator models transaction-level SoC while accelerator models RTL sub-blocks...
124
click to vote
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...