A laboratory for a digital design course using FPGAs

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 385-396
https://doi.org/10.1007/3-540-58419-6_123

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Proof-Checking, Theorem-Proving, and Program Verification
Contemporary Mathematics, 1984