Summary
2011 International Symposium on Nonlinear Theory and Its Applications
2011
Session Number:A4L-C
Session:
Number:A4L-C2
Sheaf-theoretic structural analysis of computational networks
Michael Robinson,
pp.262-265
Publication Date:2011/9/4
Online ISSN:2188-5079
DOI:10.34385/proc.45.A4L-C2
PDF download (97.3KB)
Summary:
We show how logic circuits can be encoded into a cellular sheaf, and how traditional sheaf theoretic invariants can be interpreted semantically. In this setting, there exists strictly more information available to a circuit designer than in static truth tables, but less than 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. Future directions are also outlined.