clash.bib

   1 % This file was created with JabRef 2.5.
   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 @INPROCEEDINGS{reductioncircuit,
  54   author = {M. E. T. Gerards and J. Kuper and A. B. J. Kokkeler and E. Molenkamp},
  55   title = {Streaming Reduction Circuit},
  56   booktitle = {Proceedings of the 12th EUROMICRO Conference on Digital System Design,
  57         Architectures, Methods and Tools, Patras, Greece},
  58   year = {2009},
  59   pages = {287--292},
  60   address = {Los Alamitos},
  61   month = {August},
  62   publisher = {IEEE Computer Society Press},
  63   abstract = {Reduction circuits are used to reduce rows of ?oating point values
  64         to single values. Binary ?oating point operators often have deep
  65         pipelines, which may cause hazards when many consecutive rows have
  66         to be reduced. We present an algorithm by which any number of consecutive
  67         rows of arbitrary lengths can be reduced by a pipelined commutative
  68         and associative binary operator in an efficient manner. The algorithm
  69         is simple to implement, has a low latency, produces results in-order,
  70         and requires only small buffers. Besides, it uses only a single pipeline
  71         for the involved operation. The complexity of the algorithm depends
  72         on the depth of the pipeline, not on the length of the input rows.
  73         In this paper we discuss an implementation of this algorithm and
  74         we prove its correctness.},
  75   eprintid = {17041},
  76   event_dates = {27-29 Aug 2009},
  77   event_type = {Conference},
  78   howpublished = {http://eprints.eemcs.utwente.nl/17041/},
  79   id_number = {10.1109/DSD.2009.141},
  80   international = {Yes},
  81   isbn_13 = {978-0-7695-3782-5},
  82   ispublished = {Published},
  83   location = {Patras, Greece},
  84   num_pages = {6},
  85   official_url = {http://dx.doi.org/10.1109/DSD.2009.141},
  86   owner = {baaijcpr},
  87   pres_types = {Talk},
  88   refereed = {Yes},
  89   research_groups = {EWI-CAES: Computer Architecture for Embedded Systems},
  90   research_programs = {CTIT-WiSe: Wireless and Sensor Systems},
  91   research_projects = {EASY: Embedded Adaptive Streaming sYstems},
  92   timestamp = {2010.02.26}
  93 }
  94
  95 @ARTICLE{reFLect,
  96   author = {Grundy,Jim and Melham,Tom and O'Leary,John},
  97   title = {{A reflective functional language for hardware design and theorem
  98         proving}},
  99   journal = {Journal of Functional Programming},
 100   year = {2006},
 101   volume = {16},
 102   pages = {157-196},
 103   number = {02},
 104   doi = {10.1017/S0956796805005757},
 105   owner = {darchon},
 106   timestamp = {2010.01.21}
 107 }
 108
 109 @BOOK{lambdacalculus,
 110   title = {{The Lambda Calculus: its Syntax and Semantics}},
 111   publisher = {{Elsevier Science}},
 112   year = {1984},
 113   author = {{H.P. Barendregt}},
 114   volume = {103},
 115   series = {{Studies in Logic and the Foundations of Mathematics}},
 116   edition = {{Revised}},
 117   owner = {baaijcpr},
 118   timestamp = {2010.03.02}
 119 }
 120
 121 @INPROCEEDINGS{DAISY,
 122   author = {Johnson, Steven D.},
 123   title = {Applicative programming and digital design},
 124   booktitle = {POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on
 125         Principles of programming languages},
 126   year = {1984},
 127   pages = {218--227},
 128   address = {New York, NY, USA},
 129   publisher = {ACM},
 130   doi = {http://doi.acm.org/10.1145/800017.800533},
 131   isbn = {0-89791-125-3},
 132   location = {Salt Lake City, Utah, United States},
 133   owner = {darchon},
 134   timestamp = {2010.01.25}
 135 }
 136
 137 @INPROCEEDINGS{Ruby,
 138   author = {Jones, G. and Sheeran, M.},
 139   title = {{Circuit Design in Ruby}},
 140   booktitle = {{Formal Methods for VLSI Design}},
 141   year = {1990},
 142   address = {Lyngby, Denmark},
 143   publisher = {Elsevier Science Publishers},
 144   citeulike-article-id = {304676},
 145   journal = {Circuit Design in Ruby},
 146   keywords = {jones90},
 147   owner = {darchon},
 148   posted-at = {2005-08-26 18:08:07},
 149   priority = {0},
 150   timestamp = {2010.01.20}
 151 }
 152
 153 @MASTERSTHESIS{HML3,
 154   author = {Yanbing Li},
 155   title = {{HML: An Innovative Hardware Description Language and Its Translation
 156         to VHDL}},
 157   school = {Cornell University},
 158   year = {1995},
 159   month = {August},
 160   owner = {baaijcpr},
 161   timestamp = {2010.03.08}
 162 }
 163
 164 @ARTICLE{HML2,
 165   author = {Yanbing Li and Leeser, M.},
 166   title = {{HML, a novel hardware description language and its translation to
 167         VHDL}},
 168   journal = {{Very Large Scale Integration (VLSI) Systems, IEEE Transactions on}},
 169   year = {2000},
 170   volume = {8},
 171   pages = {1-8},
 172   number = {1},
 173   month = {Feb},
 174   doi = {10.1109/92.820756},
 175   issn = {1063-8210},
 176   keywords = {ML language, hardware description languages, type theoryHML, SML functional
 177         programming language, VHDL translation, digital design, hardware
 178         description language, polymorphic type, translator, type checker,
 179         type inference},
 180   owner = {darchon},
 181   timestamp = {2010.01.20}
 182 }
 183
 184 @INPROCEEDINGS{HML1,
 185   author = {Yanbing Li and Leeser, M.},
 186   title = {{HML: an innovative hardware description language and its translation
 187         to VHDL}},
 188   booktitle = {{Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL
 189         '95/VLSI '95., IFIP International Conference on Hardware Description
 190         Languages; IFIP International Conference on Very Large Scale Integration.,
 191         Asian and South Pacific}},
 192   year = {1995},
 193   pages = {691-696},
 194   month = {Aug-1 Sep},
 195   doi = {10.1109/ASPDAC.1995.486388},
 196   keywords = {abstract data types, functional languages, functional programming,
 197         hardware description languagesHML, VHDL, advanced type checking,
 198         functional programming language, hardware description language, polymorphic
 199         types, type inference},
 200   owner = {darchon},
 201   timestamp = {2010.01.20}
 202 }
 203
 204 @INPROCEEDINGS{FL,
 205   author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
 206   title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
 207         and Theorem Proving}},
 208   booktitle = {{Proceedings of 12th International Conference on Theorem Proving
 209         in Higher Order Logics}},
 210   year = {1999},
 211   volume = {1690},
 212   series = {LNCS},
 213   pages = {323-340},
 214   publisher = {Springer Verlag},
 215   owner = {darchon},
 216   timestamp = {2010.01.26}
 217 }
 218
 219 @INPROCEEDINGS{Hawk1,
 220   author = {Matthews, J. and Cook, B. and Launchbury, J.},
 221   title = {{Microprocessor specification in Hawk}},
 222   booktitle = {{Proceedings of 1998 International Conference on Computer Languages}},
 223   year = {1998},
 224   pages = {90-101},
 225   month = {May},
 226   abstract = {Modern microprocessors require an immense investment of time and effort
 227         to create and verify, from the high level architectural design downwards.
 228         We are exploring ways to increase the productivity of design engineers
 229         by creating a domain specific language for specifying and simulating
 230         processor architectures. We believe that the structuring principles
 231         used in modern functional programming languages, such as static typing,
 232         parametric polymorphism, first class functions, and lazy evaluation
 233         provide a good formalism for such a domain specific language, and
 234         have made initial progress by creating a library on top of the functional
 235         language Haskell. We have specified the integer subset of an out
 236         of order, superscalar DLX microprocessor, with register renaming,
 237         a reorder buffer, a global reservation station, multiple execution
 238         units, and speculative branch execution. Two key abstractions of
 239         this library are the signal abstract data type (ADT), which models
 240         the simulation history of a wire, and the transaction ADT, which
 241         models the state of an entire instruction as it travels through the
 242         microprocessor},
 243   doi = {10.1109/ICCL.1998.674160},
 244   issn = {1074-8970},
 245   keywords = {abstract data types, formal specification, functional languages, functional
 246         programming, hardware description languages, microprocessor chips,
 247         software librariesHawk language, design engineers, domain specific
 248         language, first class functions, functional language Haskell, functional
 249         programming languages, global reservation station, high level architectural
 250         design, integer subset, lazy evaluation, microprocessor specification,
 251         multiple execution units, out of order superscalar DLX microprocessor,
 252         parametric polymorphism, processor architecture simulation, register
 253         renaming, reorder buffer, signal abstract data type, simulation history,
 254         software library, speculative branch execution, static typing,, structuring
 255         principles, transaction ADT},
 256   owner = {darchon},
 257   timestamp = {2010.01.20}
 258 }
 259
 260 @INPROCEEDINGS{FHDL,
 261   author = {Meshkinpour, F. and Ercegovac, M. D.},
 262   title = {A functional language for description and design of digital systems:
 263         sequential constructs},
 264   booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference},
 265   year = {1985},
 266   pages = {238--244},
 267   address = {New York, NY, USA},
 268   publisher = {ACM},
 269   doi = {http://doi.acm.org/10.1145/317825.317865},
 270   isbn = {0-8186-0635-5},
 271   location = {Las Vegas, Nevada, United States},
 272   owner = {darchon},
 273   timestamp = {2010.01.25}
 274 }
 275
 276 @INPROCEEDINGS{Hydra,
 277   author = {John O'Donnell},
 278   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
 279         Specification in Hydra}},
 280   booktitle = {{Proceedings of the First International Symposium on Funtional Programming
 281         Languages in Education}},
 282   year = {1995},
 283   volume = {1022},
 284   series = {Lecture Notes in Computer Science},
 285   pages = {195--214},
 286   publisher = {Springer-Verlag},
 287   owner = {darchon},
 288   timestamp = {2010.01.21}
 289 }
 290
 291 @ARTICLE{ForSyDe2,
 292   author = {Ingo Sander and Axel Jantsch},
 293   title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
 294   journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
 295         and Systems}},
 296   year = {2004},
 297   volume = {23},
 298   pages = {17--32},
 299   number = {1},
 300   month = {January},
 301   key = {ForSyDe},
 302   owner = {darchon},
 303   timestamp = {2010.01.21}
 304 }
 305
 306 @INPROCEEDINGS{ForSyDe1,
 307   author = {Sander, Ingo and Jantsch, Axel},
 308   title = {{Transformation based communication and clock domain refinement for
 309         system design}},
 310   booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}},
 311   year = {2002},
 312   pages = {281--286},
 313   address = {New York, NY, USA},
 314   publisher = {ACM},
 315   doi = {http://doi.acm.org/10.1145/513918.513992},
 316   isbn = {1-58113-461-4},
 317   location = {New Orleans, Louisiana, USA},
 318   owner = {darchon},
 319   timestamp = {2010.01.20}
 320 }
 321
 322 @INPROCEEDINGS{T-Ruby,
 323   author = {Sharp, Robin and Rasmussen, Ole},
 324   title = {{Using a language of functions and relations for VLSI specification}},
 325   booktitle = {FPCA '95: Proceedings of the seventh international conference on
 326         Functional programming languages and computer architecture},
 327   year = {1995},
 328   pages = {45--54},
 329   address = {New York, NY, USA},
 330   publisher = {ACM},
 331   doi = {http://doi.acm.org/10.1145/224164.224180},
 332   isbn = {0-89791-719-7},
 333   location = {La Jolla, California, United States},
 334   owner = {darchon},
 335   timestamp = {2010.01.21}
 336 }
 337
 338 @INPROCEEDINGS{muFP,
 339   author = {Sheeran, Mary},
 340   title = {{$\mu$FP, a language for VLSI design}},
 341   booktitle = {{LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional
 342         programming}},
 343   year = {1984},
 344   pages = {104--112},
 345   address = {New York, NY, USA},
 346   publisher = {ACM},
 347   doi = {http://doi.acm.org/10.1145/800055.802026},
 348   isbn = {0-89791-142-3},
 349   location = {Austin, Texas, United States},
 350   owner = {darchon},
 351   timestamp = {2010.01.20}
 352 }
 353
 354 @MISC{polymorphism,
 355   author = {Strachey, Christopher},
 356   title = {Fundamental Concepts in Programming Languages},
 357   howpublished = {Lecture Notes, International Summer School in Computer Programming,
 358         Copenhagen},
 359   month = August,
 360   year = {1967},
 361   note = {Reprinted in {\em Higher-Order and Symbolic Computation}, 13(1/2),
 362         pp. 1--49, 2000},
 363   owner = {baaijcpr},
 364   timestamp = {2010.02.24}
 365 }
 366
 367 @INPROCEEDINGS{Sulzmann2007,
 368   author = {Sulzmann, Martin and Chakravarty, Manuel M. T. and Jones, Simon Peyton
 369         and Donnelly, Kevin},
 370   title = {{System F with Type Equality Coercions}},
 371   booktitle = {{TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop
 372         on Types in languages design and implementation, Nice, France}},
 373   year = {2007},
 374   pages = {53--66},
 375   address = {{New York, NY, USA}},
 376   month = {January},
 377   publisher = {{ACM}},
 378   doi = {http://doi.acm.org/10.1145/1190315.1190324},
 379   isbn = {1-59593-393-X},
 380   location = {Nice, Nice, France},
 381   owner = {darchon},
 382   timestamp = {2009.10.23}
 383 }
 384
 385 @ELECTRONIC{ghc,
 386   author = {{The GHC Team}},
 387   title = {{The Glasgow Haskell Compiler}},
 388   url = {http://www.haskell.org/ghc/},
 389   owner = {baaijcpr},
 390   timestamp = {2010.02.25}
 391 }
 392
 393 @BOOK{Haskell,
 394   title = {{Haskell 98 language and libraries}},
 395   year = {2003},
 396   editor = {Simon Peyton Jones},
 397   volume = {13},
 398   number = {1},
 399   pages = {1--255},
 400   series = {{Journal of Functional Programming}},
 401   booktitle = {{Journal of Functional Programming}},
 402   journal = {Journal of Functional Programming},
 403   owner = {darchon},
 404   timestamp = {2010.01.29}
 405 }
 406
 407 @STANDARD{VHDL2008,
 408   title = {{VHDL Language Reference Manual}},
 409   organization = {IEEE},
 410   number = {1076-2008},
 411   year = {2008},
 412   owner = {darchon},
 413   timestamp = {2009.11.17}
 414 }
 415
 416 @STANDARD{Verilog,
 417   title = {{Verilog Hardware Description Languages}},
 418   organization = {{IEEE}},
 419   number = {1365-2005},
 420   year = {2005},
 421   owner = {darchon},
 422   timestamp = {2010.01.29}
 423 }
 424
 425 @comment{jabref-meta: selector_publisher:}
 426
 427 @comment{jabref-meta: selector_author:}
 428
 429 @comment{jabref-meta: selector_journal:}
 430
 431 @comment{jabref-meta: selector_keywords:}
 432