An objective measure of digital system design quality

This paper proposes a method for defining the quality of a digital system in terms of measurable parameters of both the specification and a subsequent implementation of the design. Initially, software quality metrics are reviewed together with their application to hardware description languages. Metrics relating to circuit implementations are then discussed, such as device and testing costs, reliability, etc. A set of metrics are then proposed and evaluated for a range of VHDL specifications and the circuits resulting from logic synthesis. Initial results indicate that there is a strong correlation between specification and circuit metrics, so that their ratio may be used as a measure of design quality. Further work is proposed in order to validate the measure over a larger number of examples.

[1]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[2]  Robert B. Grady,et al.  Practical Software Metrics for Project Management and Process Improvement , 1992 .

[3]  J. C. Cluley,et al.  Electronic Equipment Reliability , 1974 .

[4]  Peter J. Ashenden,et al.  The Designer's Guide to VHDL , 1995 .

[5]  Dolores R. Wallace,et al.  Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric , 1996 .

[6]  Edward A. Feigenbaum,et al.  Switching and Finite Automata Theory: Computer Science Series , 1990 .

[7]  B. R Wilkins Testing digital circuits : an introduction , 1986 .

[8]  Norman E. Fenton,et al.  Quantitative Analysis of Faults and Failures in a Complex Software System , 2000, IEEE Trans. Software Eng..

[9]  Norman E. Fenton,et al.  Software Metrics: A Rigorous Approach , 1991 .

[10]  Zoran Salcic,et al.  Digital Systems Design and Prototyping Using Field Programmable Logic , 1997 .

[11]  Brian Henderson-Sellers,et al.  Object-Oriented Metrics , 1995, TOOLS.

[12]  Stephen H. Kan,et al.  Metrics and Models in Software Quality Engineering , 1994, SOEN.

[13]  Kevin B. Skahill,et al.  VHDL for Programmable Logic , 1996 .

[14]  Tsutomu Ishida,et al.  Metrics and Models in Software Quality Engineering , 1995 .

[15]  Ross Grable,et al.  Metrics for Small Projects: Experiences at the SED , 1999, IEEE Softw..

[16]  R. G. Bennetts,et al.  Design of testable logic circuits , 1984 .

[17]  Timothy J. Maloney,et al.  The Quality and Reliability of Intel's Quarter Micron Process , 2000 .

[18]  A. A. Kaposi,et al.  An engineer's view of the assurance and control of software quality , 1982 .

[19]  Jon L. Turino Design to test , 1990 .

[20]  R. G. Bennetts Introduction to Digital Board Testing , 1982 .

[21]  J. E. Arsenault,et al.  Reliability and Maintainability of Electronic Systems , 1980 .