A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Composing symbolic trajectory evaluation results
[chapter]
1994
Lecture Notes in Computer Science
Symbolic trajectory evaluation shows much promise as a method for verifying large scale VLSI designs with a high degree of automation. However, to verify today's designs, a method for composing partial verification results is needed. Consequently, we have proven a number of inference rules for the composition of symbolic trajectory evaluation results and developed a specialised theorem prover designed specifically for combining verification results based on trajectory evaluation. In the paper
doi:10.1007/3-540-58179-0_61
fatcat:y6vpfsuthrbd3mho3qj5uwxcc4