1 % This file was created with JabRef 2.4.2.
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
11 series = {{Lecture Notes in Computer Science}},
13 publisher = {Springer Verlag},
15 timestamp = {2010.01.21}
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}},
25 address = {New York, NY, USA},
27 doi = {http://doi.acm.org/10.1145/289423.289440},
28 isbn = {1-58113-024-4},
29 location = {Baltimore, Maryland, United States},
31 timestamp = {2010.01.20}
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}},
41 timestamp = {2010.01.25}
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}},
50 timestamp = {2010.01.20}
54 author = {Grundy,Jim and Melham,Tom and O'Leary,John},
55 title = {{A reflective functional language for hardware design and theorem
57 journal = {Journal of Functional Programming},
62 doi = {10.1017/S0956796805005757},
64 timestamp = {2010.01.21}
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},
74 address = {New York, NY, USA},
76 doi = {http://doi.acm.org/10.1145/800017.800533},
77 isbn = {0-89791-125-3},
78 location = {Salt Lake City, Utah, United States},
80 timestamp = {2010.01.25}
84 author = {Jones, G. and Sheeran, M.},
85 title = {{Circuit Design in Ruby}},
86 booktitle = {{Formal Methods for VLSI Design}},
88 address = {Lyngby, Denmark},
89 publisher = {Elsevier Science Publishers},
90 citeulike-article-id = {304676},
91 journal = {Circuit Design in Ruby},
94 posted-at = {2005-08-26 18:08:07},
96 timestamp = {2010.01.20}
100 author = {Yanbing Li and Leeser, M.},
101 title = {{HML, a novel hardware description language and its translation to
103 journal = {{Very Large Scale Integration (VLSI) Systems, IEEE Transactions on}},
109 doi = {10.1109/92.820756},
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,
116 timestamp = {2010.01.20}
120 author = {Yanbing Li and Leeser, M.},
121 title = {{HML: an innovative hardware description language and its translation
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}},
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},
136 timestamp = {2010.01.20}
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}},
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
163 doi = {10.1109/ICCL.1998.674160},
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},
177 timestamp = {2010.01.20}
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},
187 address = {New York, NY, USA},
189 doi = {http://doi.acm.org/10.1145/317825.317865},
190 isbn = {0-8186-0635-5},
191 location = {Las Vegas, Nevada, United States},
193 timestamp = {2010.01.25}
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}},
204 series = {Lecture Notes in Computer Science},
206 publisher = {Springer-Verlag},
208 timestamp = {2010.01.21}
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
223 timestamp = {2010.01.21}
226 @INPROCEEDINGS{ForSyDe1,
227 author = {Sander, Ingo and Jantsch, Axel},
228 title = {{Transformation based communication and clock domain refinement for
230 booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}},
233 address = {New York, NY, USA},
235 doi = {http://doi.acm.org/10.1145/513918.513992},
236 isbn = {1-58113-461-4},
237 location = {New Orleans, Louisiana, USA},
239 timestamp = {2010.01.20}
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},
249 address = {New York, NY, USA},
251 doi = {http://doi.acm.org/10.1145/224164.224180},
252 isbn = {0-89791-719-7},
253 location = {La Jolla, California, United States},
255 timestamp = {2010.01.21}
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
265 address = {New York, NY, USA},
267 doi = {http://doi.acm.org/10.1145/800055.802026},
268 isbn = {0-89791-142-3},
269 location = {Austin, Texas, United States},
271 timestamp = {2010.01.20}
275 title = {{VHDL Language Reference Manual}},
276 organization = {IEEE},
277 number = {1076-2008},
280 timestamp = {2009.11.17}
283 @comment{jabref-meta: selector_journal:}
285 @comment{jabref-meta: selector_author:}
287 @comment{jabref-meta: selector_keywords:}
289 @comment{jabref-meta: selector_publisher:}