The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
| Hi-index | 0.00 |
There are many practical forces at work which encourage improvement in design methods. "Structural programming", "hierarchical design" and "modularity" are terms which have become commonplace. However, the frequency of their use does not mean that design methods now exist which can guarantee that a particular complex system, whose programs are shared by many users, will have no design errors. Nor do design methods yet exist which can guarantee that a digital system, "simple" enough to be integrated into one device and reproduced in the millions, will have no design errors.