Efficient verification of VLSI circuits based on syntax and denotational semantics
Also issued as: Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988.
| Other Authors: | |
|---|---|
| Language: | eng |
| Published: |
Research Laboratory of Electronics, Massachusetts Institute of Technology
2004
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/4206 |
| Summary: | Also issued as: Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988. |
|---|