Quality-driven design in the system-on-a-chip era: Why and how?

Journal of Systems Architecture

Volumn 47, Issue 3-4, 2001, Pages 201-224

  Jó́wiak, Lech ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Design decision making; Design estimation and validation; Design modeling; Design reuse; Design space exploration; Quality driven design; System on a chip

Indexed keywords

EID: 0035310550     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(00)00046-1     Document Type: Article

References (40)

1. R.S. Boyer J.S. Moore A Computational Logic Handbook 1988 Academic Press New York
2. P.B. Crosby Quality is Free 1979 McGraw-Hill New York
3. O. Coudert, J.C. Madre, A unified framework for the formal verification of sequential circuits, in: Proceedings of the ICCAD '90, IEEE, New York, 1990, pp. 126–129
4. W.E. Deming Out of the Crisis 1986 MIT Centre for Advanced Engineering Studies Cambridge, MA
5. S. Devadas, H.K.T. Ma, A.R. Newton, On the verification of sequential machines at the differing levels of abstraction, IEEE Trans. CAD 7 (6) (1988) 713–722
6. T. Filkorn, A method for symbolic verification of synchronous circuits, in: Proceedings of the CHDL'91, North Holland, Amsterdam, 1991
7. A. Ghosh, S. Devadas, A.R. Newton, Verification of Interacting Sequential Circuits, in: Proceedings of the 27th DAC, IEEE Computer Society, Piscataway, 1990, pp. 213–219
8. M. Gordon T. Melham Introduction to HOL: A Theorem Proving Environment for Higher Order Logic 1993 Cambridge University Press Cambridge, UK
9. S.L. Greenspan, J.J. Wisowaty, R.E. Bright Jr., Product definition through the design-by-use process, AT&T Technical Journal, AT&T Company, New York, 1992, pp. 31–40
10. L. Jóźwiak, An efficient heuristic method for state assignment of large sequential machines, J. Circuits, Systems Comput. 2 (1) (1992)
11. L. Jóźwiak, F.A.M. Volf, Efficient decomposition of assigned sequential machines and Boolean functions for PLD implementations, in: Proceedings of the IEEE International Conference on Electronic Technology Directions, Adelaide, Australia, 23–25 May 1995
12. L. Jóźwiak, An efficient verification method for application in transformational design, in: Proceedings of the 21st EUROMICRO Conference, IEEE Computer Society, Los Alamitos, 1995
13. L. Jóźwiak, General decomposition and its use in digital circuit synthesis, VLSI design, Int. J. Custom-Chip Design, Simulation, Testing, 3 (3–4) (1995) 225–248
14. L. Jóźwiak, Modern concepts of quality and their relationship to design reuse and model libraries, In: Current Issues in Electronic Modeling, Kluwer, Dordrecht, 1995, (Chap. 8, Issue 5)
15. L. Jóźwiak, Quality-driven design space exploration in electronic system design, in: Proceedings of the IEEE International Symposium on Industrial Electronics ISIE'96, IEEE Industrial Electronics Society, New York, 1996, pp. 1049–1054
16. L. Jóźwiak, A. Ong, Quality-driven decision making methodology for system-level design, in: Proceedings of the 22nd EUROMICRO Conference, IEEE Computer Society, Los Alamitos, 1995, pp. 8–18
17. L. Jóźwiak, Quality-driven design of electronic systems: why and how? in: Proceedings of MIXDES'96: Mixed Design of Integrated Circuits and Systems, Lodz, Poland, 30 May–June 1, 1996
18. L. Jóźwiak, Quality-driven design of integrated systems, in: Proceedings of the IEEE Instrumentation and Measurement Technology Conference, IEEE Service Center, Piscataway, USA, 1997, pp. 84–89
19. L. Jóźwiak, M. Perkowski, D. Foote, Massively parallel structures of specialized re-configurable cellular processors for fast symbolic computations, in: Proceedings of the MPCS'98 – The Third International Conference on Massively Parallel Computing Systems, Colorado Springs, Colorado, USA, April 6–9, 1998, pp. 55–64
20. L. Jóźwiak, The nature of the system design problems and the quality-driven system design process, in: Proceedings of the SCI'98 – World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, 12–16 July, 1998, pp. 541–548
21. L. Jóźwiak, N. Ederveen, A. Postula, Solving synthesis problems with genetic algorithms, in: Proceedings of the EUROMICRO-98 Conference, IEEE Computer Society Press, Los Alamitos, 1998, pp. 1–7
22. L. Jóźwiak and Adam Postula, Genetic engineering versus natural evolution: genetic algorithms with deterministic operators, in: Proceedings of the International Conference on Artificial Intelligence IC-AI'99, Las Vegas, Nevada, USA, 28 June–1 July, 1999, CSREA Press, 1999, pp. 58–64
23. L. Jóźwiak, Quality-driven design of application-specific systems, in: Proceedings of the 13th International Conference on Systems Engineering – ICSE'99, IEEE Computer Society, New York, 1999, pp. 95–100
24. L. Jóźwiak, Quality-Driven System-on-a-Chip Design, in: Proceedings of the IEEE International Symposium on Quality of Electronic Design, IEEE Computer Society Press, Los Alamitos, 2000
25. J.M. Juran Juran on Leadership for Quality 1988 The Free Press New York
26. B. King Better Designs in Half the Time: Implementing QFD in America 1989 Goal/QPC, Methuen MA
27. R.H. Lochner J.E. Matar Designing for Quality 1990 Chapman and Hall London
28. H.K.T. Ma, S. Devadas, R.S. Wei, A. Sangiovanni-Vincentelli, Logic verification algorithms and their parallel implementations, IEEE Trans. CAD (1989) 181–189
29. S. Malik, A.R. Wang, R.K. Brayton. A. Sangiovanni-Vincentelli, Logic verification using binary decision diagrams in a logic synthesis environment, in: Proceedings of the ICCAD'98, IEEE, New York, 1998, pp. 6–9
30. K.L. McMillan Symbolic Model Checking 1993 Kluwer Dordrecht
31. S.A. Ong, L.Jóźwiak, K. Tiensyrja, Interactive co-design for real-time embedded control systems, in: Proceedings of the ISIE-97, IEEE International Symposium on Industrial Electronics, IEEE Industrial Electronics Society, New York, 1997
32. S.A. Ong, L. Jóźwiak, K. Tiensyrja, Interactive co-design for real-time embedded control systems: task graphs generation from SA/VHDL models, in: Proceedings of the EUROMICRO-97, IEEE Computer Society, Los Alamitos, 1997, pp. 172–181
33. H.R. Parsaei W.G. Sullivan Concurrent Engineering 1993 Chapman and Hall London
34. P. Pulli, T. Vataja, M. Heikkinen, Extending QFD to risk function deployment, in: Proceedings of the CE and CALS Conference 1993, Washington D.C., 26 June–1 July, 1993, pp. 241–253
35. T.L. Saaty The Analytic Hierarchy Process 1980 McGraw-Hill New York
36. M. Sakawa Fuzzy Sets and Interactive Multiobjective Optimization 1993 Plenum Press New York
37. P. Vincke M. Gassner B. Roy Multicriteria Decision-Aid 1992 Wiley Chichester
38. A.P. Wierzbicki A mathematical basis for satisfying decision making Mathematical Modelling 3 1982 391 405
39. A.P. Wierzbicki On the completness and constructiveness of parametric characterizations to vector optimization problems OR Spektrum 8 1986 73 87
40. P.L. Yu Multiple-Criteria Decision Making 1985 Plenum Press New York