Compiling process algebraic descriptions into reconfigurable logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1800 LNCS, Issue , 2000, Pages 916-923

  Diessel, Oliver ^a   Milne, George ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER HARDWARE; CONCURRENCY CONTROL; FIELD PROGRAMMABLE GATE ARRAYS (FPGA); HIGH LEVEL LANGUAGES; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; HARDWARE;

ALGEBRAIC DESCRIPTION; ALGEBRAIC LANGUAGES; CONCURRENT COMPUTATION; DIGITAL LOGIC; RECONFIGURABLE COMPUTER; RECONFIGURABLE LOGIC; RUN TIME RECONFIGURATION; SOFTWARE MODEL;

RECONFIGURABLE HARDWARE;

EID: 84876382577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45591-4_126     Document Type: Conference Paper

References (10)

1. A. Bailey, G. A. McCaskill, and G. Milne. An exercise in the automatic verification of asynchronous designs. Formal Methods in System Design, 4(3):213-242, 1994.
2. O. Diessel and G. Milne. Compiling HCircal. Draft manuscript, Advanced Computing Research Centre, University of South Australia, Adelaide, Australia, Spetember 24, 1999.
3. B. K. Gunther. SPACE 2 as a reconfigurable stream processor. In N. Sharda and A. Tam, editors, Proceedings of PART'97 the 4th Australasian Conference on Parallel and Real-Time Systems, pages 286 - 297, Singapore, Sept. 1997. Springer-Verlag.
4. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International series in computer science. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1985.
5. G. Milne. CIRCAL and the representation of communication, concurrency and time. ACM Transactions on Programming Languages and Systems, 7(2):270-298, 1985.
6. G. Milne. Formal Specification and Verification of Digital Systems. McGraw-Hill, London, UK, 1994.
7. R. Milner. Communication and Concurrency. Prentice-Hall, Inc., New York, NY, 1989.
8. I. Page and W. Luk. Compiling Occam into FPGAs. In W. R. Moore and W. Luk, editors, FPGAs, Edited from the Oxford 1991 International Workshop on Field Programmable Logic and Applications, pages 271 - 283, Abingdon, England, 1991. Abingdon EE&CS Books.
9. P. Shaw and G. Milne. A highly parallel FPGA-based machine and its formal verification. In H. Grünbacher and R. W. Hartenstein, editors, Second International Workshop on Field-Programmable Logic and Applications, volume 705 of Lecture Notes in Computer Science, pages 162-173, Berlin, Germany, Sept. 1992. Springer-Verlag.
10. Xilinx. XC6200 Field Programmable Gate Arrays. Xilinx, Inc., Apr. 1997.