ABSTRACT
This chapter contributes to the field of logic design of nanoICs that analyzes behavior of computing structures in terms of change. The notation of elementary change in a system is useful at some phases of analysis and synthesis. This model is serviceable in the study of “static” and “dynamic” changes in a circuit, caused by an “event” (e.g., a fault on the line of a circuit). This analysis is event-driven, and the mathematical tool for it is logic differential calculus. Differential operators, of which the basic one is Boolean difference, provide an opportunity for analysis of circuit properties, such as flexibility (ability to be modified without compromising functionality), symmetry, monotony, i.e., detection of properties that are prerequisite for optimization. It provides an additional opportunity for analysis of circuit behavior (consequences of “events”, sensitivity analysis, testability, etc.) In this chapter, we discuss:
The definition of a mathematical tool for detection of an “event” (change) in a binary system, a Boolean difference of a switching function;
Differential operators for analysis of the properties and behavior of switching functions; and
Data structures and technique for computing differential operators.
