Pages that link to "Item:Q5492965"
From MaRDI portal
The following pages link to Formal Methods in Computer-Aided Design (Q5492965):
Displaying 6 items.
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
- Modeling multi-rate DSP specification semantics for formal transformational design in HOL (Q1334899) (← links)
- The formalization of discrete Fourier transform in HOL (Q1666338) (← links)
- Unified program generation and verification: a case study on number-theoretic transform (Q2163165) (← links)
- Formalization of transform methods using HOL Light (Q2364690) (← links)
- Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover (Q6136749) (← links)