On the effectiveness of theorem proving guided discovery of formal assertions for a register allocator in a high-level synthesis system

1998 ◽  
pp. 367-386 ◽  
Author(s):  
Naren Narasimhan ◽  
Ranga Vemuri
Keyword(s):  
Theorem Proving ◽  
High Level Synthesis ◽  
Synthesis System ◽  
Guided Discovery ◽  
High Level ◽  
Register Allocator

DIADES-a high level synthesis system

2003 ◽  
Author(s):  
M. Perkowski ◽  
D. Smith ◽  
M. Driscoll ◽  
J. Liu ◽  
J. Brown
Keyword(s):  
High Level Synthesis ◽  
Synthesis System ◽  
High Level

DSS: a distributed high-level synthesis system

1992 ◽  
Vol 9 (2) ◽  
pp. 18-32 ◽  
Author(s):  
J. Roy ◽  
N. Kumar ◽  
R. Dutta ◽  
R. Vemuri
Keyword(s):  
High Level Synthesis ◽  
Synthesis System ◽  
High Level

scholarly journals A High-Level Synthesis System for Reconfigurable Machine: RM-V

2000 ◽  
Vol 120 (11) ◽  
pp. 1637-1643
Author(s):  
Tomokazu Muroya ◽  
Koji Hashimoto ◽  
Hirotada Takabayashi ◽  
Nobutaka Kuroki ◽  
Masahiro Numa
Keyword(s):  
High Level Synthesis ◽  
Synthesis System ◽  
High Level

Timing optimizations in a high-level synthesis system

2002 ◽  
Author(s):  
G. Gupta ◽  
D. Pastorello ◽  
G.D. House
Keyword(s):  
High Level Synthesis ◽  
Synthesis System ◽  
High Level
Sign in / Sign up

Export Citation Format

Share Document