Assume−Guarantee Validation for STE Properties within an SVA Environment
Zurab Khasidashvili‚ Gavriel Gavrielov and Tom Melham
Book Title
Proceedings of 9th International Conference: 2009 Formal Methods in Computer−Aided Design: FMCAD 2009
Editor
Armin Biere and Carl Pixley
ISBN
978−1−4244−4966−8
Pages
108–115
Publisher
IEEE
Year
2009