124 lines
3.6 KiB
BibTeX
124 lines
3.6 KiB
BibTeX
@article{pratt1995fdiv,
|
|
title={Anatomy of the Pentium bug},
|
|
author={Pratt, Vaughan},
|
|
journal={TAPSOFT'95: Theory and Practice of Software Development},
|
|
pages={97--107},
|
|
year={1995},
|
|
publisher={Springer}
|
|
}
|
|
|
|
@online{nicely_fdiv,
|
|
author = {Thomas Nicely},
|
|
title={Pentium FDIV flaw FAQ},
|
|
year = {2011},
|
|
url = {http://www.trnicely.net/pentbug/pentbug.html},
|
|
urldate = {2017-08-10}
|
|
}
|
|
|
|
@inproceedings{harrison2003formal,
|
|
title={Formal verification at intel},
|
|
author={Harrison, John},
|
|
booktitle={Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on},
|
|
pages={45--54},
|
|
year={2003},
|
|
organization={IEEE}
|
|
}
|
|
|
|
@inproceedings{babai2016graph,
|
|
title={Graph isomorphism in quasipolynomial time},
|
|
author={Babai, L{\'a}szl{\'o}},
|
|
booktitle={Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing},
|
|
pages={684--697},
|
|
year={2016},
|
|
organization={ACM}
|
|
}
|
|
|
|
@inproceedings{cook1971complexity,
|
|
title={The complexity of theorem-proving procedures},
|
|
author={Cook, Stephen A},
|
|
booktitle={Proceedings of the third annual ACM symposium on Theory of computing},
|
|
pages={151--158},
|
|
year={1971},
|
|
organization={ACM}
|
|
}
|
|
|
|
@article{seger2005industrially,
|
|
title={An industrially effective environment for formal hardware verification},
|
|
author={Seger, C-JH and Jones, Robert B and O'Leary, John W and Melham, Tom and Aagaard, Mark D and Barrett, Clark and Syme, Don},
|
|
journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
|
|
volume={24},
|
|
number={9},
|
|
pages={1381--1405},
|
|
year={2005},
|
|
publisher={IEEE}
|
|
}
|
|
|
|
@misc{seger1993vos,
|
|
title={Voss: A Formal Hardware Verification System User's Guide},
|
|
author={Seger, Carl-Johan H},
|
|
year={1993},
|
|
publisher={University of British Columbia. Department of Computer Science}
|
|
}
|
|
|
|
@inproceedings{seger2006integrating,
|
|
title={Integrating design and verification-from simple idea to practical system (abstract only)},
|
|
author={Seger, Carl},
|
|
booktitle={Formal Methods and Models for Co-Design, 2006. MEMOCODE'06. Proceedings. Fourth ACM and IEEE International Conference on},
|
|
pages={161--162},
|
|
year={2006},
|
|
organization={IEEE}
|
|
}
|
|
|
|
@inproceedings{seger2006design,
|
|
title={The design of a floating point execution unit using the Integrated Design and Verification (IDV) system (abstract only)},
|
|
author={Seger, Carl},
|
|
booktitle={Int. Workshop on Designing Correct Circuits},
|
|
year={2006}
|
|
}
|
|
|
|
@article{ullmann1976algorithm,
|
|
title={An algorithm for subgraph isomorphism},
|
|
author={Ullmann, Julian R},
|
|
journal={Journal of the ACM (JACM)},
|
|
volume={23},
|
|
number={1},
|
|
pages={31--42},
|
|
year={1976},
|
|
publisher={ACM}
|
|
}
|
|
|
|
@article{cordella2004sub,
|
|
title={A (sub) graph isomorphism algorithm for matching large graphs},
|
|
author={Cordella, Luigi P and Foggia, Pasquale and Sansone, Carlo and Vento, Mario},
|
|
journal={IEEE transactions on pattern analysis and machine intelligence},
|
|
volume={26},
|
|
number={10},
|
|
pages={1367--1372},
|
|
year={2004},
|
|
publisher={IEEE}
|
|
}
|
|
|
|
@misc{sysdig_cpu,
|
|
author={Théophile Bastian and Noémie Cartier and Nathanaël Courant},
|
|
title={``Système digital'' project},
|
|
howpublished={\url{https://github.com/tobast/sysdig-full/}},
|
|
year=2016
|
|
}
|
|
|
|
@incollection{hazelhurst1997symbolic,
|
|
title={Symbolic trajectory evaluation},
|
|
author={Hazelhurst, Scott and Seger, Carl-Johan H},
|
|
booktitle={Formal hardware verification},
|
|
pages={3--78},
|
|
year={1997},
|
|
publisher={Springer}
|
|
}
|
|
|
|
@book{navabi1997vhdl,
|
|
title={VHDL: Analysis and modeling of digital systems},
|
|
author={Navabi, Zainalabedin},
|
|
year={1997},
|
|
publisher={McGraw-Hill, Inc.}
|
|
}
|
|
|