Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
The work
| Authors | Daniel Wayne Weise |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1987 |
| Citekey | weise1987formal |
Where it appeared
| Publisher | MIT Artificial Intelligence Laboratory |
|---|---|
| Number in series | AI-TR-978 |
| School | MIT Artificial Intelligence Laboratory |
A copy is held
pdf, 9.8 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-22 20:51 UTC |
| Approved by | a person 2026-10-22 20:59 UTC |
Filed under
Cite it as
@techreport{weise1987formal,
title = {Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits},
author = {Daniel Wayne Weise},
year = {1987},
publisher = {MIT Artificial Intelligence Laboratory},
school = {MIT Artificial Intelligence Laboratory},
}
This record lives at https://refs.drheap.org/weise1987formal/ and will keep doing so.