Paper Info
Title
Robustness of Sequential Circuits
Abstract
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 (1) a definition of robustness for sequential circuits as a form of continuity with respect to disturbance variables, (2) the characterization of the exact class of sequential circuits that are robust according to our definition, (3) an algorithm to decide whether a sequential circuit is robust or not.
Year
DOI
Venue
2010
10.1109/ACSD.2010.26
Application of Concurrency to System Design
Keywords
Field
DocType
logic design,sequential circuits,complex embedded system,digital component,sequential circuit,Mealy machines,continuity,robustness,sequential circuits
Logic synthesis,Sequential logic,Disjoint sets,Computer science,Real-time computing,Robustness (computer science),Hamming distance
Conference
ISSN
ISBN
Citations 
1550-4808 E-ISBN : 978-1-4244-7267-3
978-1-4244-7267-3
17
PageRank 
References 
Authors
0.93
9
4
Name
Order
Citations
PageRank
Laurent Doyen1170.93
Thomas A. Henzinger2148271317.51
Axel Legay3196.38
Dejan Nickovic4172.62