Rely

swMATH37834MaRDI QIDQ53535FDOQ53535

Author name not available (Why is that?)

Official website: https://mcarbin.github.io/rely/

Described by source

• Programming Unreliable Hardware

Cited In (9)

• Verifying relative safety, accuracy, and termination for program approximations
• Houdini
• ACCEPT
• Chisel
• EnerJ
• FlexJava
• Green
• Yosys
• Amber

This page was built for software: Rely