Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

25851 N queens on an fpga: mathematics,programming, or both?
Home Policy Brochure Browse Search User Area Contact Help

Kuper, J. and Wester, R. (2014) N queens on an fpga: mathematics,programming, or both? In: Communicating Processes Architectures 2014, 24-27 August 2014, Oxford, UK. pp. 181-203. Open Channel Publishing Ltd. ISBN 978-0-9565409-8-0

Full text available as:


390 Kb
Open Access

Exported to Metis


This paper presents a design methodology for deriving an FPGA implementation directly from a mathematical specification, thus avoiding the switch in semantic perspective as is present in widely applied methods which include an imperative implementation as an intermediate step. The first step in the method presented in this paper is to transform a mathematical specification into a Haskell program. The next step is to make repetition structures explicit by higher order functions, and after that rewrite the specification in the form of a Mealy Machine. Finally, adaptations have to be made in order to comply to the fixed nature of hardware. The result is then given to CaSH, a compiler which generates synthesizable VHDL from the resulting Haskell code. An advantage of the approach presented here is that in all phases of the process the design can be directly simulated by executing the defining code in a standard Haskell environment. To illustrate the design process, the N queens problem is chosen as a running example.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-CAES: Computer Architecture for Embedded Systems
Research Program:CTIT-WiSe: Wireless and Sensor Systems
Research Project:POLCA: Programming Large Scale Heterogeneous Infrastructures, STARS2: Sensor Technology Applied In Reconfigurable Systems 4 Sustainable Security
Additional Information:
Uncontrolled Keywords:FPGA Design, CλaSH, model based design
ID Code:25851
Deposited On:03 March 2015
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item