Pages that link to "Item:Q1267038"
From MaRDI portal
The following pages link to Verified compilation of communicating processes into clocked circuits (Q1267038):
Displaying 5 items.
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware (Q1791197) (← links)
- Retargeting a hardware compiler using protocol converters (Q1914042) (← links)
- (Q2754154) (← links)
- An approach to the specification and verification of a hardware compilation scheme (Q5945700) (← links)