clash.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{FL,
 140   author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
 141   title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
 142         and Theorem Proving}},
 143   booktitle = {{Proceedings of 12th International Conference on Theorem Proving
 144         in Higher Order Logics}},
 145   year = {1999},
 146   volume = {1690},
 147   series = {LNCS},
 148   pages = {323-340},
 149   publisher = {Springer Verlag},
 150   owner = {darchon},
 151   timestamp = {2010.01.26}
 152 }
 153
 154 @INPROCEEDINGS{Hawk1,
 155   author = {Matthews, J. and Cook, B. and Launchbury, J.},
 156   title = {{Microprocessor specification in Hawk}},
 157   booktitle = {{Proceedings of 1998 International Conference on Computer Languages}},
 158   year = {1998},
 159   pages = {90-101},
 160   month = {May},
 161   abstract = {Modern microprocessors require an immense investment of time and effort
 162         to create and verify, from the high level architectural design downwards.
 163         We are exploring ways to increase the productivity of design engineers
 164         by creating a domain specific language for specifying and simulating
 165         processor architectures. We believe that the structuring principles
 166         used in modern functional programming languages, such as static typing,
 167         parametric polymorphism, first class functions, and lazy evaluation
 168         provide a good formalism for such a domain specific language, and
 169         have made initial progress by creating a library on top of the functional
 170         language Haskell. We have specified the integer subset of an out
 171         of order, superscalar DLX microprocessor, with register renaming,
 172         a reorder buffer, a global reservation station, multiple execution
 173         units, and speculative branch execution. Two key abstractions of
 174         this library are the signal abstract data type (ADT), which models
 175         the simulation history of a wire, and the transaction ADT, which
 176         models the state of an entire instruction as it travels through the
 177         microprocessor},
 178   doi = {10.1109/ICCL.1998.674160},
 179   issn = {1074-8970},
 180   keywords = {abstract data types, formal specification, functional languages, functional
 181         programming, hardware description languages, microprocessor chips,
 182         software librariesHawk language, design engineers, domain specific
 183         language, first class functions, functional language Haskell, functional
 184         programming languages, global reservation station, high level architectural
 185         design, integer subset, lazy evaluation, microprocessor specification,
 186         multiple execution units, out of order superscalar DLX microprocessor,
 187         parametric polymorphism, processor architecture simulation, register
 188         renaming, reorder buffer, signal abstract data type, simulation history,
 189         software library, speculative branch execution, static typing,, structuring
 190         principles, transaction ADT},
 191   owner = {darchon},
 192   timestamp = {2010.01.20}
 193 }
 194
 195 @INPROCEEDINGS{FHDL,
 196   author = {Meshkinpour, F. and Ercegovac, M. D.},
 197   title = {A functional language for description and design of digital systems:
 198         sequential constructs},
 199   booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference},
 200   year = {1985},
 201   pages = {238--244},
 202   address = {New York, NY, USA},
 203   publisher = {ACM},
 204   doi = {http://doi.acm.org/10.1145/317825.317865},
 205   isbn = {0-8186-0635-5},
 206   location = {Las Vegas, Nevada, United States},
 207   owner = {darchon},
 208   timestamp = {2010.01.25}
 209 }
 210
 211 @INPROCEEDINGS{Hydra,
 212   author = {John O'Donnell},
 213   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
 214         Specification in Hydra}},
 215   booktitle = {{Proceedings of the First International Symposium on Funtional Programming
 216         Languages in Education}},
 217   year = {1995},
 218   volume = {1022},
 219   series = {Lecture Notes in Computer Science},
 220   pages = {195--214},
 221   publisher = {Springer-Verlag},
 222   owner = {darchon},
 223   timestamp = {2010.01.21}
 224 }
 225
 226 @ARTICLE{ForSyDe2,
 227   author = {Ingo Sander and Axel Jantsch},
 228   title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
 229   journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
 230         and Systems}},
 231   year = {2004},
 232   volume = {23},
 233   pages = {17--32},
 234   number = {1},
 235   month = {January},
 236   key = {ForSyDe},
 237   owner = {darchon},
 238   timestamp = {2010.01.21}
 239 }
 240
 241 @INPROCEEDINGS{ForSyDe1,
 242   author = {Sander, Ingo and Jantsch, Axel},
 243   title = {{Transformation based communication and clock domain refinement for
 244         system design}},
 245   booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}},
 246   year = {2002},
 247   pages = {281--286},
 248   address = {New York, NY, USA},
 249   publisher = {ACM},
 250   doi = {http://doi.acm.org/10.1145/513918.513992},
 251   isbn = {1-58113-461-4},
 252   location = {New Orleans, Louisiana, USA},
 253   owner = {darchon},
 254   timestamp = {2010.01.20}
 255 }
 256
 257 @INPROCEEDINGS{T-Ruby,
 258   author = {Sharp, Robin and Rasmussen, Ole},
 259   title = {{Using a language of functions and relations for VLSI specification}},
 260   booktitle = {FPCA '95: Proceedings of the seventh international conference on
 261         Functional programming languages and computer architecture},
 262   year = {1995},
 263   pages = {45--54},
 264   address = {New York, NY, USA},
 265   publisher = {ACM},
 266   doi = {http://doi.acm.org/10.1145/224164.224180},
 267   isbn = {0-89791-719-7},
 268   location = {La Jolla, California, United States},
 269   owner = {darchon},
 270   timestamp = {2010.01.21}
 271 }
 272
 273 @INPROCEEDINGS{muFP,
 274   author = {Sheeran, Mary},
 275   title = {{$\mu$FP, a language for VLSI design}},
 276   booktitle = {{LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional
 277         programming}},
 278   year = {1984},
 279   pages = {104--112},
 280   address = {New York, NY, USA},
 281   publisher = {ACM},
 282   doi = {http://doi.acm.org/10.1145/800055.802026},
 283   isbn = {0-89791-142-3},
 284   location = {Austin, Texas, United States},
 285   owner = {darchon},
 286   timestamp = {2010.01.20}
 287 }
 288
 289 @STANDARD{VHDL2008,
 290   title = {{VHDL Language Reference Manual}},
 291   organization = {IEEE},
 292   number = {1076-2008},
 293   year = {2008},
 294   owner = {darchon},
 295   timestamp = {2009.11.17}
 296 }
 297
 298 @comment{jabref-meta: selector_journal:}
 299
 300 @comment{jabref-meta: selector_author:}
 301
 302 @comment{jabref-meta: selector_keywords:}
 303
 304 @comment{jabref-meta: selector_publisher:}
 305