% This file was created with JabRef 2.5. % Encoding: MacRoman @INPROCEEDINGS{Wired, author = {Emil Axelsson and Koen Claessen and Mary Sheeran}, title = {{Wired: Wire-Aware Circuit Design}}, booktitle = {{Proceedings of Conference on Correct Hardware Design and Verĩcation Methods (CHARME)}}, year = {2005}, volume = {3725}, series = {{Lecture Notes in Computer Science}}, pages = {{5--19}}, publisher = {Springer Verlag}, owner = {darchon}, timestamp = {2010.01.21} } @INPROCEEDINGS{Lava, author = {Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam}, title = {{Lava: hardware design in Haskell}}, booktitle = {{ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming}}, year = {1998}, pages = {174--184}, address = {New York, NY, USA}, publisher = {ACM}, doi = {http://doi.acm.org/10.1145/289423.289440}, isbn = {1-58113-024-4}, location = {Baltimore, Maryland, United States}, owner = {darchon}, timestamp = {2010.01.20} } @INPROCEEDINGS{Cardelli1981, author = {Luca Cardelli and Gordon Plotkin}, title = {{An Algebraic Approach to VLSI Design}}, booktitle = {{Proceedings of the VLSI 81 International Conference}}, year = {1981}, pages = {173-182}, owner = {darchon}, timestamp = {2010.01.25} } @INPROCEEDINGS{Hawk2, author = {Byron Cook and John Launchbury and John Matthews}, title = {{Specifying superscalar microprocessors in Hawk}}, booktitle = {{Formal Techniques for Hardware and Hardware-like Systems}}, year = {1998}, owner = {darchon}, timestamp = {2010.01.20} } @ARTICLE{reFLect, author = {Grundy,Jim and Melham,Tom and O'Leary,John}, title = {{A reflective functional language for hardware design and theorem proving}}, journal = {Journal of Functional Programming}, year = {2006}, volume = {16}, pages = {157-196}, number = {02}, doi = {10.1017/S0956796805005757}, owner = {darchon}, timestamp = {2010.01.21} } @INPROCEEDINGS{DAISY, author = {Johnson, Steven D.}, title = {Applicative programming and digital design}, booktitle = {POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages}, year = {1984}, pages = {218--227}, address = {New York, NY, USA}, publisher = {ACM}, doi = {http://doi.acm.org/10.1145/800017.800533}, isbn = {0-89791-125-3}, location = {Salt Lake City, Utah, United States}, owner = {darchon}, timestamp = {2010.01.25} } @INPROCEEDINGS{Ruby, author = {Jones, G. and Sheeran, M.}, title = {{Circuit Design in Ruby}}, booktitle = {{Formal Methods for VLSI Design}}, year = {1990}, address = {Lyngby, Denmark}, publisher = {Elsevier Science Publishers}, citeulike-article-id = {304676}, journal = {Circuit Design in Ruby}, keywords = {jones90}, owner = {darchon}, posted-at = {2005-08-26 18:08:07}, priority = {0}, timestamp = {2010.01.20} } @ARTICLE{HML2, author = {Yanbing Li and Leeser, M.}, title = {{HML, a novel hardware description language and its translation to VHDL}}, journal = {{Very Large Scale Integration (VLSI) Systems, IEEE Transactions on}}, year = {2000}, volume = {8}, pages = {1-8}, number = {1}, month = {Feb}, doi = {10.1109/92.820756}, issn = {1063-8210}, keywords = {ML language, hardware description languages, type theoryHML, SML functional programming language, VHDL translation, digital design, hardware description language, polymorphic type, translator, type checker, type inference}, owner = {darchon}, timestamp = {2010.01.20} } @INPROCEEDINGS{HML1, author = {Yanbing Li and Leeser, M.}, title = {{HML: an innovative hardware description language and its translation to VHDL}}, booktitle = {{Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95., IFIP International Conference on Hardware Description Languages; IFIP International Conference on Very Large Scale Integration., Asian and South Pacific}}, year = {1995}, pages = {691-696}, month = {Aug-1 Sep}, doi = {10.1109/ASPDAC.1995.486388}, keywords = {abstract data types, functional languages, functional programming, hardware description languagesHML, VHDL, advanced type checking, functional programming language, hardware description language, polymorphic types, type inference}, owner = {darchon}, timestamp = {2010.01.20} } @INPROCEEDINGS{FL, author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}}, title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving}}, booktitle = {{Proceedings of 12th International Conference on Theorem Proving in Higher Order Logics}}, year = {1999}, volume = {1690}, series = {LNCS}, pages = {323-340}, publisher = {Springer Verlag}, owner = {darchon}, timestamp = {2010.01.26} } @INPROCEEDINGS{Hawk1, author = {Matthews, J. and Cook, B. and Launchbury, J.}, title = {{Microprocessor specification in Hawk}}, booktitle = {{Proceedings of 1998 International Conference on Computer Languages}}, year = {1998}, pages = {90-101}, month = {May}, abstract = {Modern microprocessors require an immense investment of time and effort to create and verify, from the high level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain specific language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languages, such as static typing, parametric polymorphism, first class functions, and lazy evaluation provide a good formalism for such a domain specific language, and have made initial progress by creating a library on top of the functional language Haskell. We have specified the integer subset of an out of order, superscalar DLX microprocessor, with register renaming, a reorder buffer, a global reservation station, multiple execution units, and speculative branch execution. Two key abstractions of this library are the signal abstract data type (ADT), which models the simulation history of a wire, and the transaction ADT, which models the state of an entire instruction as it travels through the microprocessor}, doi = {10.1109/ICCL.1998.674160}, issn = {1074-8970}, keywords = {abstract data types, formal specification, functional languages, functional programming, hardware description languages, microprocessor chips, software librariesHawk language, design engineers, domain specific language, first class functions, functional language Haskell, functional programming languages, global reservation station, high level architectural design, integer subset, lazy evaluation, microprocessor specification, multiple execution units, out of order superscalar DLX microprocessor, parametric polymorphism, processor architecture simulation, register renaming, reorder buffer, signal abstract data type, simulation history, software library, speculative branch execution, static typing,, structuring principles, transaction ADT}, owner = {darchon}, timestamp = {2010.01.20} } @INPROCEEDINGS{FHDL, author = {Meshkinpour, F. and Ercegovac, M. D.}, title = {A functional language for description and design of digital systems: sequential constructs}, booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference}, year = {1985}, pages = {238--244}, address = {New York, NY, USA}, publisher = {ACM}, doi = {http://doi.acm.org/10.1145/317825.317865}, isbn = {0-8186-0635-5}, location = {Las Vegas, Nevada, United States}, owner = {darchon}, timestamp = {2010.01.25} } @INPROCEEDINGS{Hydra, author = {John O'Donnell}, title = {{From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra}}, booktitle = {{Proceedings of the First International Symposium on Funtional Programming Languages in Education}}, year = {1995}, volume = {1022}, series = {Lecture Notes in Computer Science}, pages = {195--214}, publisher = {Springer-Verlag}, owner = {darchon}, timestamp = {2010.01.21} } @ARTICLE{ForSyDe2, author = {Ingo Sander and Axel Jantsch}, title = {{System Modeling and Transformational Design Refinement in ForSyDe}}, journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}}, year = {2004}, volume = {23}, pages = {17--32}, number = {1}, month = {January}, key = {ForSyDe}, owner = {darchon}, timestamp = {2010.01.21} } @INPROCEEDINGS{ForSyDe1, author = {Sander, Ingo and Jantsch, Axel}, title = {{Transformation based communication and clock domain refinement for system design}}, booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}}, year = {2002}, pages = {281--286}, address = {New York, NY, USA}, publisher = {ACM}, doi = {http://doi.acm.org/10.1145/513918.513992}, isbn = {1-58113-461-4}, location = {New Orleans, Louisiana, USA}, owner = {darchon}, timestamp = {2010.01.20} } @INPROCEEDINGS{T-Ruby, author = {Sharp, Robin and Rasmussen, Ole}, title = {{Using a language of functions and relations for VLSI specification}}, booktitle = {FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture}, year = {1995}, pages = {45--54}, address = {New York, NY, USA}, publisher = {ACM}, doi = {http://doi.acm.org/10.1145/224164.224180}, isbn = {0-89791-719-7}, location = {La Jolla, California, United States}, owner = {darchon}, timestamp = {2010.01.21} } @INPROCEEDINGS{muFP, author = {Sheeran, Mary}, title = {{$\mu$FP, a language for VLSI design}}, booktitle = {{LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming}}, year = {1984}, pages = {104--112}, address = {New York, NY, USA}, publisher = {ACM}, doi = {http://doi.acm.org/10.1145/800055.802026}, isbn = {0-89791-142-3}, location = {Austin, Texas, United States}, owner = {darchon}, timestamp = {2010.01.20} } @MISC{polymorphism, author = {Strachey, Christopher}, title = {Fundamental Concepts in Programming Languages}, howpublished = {Lecture Notes, International Summer School in Computer Programming, Copenhagen}, month = August, year = {1967}, note = {Reprinted in {\em Higher-Order and Symbolic Computation}, 13(1/2), pp. 1--49, 2000}, owner = {baaijcpr}, timestamp = {2010.02.24} } @ELECTRONIC{ghc, author = {{The GHC Team}}, title = {{The Glasgow Haskell Compiler}}, url = {http://www.haskell.org/ghc/}, owner = {baaijcpr}, timestamp = {2010.02.25} } @BOOK{Haskell, title = {{Haskell 98 language and libraries}}, year = {2003}, editor = {Simon Peyton Jones}, volume = {13}, number = {1}, pages = {1--255}, series = {{Journal of Functional Programming}}, booktitle = {{Journal of Functional Programming}}, journal = {Journal of Functional Programming}, owner = {darchon}, timestamp = {2010.01.29} } @STANDARD{VHDL2008, title = {{VHDL Language Reference Manual}}, organization = {IEEE}, number = {1076-2008}, year = {2008}, owner = {darchon}, timestamp = {2009.11.17} } @STANDARD{Verilog, title = {{Verilog Hardware Description Languages}}, organization = {{IEEE}}, number = {1365-2005}, year = {2005}, owner = {darchon}, timestamp = {2010.01.29} } @comment{jabref-meta: selector_publisher:} @comment{jabref-meta: selector_author:} @comment{jabref-meta: selector_journal:} @comment{jabref-meta: selector_keywords:}