Filter by: Subject

Now showing items 1-10 of 138

formal verification (5)
approximate computing (2)
Cardiac pacing. (2)
Electric motors, Induction. (2)
equivalence verification (2)
grid strength (2)
low power (2)
low-power (2)
null convention logic (2)
refinement-based verification (2)