X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=clash.bib;fp=clash.bib;h=dc49b3bbf02f0cd9320ebd0f2e85df288019ae9a;hp=0000000000000000000000000000000000000000;hb=d761eaf56b88d9a83aa096d23e12bb4d724d4c3f;hpb=51fd0a23f92b0dd55761ce960dea5cdff6b7213f diff --git a/clash.bib b/clash.bib new file mode 100644 index 0000000..dc49b3b --- /dev/null +++ b/clash.bib @@ -0,0 +1,305 @@ +% 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:} +