1. Andraus , Z. S. , Liffiton , M. H. , and Sakallah , K. A . Reveal: A Formal Verification Tool for Verilog Designs . In Logic for Programming, Artificial Intelligence, and Reasoning ( 2008 ). Andraus, Z. S., Liffiton, M. H., and Sakallah, K. A. Reveal: A Formal Verification Tool for Verilog Designs. In Logic for Programming, Artificial Intelligence, and Reasoning (2008).
2. The Economics of ASICs. https://www.electronicdesign.com/technologies/embedded-revolution/article/21808278/ensilica-the-economics-of-asics-at-what-point-does-a-custom-soc-become-viable. Last accessed on 2023-05-16. The Economics of ASICs. https://www.electronicdesign.com/technologies/embedded-revolution/article/21808278/ensilica-the-economics-of-asics-at-what-point-does-a-custom-soc-become-viable. Last accessed on 2023-05-16.
3. Athalye , A. , Kaashoek , M. F. , and Zeldovich , N . Verifying Hardware Security Modules with Information-Preserving Refinement. In Symp. on Operating Sys. Design and Implem. ( 2022 ). Athalye, A., Kaashoek, M. F., and Zeldovich, N. Verifying Hardware Security Modules with Information-Preserving Refinement. In Symp. on Operating Sys. Design and Implem. (2022).
4. AWS Inferentia Accelerators for Deep Learning Inference. https://aws.amazon.com/machine-learning/inferentia/. Last accessed on 2023-05-16. AWS Inferentia Accelerators for Deep Learning Inference. https://aws.amazon.com/machine-learning/inferentia/. Last accessed on 2023-05-16.
5. AWS Nitro System. https://aws.amazon.com/ec2/nitro/. Last accessed on 2023-05-16. AWS Nitro System. https://aws.amazon.com/ec2/nitro/. Last accessed on 2023-05-16.