X-Git-Url: https://git.ucc.asn.au/?p=ipdf%2Fdocuments.git;a=blobdiff_plain;f=papers.bib;h=ee4d247a386f4443359c97c695815bc4b5798601;hp=2c75525c906af85f9f0e7b62e3a1e868c6a89b13;hb=6f5f55579b969668419ea925e07f6c86442ef582;hpb=7e67ff636259c96c79b06d4ff1a690fbdefa05ea;ds=sidebyside

diff --git a/papers.bib b/papers.bib
index 2c75525..ee4d247 100644
--- a/papers.bib
+++ b/papers.bib
@@ -490,6 +490,29 @@ doi={10.1109/ARITH.1991.145549},}
 	howpublished = "\url{http://ghdl.free.fr/ghdl/}"
 }
 
+% Look into as an alternative to using text files for FPU simulation?
+@misc{tang2000using,
+	title = "Using Binary Files in VHDL Test Benches",
+	author = "Stephen Tang",
+	year = "2000",
+	howpublished = "\url{http://www.ece.ualberta.ca/~elliott/ee552/studentAppNotes/2000_w/vhdl/BinaryFileTestbenching/binary.html}",
+	note = "Application Notes (webpage)"
+}
+
+% On the design of IEEE floating point adders
+% Has algorithms!
+@INPROCEEDINGS{seidel2001onthe,
+author={Seidel, P.-M. and Even, G.},
+booktitle={Computer Arithmetic, 2001. Proceedings. 15th IEEE Symposium on},
+title={On the design of fast IEEE floating-point adders},
+year={2001},
+month={},
+pages={184-194},
+keywords={adders;circuit optimisation;floating point arithmetic;logic design;IEEE rounding modes;IEEE standard;addition;approximate counting;borrow-save representation;clock periods;complement subtraction;compound adders;double precision;fast IEEE floating-point adder design;fast circuits;latches;latency;leading zeros;logic levels;normalized numbers;normalized rounded sum/difference;optimization techniques;rounding algorithm;sign-magnitude computation;subtraction;Adders;Algorithm design and analysis;Circuits;Clocks;Delay;Design optimization;Latches;Logic design;Partitioning algorithms;Pipelines},
+doi={10.1109/ARITH.2001.930118},
+ISSN={1063-6889},}
+
+
 @article{demmel1996basic,
 	title = "Basic Issues in Floating Point Arithmetic and Error Analysis",
 	author = "Jim Demmel",
@@ -503,3 +526,85 @@ doi={10.1109/ARITH.1991.145549},}
 	author = "Edvin Catovic",
 	howpublished = "\url{http://www.gaisler.com/doc/grfpu_dasia.pdf}"
 }
+
+% The best quote ever.
+@misc{beebe2011round32,
+	title = "Re: round32 ( round64 ( X ) ) ?= round32 ( X )",
+	note = "IEEE 754 Working Group Mail Archives",
+	author = "Nelson H. F. Beebe",
+	howpublished = "\url{http://grouper.ieee.org/groups/754/email/msg04169.html}"
+}
+
+% Biography of Charles Babbage because WHY NOT?
+ % I suspect this year is wrong?75
+@ARTICLE{dodge_babbage,
+author={Dodge, N. S.},
+journal={Annals of the History of Computing, IEEE},
+title={Charles Babbage},
+year={2000},
+month={Oct},
+volume={22},
+number={4},
+pages={22-43},
+keywords={Accuracy;Art;Autobiographies;Biographies;Blood;Calculus;Educational institutions;History;Writing},
+doi={10.1109/MAHC.2000.887988},
+ISSN={1058-6180},}
+
+@article{nature1871babbage,
+	author = "Unknown Author",
+	journal = "Nature",
+	title = "Charles Babbage",
+	year = 1871,
+	volume = 5,
+	number = 106, 
+	pages = "28-29"
+}
+
+%IEEE 754 Really should have put this in earlier
+@ARTICLE{ieee2008-754,
+journal={IEEE Std 754-2008},
+title={IEEE Standard for Floating-Point Arithmetic},
+year={2008},
+month={Aug},
+pages={1-70},
+keywords={IEEE standards;floating point arithmetic;programming;IEEE standard;arithmetic formats;computer programming;decimal floating-point arithmetic;754-2008;NaN;arithmetic;binary;computer;decimal;exponent;floating-point;format;interchange;number;rounding;significand;subnormal},
+doi={10.1109/IEEESTD.2008.4610935},}
+
+
+@article{dekker1971afloating,
+year={1971},
+issn={0029-599X},
+journal={Numerische Mathematik},
+volume={18},
+number={3},
+doi={10.1007/BF01397083},
+title={A floating-point technique for extending the available precision},
+url={http://dx.doi.org/10.1007/BF01397083},
+publisher={Springer-Verlag},
+author={Dekker, T.J.},
+pages={224-242},
+language={English}
+}
+
+@String{pub-BIRKHAUSER-BOSTON   = "Birkh{\"a}user Boston Inc."}
+@String{pub-BIRKHAUSER-BOSTON:adr = "Cambridge, MA, USA"}
+
+@Book{HFP,
+  author =       "Jean-Michel Muller and Nicolas Brisebarre and Florent
+                 de Dinechin and Claude-Pierre Jeannerod and Vincent
+                 Lef{\`e}vre and Guillaume Melquiond and Nathalie Revol
+                 and Damien Stehl{\'e} and Serge Torres",
+  title =        "Handbook of Floating-Point Arithmetic",
+  publisher =    pub-BIRKHAUSER-BOSTON,
+  address =      pub-BIRKHAUSER-BOSTON:adr,
+  pages =        "xxiii + 572",
+  year =         "2010",
+  DOI =          "http://dx.doi.org/10.1007/978-0-8176-4704-9",
+  ISBN =         "0-8176-4704-X",
+  ISBN-13 =      "978-0-8176-4704-9",
+  LCCN =         "QA76.9.C62 H36 2010",
+  bibdate =      "Thu Jan 27 16:18:58 2011",
+  price =        "US\$90 (est.)",
+  acknowledgement = ack-nhfb,
+}
+