Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
Plug-n-play-style intellectual property reuse in system-on-chip design is facilitated by the use of an on-chip bus architecture. Component integration and verification in such systems is a cumbersome and time consuming process largely concerned with interfacing issues. A synchronous, finite state ma...
Main Authors: | D'Silva, V, Ramesh, S, Sowmya, A |
---|---|
Other Authors: | Gielen, G |
Format: | Journal article |
Published: |
2005
|
Similar Items
-
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures
by: D'Silva, V, et al.
Published: (2004) -
Verification of SoC Using Advanced Verification Methodology
by: Pranuti Pamula, et al.
Published: (2023-03-01) -
Co-verification of hardware and software for ARM SoC design /
by: 287919 Andrews, Jason R.
Published: (2005) -
Module level verification for low Power SoC based on universal verification methodology
by: Zhang, Zijing
Published: (2018) -
SoCFaSe : in quest for fast and secure SoC architectures
by: Gupta, Naina
Published: (2023)