### Abstract

The concept of Design for Verifiability is introduced as a means of attacking the complexity problem encountered when verifying the correctness of hardware designs using mathematical proof techniques. The inherent complexity of systems implemented as integrated circuits results in a comparable descriptive complexity when modelling them in any framework which supports formal verification. Performing formal verification then rapidly becomes intractable as a consequence of this descriptive complexity. In this paper we propose a strategy for dealing, at least in part, with this problem. We advocate the use of a particular design strategy involving the use of structural design rules which constrain the behaviour of a design resulting in a less complex design verification. The term Design for Verifiability is used to capture this concept in an analogous way to the term Design for Testability.

Original language | English |
---|---|

Title of host publication | Hardware Specification, Verification and Synthesis |

Subtitle of host publication | Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings |

Editors | Miriam Leeser, Geoffrey Brown |

Publisher | Springer-Verlag Berlin |

Pages | 1-13 |

Number of pages | 13 |

ISBN (Print) | 9780387972268 |

DOIs | |

Publication status | Published - 1 Jan 1990 |

Externally published | Yes |

Event | Mathematical Sciences Institute Workshop on Hardware Specification, Verification and Synthesis, 1989 - Ithaca, United States Duration: 5 Jul 1989 → 7 Jul 1989 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 408 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | Mathematical Sciences Institute Workshop on Hardware Specification, Verification and Synthesis, 1989 |
---|---|

Country | United States |

City | Ithaca |

Period | 5/07/89 → 7/07/89 |

### Fingerprint

### Cite this

*Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings*(pp. 1-13). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 408 LNCS). Springer-Verlag Berlin. https://doi.org/10.1007/0-387-97226-9_20