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