cλash.bib

   1 % This file was created with JabRef 2.4.2.
   2 % Encoding: MacRoman
   3
   4 @INPROCEEDINGS{Wired,
   5   author = {Emil Axelsson and Koen Claessen and Mary Sheeran},
   6   title = {{Wired: Wire-Aware Circuit Design}},
   7   booktitle = {{Proceedings of Conference on Correct Hardware Design and VeriÞcation
   8         Methods (CHARME)}},
   9   year = {2005},
  10   volume = {3725},
  11   series = {{Lecture Notes in Computer Science}},
  12   pages = {{5--19}},
  13   publisher = {Springer Verlag},
  14   owner = {darchon},
  15   timestamp = {2010.01.21}
  16 }
  17
  18 @INPROCEEDINGS{Lava,
  19   author = {Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam},
  20   title = {{Lava: hardware design in Haskell}},
  21   booktitle = {{ICFP '98: Proceedings of the third ACM SIGPLAN international conference
  22         on Functional programming}},
  23   year = {1998},
  24   pages = {174--184},
  25   address = {New York, NY, USA},
  26   publisher = {ACM},
  27   doi = {http://doi.acm.org/10.1145/289423.289440},
  28   isbn = {1-58113-024-4},
  29   location = {Baltimore, Maryland, United States},
  30   owner = {darchon},
  31   timestamp = {2010.01.20}
  32 }
  33
  34 @INPROCEEDINGS{Hawk2,
  35   author = {Byron Cook and John Launchbury and John Matthews},
  36   title = {{Specifying superscalar microprocessors in Hawk}},
  37   booktitle = {{Formal Techniques for Hardware and Hardware-like Systems}},
  38   year = {1998},
  39   owner = {darchon},
  40   timestamp = {2010.01.20}
  41 }
  42
  43 @ARTICLE{reFLect,
  44   author = {Grundy,Jim and Melham,Tom and O'Leary,John},
  45   title = {{A reflective functional language for hardware design and theorem
  46         proving}},
  47   journal = {Journal of Functional Programming},
  48   year = {2006},
  49   volume = {16},
  50   pages = {157-196},
  51   number = {02},
  52   doi = {10.1017/S0956796805005757},
  53   owner = {darchon},
  54   timestamp = {2010.01.21}
  55 }
  56
  57 @INPROCEEDINGS{Ruby,
  58   author = {Jones, G. and Sheeran, M.},
  59   title = {{Circuit Design in Ruby}},
  60   booktitle = {{Formal Methods for VLSI Design}},
  61   year = {1990},
  62   address = {Lyngby, Denmark},
  63   publisher = {Elsevier Science Publishers},
  64   citeulike-article-id = {304676},
  65   journal = {Circuit Design in Ruby},
  66   keywords = {jones90},
  67   owner = {darchon},
  68   posted-at = {2005-08-26 18:08:07},
  69   priority = {0},
  70   timestamp = {2010.01.20}
  71 }
  72
  73 @ARTICLE{HML2,
  74   author = {Yanbing Li and Leeser, M.},
  75   title = {{HML, a novel hardware description language and its translation to
  76         VHDL}},
  77   journal = {{Very Large Scale Integration (VLSI) Systems, IEEE Transactions on}},
  78   year = {2000},
  79   volume = {8},
  80   pages = {1-8},
  81   number = {1},
  82   month = {Feb},
  83   doi = {10.1109/92.820756},
  84   issn = {1063-8210},
  85   keywords = {ML language, hardware description languages, type theoryHML, SML functional
  86         programming language, VHDL translation, digital design, hardware
  87         description language, polymorphic type, translator, type checker,
  88         type inference},
  89   owner = {darchon},
  90   timestamp = {2010.01.20}
  91 }
  92
  93 @INPROCEEDINGS{HML1,
  94   author = {Yanbing Li and Leeser, M.},
  95   title = {{HML: an innovative hardware description language and its translation
  96         to VHDL}},
  97   booktitle = {{Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL
  98         '95/VLSI '95., IFIP International Conference on Hardware Description
  99         Languages; IFIP International Conference on Very Large Scale Integration.,
 100         Asian and South Pacific}},
 101   year = {1995},
 102   pages = {691-696},
 103   month = {Aug-1 Sep},
 104   doi = {10.1109/ASPDAC.1995.486388},
 105   keywords = {abstract data types, functional languages, functional programming,
 106         hardware description languagesHML, VHDL, advanced type checking,
 107         functional programming language, hardware description language, polymorphic
 108         types, type inference},
 109   owner = {darchon},
 110   timestamp = {2010.01.20}
 111 }
 112
 113 @INPROCEEDINGS{Hawk1,
 114   author = {Matthews, J. and Cook, B. and Launchbury, J.},
 115   title = {{Microprocessor specification in Hawk}},
 116   booktitle = {{Proceedings of 1998 International Conference on Computer Languages}},
 117   year = {1998},
 118   pages = {90-101},
 119   month = {May},
 120   abstract = {Modern microprocessors require an immense investment of time and effort
 121         to create and verify, from the high level architectural design downwards.
 122         We are exploring ways to increase the productivity of design engineers
 123         by creating a domain specific language for specifying and simulating
 124         processor architectures. We believe that the structuring principles
 125         used in modern functional programming languages, such as static typing,
 126         parametric polymorphism, first class functions, and lazy evaluation
 127         provide a good formalism for such a domain specific language, and
 128         have made initial progress by creating a library on top of the functional
 129         language Haskell. We have specified the integer subset of an out
 130         of order, superscalar DLX microprocessor, with register renaming,
 131         a reorder buffer, a global reservation station, multiple execution
 132         units, and speculative branch execution. Two key abstractions of
 133         this library are the signal abstract data type (ADT), which models
 134         the simulation history of a wire, and the transaction ADT, which
 135         models the state of an entire instruction as it travels through the
 136         microprocessor},
 137   doi = {10.1109/ICCL.1998.674160},
 138   issn = {1074-8970},
 139   keywords = {abstract data types, formal specification, functional languages, functional
 140         programming, hardware description languages, microprocessor chips,
 141         software librariesHawk language, design engineers, domain specific
 142         language, first class functions, functional language Haskell, functional
 143         programming languages, global reservation station, high level architectural
 144         design, integer subset, lazy evaluation, microprocessor specification,
 145         multiple execution units, out of order superscalar DLX microprocessor,
 146         parametric polymorphism, processor architecture simulation, register
 147         renaming, reorder buffer, signal abstract data type, simulation history,
 148         software library, speculative branch execution, static typing,, structuring
 149         principles, transaction ADT},
 150   owner = {darchon},
 151   timestamp = {2010.01.20}
 152 }
 153
 154 @INPROCEEDINGS{Hydra,
 155   author = {John O'Donnell},
 156   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
 157         Specification in Hydra}},
 158   booktitle = {{Proceedings of the First International Symposium on Funtional Programming
 159         Languages in Education}},
 160   year = {1995},
 161   volume = {1022},
 162   series = {Lecture Notes in Computer Science},
 163   pages = {195--214},
 164   publisher = {Springer-Verlag},
 165   owner = {darchon},
 166   timestamp = {2010.01.21}
 167 }
 168
 169 @ARTICLE{ForSyDe2,
 170   author = {Ingo Sander and Axel Jantsch},
 171   title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
 172   journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
 173         and Systems}},
 174   year = {2004},
 175   volume = {23},
 176   pages = {17--32},
 177   number = {1},
 178   month = {January},
 179   key = {ForSyDe},
 180   owner = {darchon},
 181   timestamp = {2010.01.21}
 182 }
 183
 184 @INPROCEEDINGS{ForSyDe1,
 185   author = {Sander, Ingo and Jantsch, Axel},
 186   title = {{Transformation based communication and clock domain refinement for
 187         system design}},
 188   booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}},
 189   year = {2002},
 190   pages = {281--286},
 191   address = {New York, NY, USA},
 192   publisher = {ACM},
 193   doi = {http://doi.acm.org/10.1145/513918.513992},
 194   isbn = {1-58113-461-4},
 195   location = {New Orleans, Louisiana, USA},
 196   owner = {darchon},
 197   timestamp = {2010.01.20}
 198 }
 199
 200 @INPROCEEDINGS{T-Ruby,
 201   author = {Sharp, Robin and Rasmussen, Ole},
 202   title = {{Using a language of functions and relations for VLSI specification}},
 203   booktitle = {FPCA '95: Proceedings of the seventh international conference on
 204         Functional programming languages and computer architecture},
 205   year = {1995},
 206   pages = {45--54},
 207   address = {New York, NY, USA},
 208   publisher = {ACM},
 209   doi = {http://doi.acm.org/10.1145/224164.224180},
 210   isbn = {0-89791-719-7},
 211   location = {La Jolla, California, United States},
 212   owner = {darchon},
 213   timestamp = {2010.01.21}
 214 }
 215
 216 @INPROCEEDINGS{muFP,
 217   author = {Sheeran, Mary},
 218   title = {{$\mu$FP, a language for VLSI design}},
 219   booktitle = {{LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional
 220         programming}},
 221   year = {1984},
 222   pages = {104--112},
 223   address = {New York, NY, USA},
 224   publisher = {ACM},
 225   doi = {http://doi.acm.org/10.1145/800055.802026},
 226   isbn = {0-89791-142-3},
 227   location = {Austin, Texas, United States},
 228   owner = {darchon},
 229   timestamp = {2010.01.20}
 230 }
 231
 232 @STANDARD{VHDL2008,
 233   title = {{VHDL Language Reference Manual}},
 234   organization = {IEEE},
 235   number = {1076-2008},
 236   year = {2008},
 237   owner = {darchon},
 238   timestamp = {2009.11.17}
 239 }
 240
 241 @comment{jabref-meta: selector_journal:}
 242
 243 @comment{jabref-meta: selector_author:}
 244
 245 @comment{jabref-meta: selector_keywords:}
 246
 247 @comment{jabref-meta: selector_publisher:}
 248