From nonlinear discrete event dynamic systems with the applicable backgroun
d of a large-scale digital integrated circuit, a new conception of coloring
graphs on the system is advanced, the necessary and sufficient condition o
f upper-level observability is given, and the necessary and sufficient cond
ition of respective reachability is simplified and improved.