How We Verify Custom Hardware | Hudson River Trading

Field-programmable gate arrays (FPGAs) are increasingly used in the areas of finance and trading. They allow the user to create custom hardware without many of the costs and delays associated with building custom chips. FPGAs can be used to reduce latency, handle data bursts more effectively, and decrease system complexity (among other things).

Introduction Field-programmable gate arrays (FPGAs) are increasingly used in the areas of finance and trading. They allow the user to create custom hardware without many of the costs and delays associated with building custom chips. FPGAs can be used to reduce latency, handle data bursts more effectively, and decrease system complexity (among other things). Building FPGA systems requires the application of various disciplines. Broadly speaking, these can be divided into design and verification, which is to say, the construction and testing of an FPGA design respectively. And while it is…

saved by

• Lena Araujo

related reading

• How FPGAs work, and why you'll buy oneyosefk.com
• Field-programmable gate array - Wikipediaen.wikipedia.org
• A shallow dive into formal verificationvitalik.eth.limo
• Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
• The Compute Verification Postfirstscattering.com
• The fundamentals of timing in logic design01signal.com
• ASIC vs FPGA: A Comprehensive Comparisonwevolver.com
• Architect Labsarchitectlabs.com
• The Compute Verification Postsubstack.com
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• The importance of full-stack openness and verifiabilityvitalik.eth.limo
• architect-labs-redwood.pdfarchitectlabs.com