Efficient FPGA Hardware Development: A Multi-Language Approach

This paper presents a multi-language framework to FPGA hardware development which aims to satisfy the dual requirement of high-level hardware design and efficient hardware implementation. The central idea of this framework is the integration of different hardware languages in a way that harnesses the best features of each language. This is illustrated in this paper by the integration of two hardware languages in the form of HIDE: a structured hardware language which provides more abstract and elegant hardware descriptions and compositions than are possible in traditional hardware description languages such as VHDL or Verilog, and Handel-C: an ANSI C-like hardware language which allows software and hardware engineers alike to target FPGAs from high-level algorithmic descriptions. On the one hand, HIDE has proven to be very successful in the description and generation of highly optimised parameterisable FPGA circuits from geometric descriptions. On the other hand, Handel-C has also proven to be very successful in the rapid design and prototyping of FPGA circuits from algorithmic application descriptions. The proposed integrated framework hence harnesses HIDE for the generation of highly optimised circuits for regular parts of algorithms, while Handel-C is used as a top-level design language from which HIDE functionality is dynamically invoked. The overall message of this paper posits that there need not be an exclusive choice between different hardware design flows. Rather, an integrated framework where different design flows can seamlessly interoperate should be adopted. Although the idea might seem simple prima facie, it could have serious implications on the design of future generations of hardware languages.

BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.

Greek-Turkish Dilemmas and the Cyprus-EU Accession Process

This article compares the processes of foreign policymaking in Greece and Turkey in order to examine why the incentives and pressures of the enlargement process have failed until now to initiate a settlement in the Cyprus bicommunal negotiations. While most studies on the Cyprus problem have focused on the two communities of the island, little at-tention has been paid to the policies of the two â??motherlandsâ??, namely Greece and Turkey. Yet their leverage on the two Cypriot communities and their conflicting expectations with regard to an enlarged Europe in the Eastern Mediterranean constitute a complex security puzzle. The Republic of Cyprus stands as a champion candidate member for the next enlargement, amid fears of Turkish reprisals and hopes for a po-litical settlement on the island. With the benefits of settlement overwhelming the benefits of any other alternative, it is paradoxical that the parties seem to be about to fail to reach a last-minute, mutually beneficial compromise. I try to resolve this paradox by supplementing rational choice theory with cognitivist theories of international relations. While rational choice predicts a direct relationship between external environment and foreign policy shifts, the case of Cyprus suggests that this relationship is actually indirect. Without understanding how the external environment is framed in the domestic political discourse of Greece and Turkey, it is impossible to demonstrate how outside pressure and incentives affect foreign policy shifts.