--- /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