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}
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}},
149 publisher = {Springer Verlag},
151 timestamp = {2010.01.26}
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}},
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
178 doi = {10.1109/ICCL.1998.674160},
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},
192 timestamp = {2010.01.20}
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},
202 address = {New York, NY, USA},
204 doi = {http://doi.acm.org/10.1145/317825.317865},
205 isbn = {0-8186-0635-5},
206 location = {Las Vegas, Nevada, United States},
208 timestamp = {2010.01.25}
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}},
219 series = {Lecture Notes in Computer Science},
221 publisher = {Springer-Verlag},
223 timestamp = {2010.01.21}
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
238 timestamp = {2010.01.21}
241 @INPROCEEDINGS{ForSyDe1,
242 author = {Sander, Ingo and Jantsch, Axel},
243 title = {{Transformation based communication and clock domain refinement for
245 booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}},
248 address = {New York, NY, USA},
250 doi = {http://doi.acm.org/10.1145/513918.513992},
251 isbn = {1-58113-461-4},
252 location = {New Orleans, Louisiana, USA},
254 timestamp = {2010.01.20}
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},
264 address = {New York, NY, USA},
266 doi = {http://doi.acm.org/10.1145/224164.224180},
267 isbn = {0-89791-719-7},
268 location = {La Jolla, California, United States},
270 timestamp = {2010.01.21}
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
280 address = {New York, NY, USA},
282 doi = {http://doi.acm.org/10.1145/800055.802026},
283 isbn = {0-89791-142-3},
284 location = {Austin, Texas, United States},
286 timestamp = {2010.01.20}
290 title = {{Haskell 98 language and libraries}},
292 editor = {Simon Peyton Jones},
296 series = {{Journal of Functional Programming}},
297 booktitle = {{Journal of Functional Programming}},
298 journal = {Journal of Functional Programming},
300 timestamp = {2010.01.29}
304 title = {{VHDL Language Reference Manual}},
305 organization = {IEEE},
306 number = {1076-2008},
309 timestamp = {2009.11.17}
313 title = {{Verilog Hardware Description Languages}},
314 organization = {{IEEE}},
315 number = {1365-2005},
318 timestamp = {2010.01.29}
321 @comment{jabref-meta: selector_journal:}
323 @comment{jabref-meta: selector_author:}
325 @comment{jabref-meta: selector_keywords:}
327 @comment{jabref-meta: selector_publisher:}