Optimising designs for hardware compilation to FPGAs

1997 IEEE Workshop on Signal Processing Systems. SiPS 97 Design and Implementation formerly VLSI Signal Processing ◽

10.1109/sips.1997.626342 ◽

2002 ◽

Author(s):

F.J. O'Reilly ◽

W.P. Marnane ◽

P.J. Murphy

Keyword(s):

Hardware Compilation

Download Full-text

A Denotational Semantics for Handel-C Hardware Compilation

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-76650-6_16 ◽

2007 ◽

pp. 266-285 ◽

Author(s):

Juan Ignacio Perna ◽

Jim Woodcock

Keyword(s):

Denotational Semantics ◽

Hardware Compilation

Download Full-text

Hardware compilation of application-specific memory-access interconnect

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2006.870411 ◽

2006 ◽

Vol 25 (5) ◽

pp. 756-771 ◽

Author(s):

G. Venkataramani ◽

T. Bjerregaard ◽

T. Chelcea ◽

S.C. Goldstein

Keyword(s):

Memory Access ◽

Hardware Compilation ◽

Specific Memory ◽

Application Specific

Download Full-text

Simulation approach to provably correct hardware compilation

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_172 ◽

1994 ◽

pp. 336-350 ◽

Author(s):

He Jifeng ◽

Zheng Jianping

Keyword(s):

Simulation Approach ◽

Hardware Compilation

Download Full-text

Customisable Hardware Compilation

The Journal of Supercomputing ◽

10.1007/s11227-005-0288-x ◽

2005 ◽

Vol 32 (2) ◽

pp. 119-137 ◽

Author(s):

Tim Todman ◽

Jos� Gabriel de F. Coutinho ◽

Wayne Luk

Keyword(s):

Hardware Compilation

Download Full-text

Hardware compilation for software engineers: An ATM example

IEE Proceedings - Software ◽

10.1049/ip-sen:20010213 ◽

2001 ◽

Vol 148 (1) ◽

pp. 31 ◽

Author(s):

M. Fleury ◽

R.P. Self ◽

A.C. Downton

Keyword(s):

Hardware Compilation ◽

Software Engineers

Download Full-text

Keynote paper: Hardware compilation - A new technique for rapid prototyping of digital systems - applied to sensor validation

Control Engineering Practice ◽

10.1016/0967-0661(95)00074-5 ◽

1995 ◽

Vol 3 (7) ◽

pp. 907-924 ◽

Author(s):

M.P Henry

Keyword(s):

Rapid Prototyping ◽

Digital Systems ◽

New Technique ◽

Hardware Compilation ◽

Sensor Validation ◽

Keynote Paper ◽

A New Technique

Download Full-text

Hardware Compilation from an RTL to a Storage Logic Array Target

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.1984.1270077 ◽

1984 ◽

Vol 3 (3) ◽

pp. 208-217 ◽

Author(s):

F.J. Hill ◽

Z. Navabi ◽

C.H. Chiang ◽

Duan-Ping Chen ◽

M. Masud

Keyword(s):

Hardware Compilation ◽

Download Full-text

Hardware compilation, configurable platforms and ASICs for self-validating sensors

Field-Programmable Logic and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-63465-7_247 ◽

1997 ◽

pp. 418-427 ◽

Author(s):

Ian Page

Keyword(s):

Hardware Compilation

Download Full-text

Interleaving Behavioral and Cycle-Accurate Descriptions for Reconfigurable Hardware Compilation

13th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'05) ◽

10.1109/fccm.2005.44 ◽

2005 ◽

Author(s):

J.G.F. Coutinho ◽

Jun Jiang ◽

W. Luk

Keyword(s):

Reconfigurable Hardware ◽

Hardware Compilation

Download Full-text

Hardware compilation for FPGA-based configurable computing machines

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310030 ◽

1999 ◽

Author(s):

Xiaohan Zhu ◽

Bill Lin

Keyword(s):

Configurable Computing ◽

Hardware Compilation ◽

Computing Machines

Download Full-text