Pages that link to "Item:Q5945700"
From MaRDI portal
The following pages link to An approach to the specification and verification of a hardware compilation scheme (Q5945700):
Displaying 5 items.
- Verified compilation of communicating processes into clocked circuits (Q1267038) (← links)
- Proof producing synthesis of arithmetic and cryptographic hardware (Q2642982) (← links)
- Refining specifications to programmable logic (Q2844819) (← links)
- (Q4028153) (← links)
- Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)