Plaza, Stephen M.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Synthesis and verification of digital circuits using functional simulation and Boolean satisfiability.
by:
ProQuest Information and Learning Co.; University of Michigan.; Plaza, Stephen M.
(Language materials, manuscript)
Subjects