Hardware Reference
In-Depth Information
66. Y. Wolfsthal, Abstract for the ISOLA special session on “Industrial use of tools for for-
mal analysis”, in
ISoLA (Preliminary proceedings)
, Lecture Notes in Computer Science.
ISBN 3-540-48928-2, pp. 190-190 (Springer, 2004)
67. P. Yeung, Four pillars of assertion-based verification, in
Euro DesignCon
, International
Engineering Consortium (2004)
68. J. Yuan, K. Albin, A. Aziz, C. Pixley, Constraint synthesis for environment modeling in
functional verification, in
Proceedings of Design Automation Conference
(IEEE and ACM,
2003), pp. 296-299