An HOL Theory For Logic States with Indeterminate Strengths
Jody W. Gambles, Phillip J. Windley · 2005
A signal value representation including both unknown state and a degree of strength indeterminacy has been shown to provide greater modeling accuracy to the lattice theoretic approach. The lattice approach facilitates the development of higher-order logic functions that can be used to reason about VLSI circuits. Such signal value functions are required for the integration of verification environments, such as HOL, with modern CAD VLSI design tools.