摘要: A new functional semantics is proposed for synchronous circuits, as a basis for reasoning formally about that class of hardware systems. Technically, we define an extensional semantics with monotonic length-preserving functions on... 展开
作者 | Bronstein, A. Talcott, C. L. | ||
---|---|---|---|
原报告号 | ADA197008 | 总页数 | 60 |
报告类别/文献类型 | AD / NTIS科技报告 | ||
关键词 | Semantics Synchronous circuits Synchronous computers Verifying |