+++ /dev/null
-% This file was created with JabRef 2.4.2.
-% 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 VeriÞ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}
-}
-
-@STANDARD{VHDL2008,
- title = {{VHDL Language Reference Manual}},
- organization = {IEEE},
- number = {1076-2008},
- year = {2008},
- owner = {darchon},
- timestamp = {2009.11.17}
-}
-
-@comment{jabref-meta: selector_journal:}
-
-@comment{jabref-meta: selector_author:}
-
-@comment{jabref-meta: selector_keywords:}
-
-@comment{jabref-meta: selector_publisher:}
-
projects / matthijs / master-project / dsd-paper.git / blobdiff