Applied software measurement (2nd ed.): assuring productivity and quality
Applied software measurement (2nd ed.): assuring productivity and quality
Toward Zero-Defect Programming
Toward Zero-Defect Programming
Assertion-Based Design
ISQED '04 Proceedings of the 5th International Symposium on Quality Electronic Design
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Hi-index | 0.00 |
Last year at ISQED, I presented a paper describing the challenge IP providers face: Customers demand zero-defect IP, yet this is beyond state of the art. This paper presents a possible path to address some of the key limiting issues described last year. Starting with an argument that verification cannot address the IP quality challenge, the paper argues that design methodology changes are the most likely path to increasing IP quality. It describes methods for measuring and reducing the state space of designs, and for representing the state space in a way that leads to more effective reasoning about the design. Finally, it discusses some recent experiments with formal and informal specification.