Date of Original Version

8-1991

Type

Conference Proceeding

Abstract or Description

We significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs.

Share

COinS
 

Published In

Proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland.