Centre for Applied Formal Methods
Hardware Compilation

• J.P. Bowen and He Jifeng, Hardware Compilation: Verification and Rapid-prototyping. RUCS Technical Report, RUCS/1999/TR/012/A, Department of Computer Science, The University of Reading, UK, October 1999.

• J.P. Bowen, Animating the Semantics of VERILOG using Prolog. UNU/IIST Technical Report no. 176, International Institute for Software Technology, United Nations University, Macau, September 1999.

Meetings:

• ENREGLE: 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects, part of the 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Monte Carlo Resort, Las Vegas, Nevada, USA, 26-29 June 2000.

• ERSA: 1st International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, USA, June 2001.

• FPL2001: 11th International Workshop on Field Programmable Logic and Applications, The Queen's University of Belfast, Northern Ireland, UK, 27-29 August 2001. See also FPL2000, FPL'99, FPL'98, FPL'97.

• Hardware Compilation information and Hardware Compilation: Translating Programs into Circuits article in IEEE Computer by Niklaus Wirth.

• BRASS Research Group (Berkeley Reconfigurable Architectures, Systems, and Software), Berkeley, USA. See automatic C compilation to software and reconfigurable hardware (Garp) including an on-line demo.

• Compositional Methods for Hardware/Software Co-Design project.

• Reconfigurable computing at ETF, School of Electrical Engineering (ETF), University of Belgrade, Serbia.

Companies:

• Altera, San Jose, USA - programmable hardware devices.
• ARM Ltd. - RISC processors.
• Celoxica, formerly Embedded Solutions, Abingdon, UK - Handel C hardware compiler.
• Sharp Laboratories of Europe, Oxford, UK - investigating hardware compilation technology.
• Synopsis, Mountain View, USA - FPGA compiler.
• Xilinx, USA - Field Programmable Gate Arrays (FPGAs).

Oxford ComLab resources:
(group now disbanded, but information still of interest)

• Hardware compilation archive.
• ProCoS hardware compilation.
• Hardware Compilation Group, Oxford.

Searches:

• Google links.
• AltaVista links.

See also FPGA links in the Google directory.