arXiv Open Access 2010

Asynchronous logic circuits and sheaf obstructions

Michael Robinson

Lihat Sumber

Abstrak

This article exhibits a particular encoding of logic circuits into a sheaf formalism. The central result of this article is that there exists strictly more information available to a circuit designer in this setting than exists in static truth tables, but less than exists in event-level simulation. This information is related to the timing behavior of the logic circuits, and thereby provides a ``bridge'' between static logic analysis and detailed simulation.

Topik & Kata Kunci

cs.AR

Penulis (1)

Michael Robinson

Format Sitasi

APA MLA BibTeX

Robinson, M. (2010). Asynchronous logic circuits and sheaf obstructions. https://arxiv.org/abs/1008.2729

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2010
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓