IEEE - Institute of Electrical and Electronics Engineers, Inc. - Transaction Based Modeling and Verification of Hardware Protocols

Formal Methods in Computer Aided Design

Author(s): Xiaofang Chen ; Steven M. German ; Ganesh Gopalakrishnan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2007
Conference Location: Austin, TX, USA, USA
Conference Date: 11 November 2007
Page(s): 53 - 61
ISBN (Paper): 978-0-7695-3023-9
DOI: 10.1109/FAMCAD.2007.20
Regular:

Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior of hardware. In... View More

Advertisement