timestamp = {2010.02.26}
}
+@UNPUBLISHED{kansaslava,
+ author = {Andy Gill and T. Bull and Garrin Kimmell and Erik Perrins and Ed
+ Komp and B. Werling},
+ title = {Introducing Kansas Lava},
+ note = {Submitted to The International Symposia on Implementation and Application
+ of Functional Languages (IFL){\textquoteright}09},
+ month = {November},
+ year = {2009},
+ abstract = {Kansas Lava is a domain specific language for hardware description.
+ Though there have been a number of previous implementations of Lava,
+ we have found the design space rich, with unexplored choices. We
+ use a direct (Chalmers style) specification of circuits, and make
+ significant use of Haskell overloading of standard classes, leading
+ to concise circuit descriptions. Kansas Lava supports both simulation
+ (inside GHCi), and execution via VHDL, by having a dual shallow and
+ deep embedding inside our Signal type. We also have a lightweight
+ sized-type mechanism, allowing for MATLAB style matrix based specifications
+ to be directly expressed in Kansas Lava.},
+ journal = {Submitted to IFL{\textquoteright}09},
+ owner = {baaijcpr},
+ timestamp = {2010.03.11},
+ url = {http://ittc.ku.edu/~andygill/papers/kansas-lava-ifl09.pdf}
+}
+
@ARTICLE{reFLect,
author = {Grundy,Jim and Melham,Tom and O'Leary,John},
title = {{A reflective functional language for hardware design and theorem
timestamp = {2010.01.20}
}
+@MASTERSTHESIS{HML3,
+ author = {Yanbing Li},
+ title = {{HML: An Innovative Hardware Description Language and Its Translation
+ to VHDL}},
+ school = {Cornell University},
+ year = {1995},
+ month = {August},
+ owner = {baaijcpr},
+ timestamp = {2010.03.08}
+}
+
@ARTICLE{HML2,
author = {Yanbing Li and Leeser, M.},
title = {{HML, a novel hardware description language and its translation to
timestamp = {2010.01.25}
}
+@INCOLLECTION{Bluespec,
+ author = {Rishiyur S. Nikhil},
+ title = {{Bluespec: A General-Purpose Approach to High-Level Synthesis Based
+ on Parallel Atomic Transactions}},
+ booktitle = {{High-Level Synthesis - From Algorithm to Digital Circuit}},
+ publisher = {Springer Netherlands},
+ year = {2008},
+ editor = {{Philippe Coussy and Adam Morawiec}},
+ pages = {129--146},
+ owner = {baaijcpr},
+ timestamp = {2010.03.09}
+}
+
@INPROCEEDINGS{Hydra,
author = {John O'Donnell},
title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
timestamp = {2010.01.29}
}
+@MISC{blindreview,
+ title = {Hidden for blind review},
+ owner = {baaijcpr},
+ timestamp = {2010.03.12}
+}
+
@STANDARD{VHDL2008,
title = {{VHDL Language Reference Manual}},
organization = {IEEE},