% This file was created with JabRef 2.4.2.
% Encoding: MacRoman
+@INPROCEEDINGS{Wired,
+ author = {Emil Axelsson and Koen Claessen and Mary Sheeran},
+ title = {{Wired: Wire-Aware Circuit Design}},
+ booktitle = {{Proceedings of Conference on Correct Hardware Design and VeriÞcation
+ Methods (CHARME)}},
+ year = {2005},
+ volume = {3725},
+ series = {{Lecture Notes in Computer Science}},
+ pages = {{5--19}},
+ publisher = {Springer Verlag},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
@INPROCEEDINGS{Lava,
author = {Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam},
title = {{Lava: hardware design in Haskell}},
timestamp = {2010.01.20}
}
+@INPROCEEDINGS{Cardelli1981,
+ author = {Luca Cardelli and Gordon Plotkin},
+ title = {{An Algebraic Approach to VLSI Design}},
+ booktitle = {{Proceedings of the VLSI 81 International Conference}},
+ year = {1981},
+ pages = {173-182},
+ owner = {darchon},
+ timestamp = {2010.01.25}
+}
+
@INPROCEEDINGS{Hawk2,
author = {Byron Cook and John Launchbury and John Matthews},
title = {{Specifying superscalar microprocessors in Hawk}},
timestamp = {2010.01.20}
}
+@ARTICLE{reFLect,
+ author = {Grundy,Jim and Melham,Tom and O'Leary,John},
+ title = {{A reflective functional language for hardware design and theorem
+ proving}},
+ journal = {Journal of Functional Programming},
+ year = {2006},
+ volume = {16},
+ pages = {157-196},
+ number = {02},
+ doi = {10.1017/S0956796805005757},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
+@INPROCEEDINGS{DAISY,
+ author = {Johnson, Steven D.},
+ title = {Applicative programming and digital design},
+ booktitle = {POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on
+ Principles of programming languages},
+ year = {1984},
+ pages = {218--227},
+ address = {New York, NY, USA},
+ publisher = {ACM},
+ doi = {http://doi.acm.org/10.1145/800017.800533},
+ isbn = {0-89791-125-3},
+ location = {Salt Lake City, Utah, United States},
+ owner = {darchon},
+ timestamp = {2010.01.25}
+}
+
@INPROCEEDINGS{Ruby,
author = {Jones, G. and Sheeran, M.},
title = {{Circuit Design in Ruby}},
timestamp = {2010.01.20}
}
+@INPROCEEDINGS{FL,
+ author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
+ title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
+ and Theorem Proving}},
+ booktitle = {{Proceedings of 12th International Conference on Theorem Proving
+ in Higher Order Logics}},
+ year = {1999},
+ volume = {1690},
+ series = {LNCS},
+ pages = {323-340},
+ publisher = {Springer Verlag},
+ owner = {darchon},
+ timestamp = {2010.01.26}
+}
+
@INPROCEEDINGS{Hawk1,
author = {Matthews, J. and Cook, B. and Launchbury, J.},
title = {{Microprocessor specification in Hawk}},
timestamp = {2010.01.20}
}
-@INPROCEEDINGS{ForSyDe,
+@INPROCEEDINGS{FHDL,
+ author = {Meshkinpour, F. and Ercegovac, M. D.},
+ title = {A functional language for description and design of digital systems:
+ sequential constructs},
+ booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference},
+ year = {1985},
+ pages = {238--244},
+ address = {New York, NY, USA},
+ publisher = {ACM},
+ doi = {http://doi.acm.org/10.1145/317825.317865},
+ isbn = {0-8186-0635-5},
+ location = {Las Vegas, Nevada, United States},
+ owner = {darchon},
+ timestamp = {2010.01.25}
+}
+
+@INPROCEEDINGS{Hydra,
+ author = {John O'Donnell},
+ title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
+ Specification in Hydra}},
+ booktitle = {{Proceedings of the First International Symposium on Funtional Programming
+ Languages in Education}},
+ year = {1995},
+ volume = {1022},
+ series = {Lecture Notes in Computer Science},
+ pages = {195--214},
+ publisher = {Springer-Verlag},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
+@ARTICLE{ForSyDe2,
+ author = {Ingo Sander and Axel Jantsch},
+ title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
+ journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
+ and Systems}},
+ year = {2004},
+ volume = {23},
+ pages = {17--32},
+ number = {1},
+ month = {January},
+ key = {ForSyDe},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
+@INPROCEEDINGS{ForSyDe1,
author = {Sander, Ingo and Jantsch, Axel},
title = {{Transformation based communication and clock domain refinement for
system design}},
timestamp = {2010.01.20}
}
+@INPROCEEDINGS{T-Ruby,
+ author = {Sharp, Robin and Rasmussen, Ole},
+ title = {{Using a language of functions and relations for VLSI specification}},
+ booktitle = {FPCA '95: Proceedings of the seventh international conference on
+ Functional programming languages and computer architecture},
+ year = {1995},
+ pages = {45--54},
+ address = {New York, NY, USA},
+ publisher = {ACM},
+ doi = {http://doi.acm.org/10.1145/224164.224180},
+ isbn = {0-89791-719-7},
+ location = {La Jolla, California, United States},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
@INPROCEEDINGS{muFP,
author = {Sheeran, Mary},
title = {{$\mu$FP, a language for VLSI design}},