Sciweavers

ACSD
2010
IEEE

Robustness of Sequential Circuits

13 years 1 months ago
Robustness of Sequential Circuits
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environment. This environment cannot be entirely captured and can provide inaccurate input data to the component. It is thus important for digital components to have a robust behavior, i.e. the presence of a small change in the input sequences should not result in a drastic change in the output sequences. In this paper, we study a notion of robustness for sequential circuits. However, since sequential circuits may have parts that are naturally discontinuous (e.g., digital controllers with switching behavior), we need a flexible framework that accommodates this fact and leaves discontinuous parts of the circuit out from the robustness analysis. As a consequence, we consider sequential circuits that have their input variables partitioned into two disjoint sets: control and disturbance variables. Our contributions are (...
Laurent Doyen, Thomas A. Henzinger, Axel Legay, De
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where ACSD
Authors Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
Comments (0)