Association for Computing Machinery (ACM) - Comparative Design Validation Based on Event Pattern Mappings

30th ACM/IEEE Design Automation Conference

Author(s): B.A. Gennart
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 January 1993
Conference Location: Dallas, TX, USA, USA
Conference Date: 14 June 2014
Page(s): 373 - 378
ISBN (Paper): 0-89791-577-1
ISSN (Paper): 0738-100X
DOI: 10.1145/157485.164936

This paper proposes a new methodology for performing comparative validation between two specifications of a system at different levels of abstraction. The methodology consists of two steps :... View More