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