IEEE - Institute of Electrical and Electronics Engineers, Inc. - Interface Specification Assurance Methods

2007 IEEE International Symposium on Quality of Electronic Design

Author(s): Naiyong Jin ; Taoyong Ni
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2007
Conference Location: San Jose, CA, USA
Conference Date: 26 March 2007
Page(s): 269 - 274
ISBN (Paper): 0-7695-2795-7
DOI: 10.1109/ISQED.2007.93
Regular:

PSL supports property inheritance by verification units. The lack of formal semantics of the inherit operator is an obstacle to reduce the complexity of system design and verification. This paper... View More

Advertisement