Design and Verification of On−Chip Communication Protocols

Design and Verification of On−Chip Communication Protocols

他のバージョン（2件）を表示する

書誌詳細
主要な著者:	Böhm, P, Melham, T
フォーマット:	Conference item
出版事項:	ETAPS 2008 2008

類似資料

Design and Verification of On−Chip Communication Protocols
著者:: Böhm, P, 等
出版事項: (2015)

Design and Verification of On−Chip Communication Protocols
著者:: Böhm, P, 等
出版事項: (2015)

A Refinement Approach to Design and Verification of On−Chip Communication Protocols
著者:: Böhm, P, 等
出版事項: (2008)

A Refinement Approach to Design and Verification of On−Chip Communication Protocols
著者:: Böhm, P, 等
出版事項: (2008)

A Refinement Approach to Design and Verification of On-Chip Communication Protocols
著者:: Boehm, P, 等
出版事項: (2008)

A Framework for Incremental Modelling and Verification of On−Chip Protocols
著者:: Böhm, P
出版事項: (2010)

Abstraction Mechanisms for Hardware Verification
著者:: Melham, T
出版事項: (1990)

Abstraction Mechanisms for Hardware Verification
著者:: Melham, T
出版事項: (1988)

Abstraction Mechanisms for Hardware Verification
著者:: Melham, T
出版事項: (1987)

A Formalised Framework for Incremental Modelling of On−Chip Communication
著者:: Böhm, P
出版事項: (2010)

Higher Order Logic and Hardware Verification
著者:: Melham, T
出版事項: (1993)

Practical Formal Verification in Microprocessor Design
著者:: Jones, R, 等
出版事項: (2015)

Abstract: Experience with Practical Formal Verification at an Industrial Scale
著者:: Melham, T
出版事項: (2003)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
著者:: O'Leary, J, 等
出版事項: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
著者:: O'Leary, J, 等
出版事項: (2013)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
著者:: Melham, T
出版事項: (1989)

Contextualizing formal verification for systems security engineering
著者:: Shaked, A, 等
出版事項: (2024)

An AMBA−ARM7 Formal Verification Platform
著者:: Susanto, K, 等
出版事項: (2003)

MODELLING AND VERIFICATION OF KITSAT PACKET COMMUNICATION PROTOCOLS
著者:: Young-Ro Lee, 等
出版事項: (1996-06-01)

Hardware/Software Implementation of a Chip-to-Chip Communication Protocol Based on SPDM
著者:: Kais Belwafi, 等
出版事項: (2024-01-01)

Design and post-silicon verification of polymorphic PCIE bridge expansion chip
著者:: Deng Jiawei, 等
出版事項: (2023-02-01)

Hardware verification using software analyzers
著者:: Mukherjee, R, 等
出版事項: (2015)

Hardware Verification by Formal Proof
著者:: Birtwistle, G, 等
出版事項: (1988)

Hardware Verification by Formal Proof
著者:: Birtwistle, G, 等
出版事項: (1988)

Hardware Verification using Higher−Order Logic
著者:: Camilleri, A, 等
出版事項: (1986)

Hardware Verification using Higher−Order Logic
著者:: Camilleri, A, 等
出版事項: (1987)

A formal CHERI-C semantics for verification
著者:: Park, SH, 等
出版事項: (2023)

Design and implementation of adaptive and synchronous test function of chip sample verification platform
著者:: Xu Jinglin, 等
出版事項: (2023-02-01)

Unbounded Safety Verification for Hardware Using Software Analyzers
著者:: Mukherjee, R, 等
出版事項: (2015)

End-to-end formal verification of a RISC-V processor extended with capability pointers
著者:: Gao, D, 等
出版事項: (2021)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
著者:: Dan LIU, 等
出版事項: (2012-11-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
著者:: Dan LIU, 等
出版事項: (2012-11-01)

Verification methods for complex-functional blocks in CAD for chips deep submicron design standards
著者:: Zolnikov Vladimir, 等
出版事項: (2023-01-01)

Design and verification of adaptive cache coherence protocols
著者:: Shen, Xiaowei, 1966-
出版事項: (2014)

Effective verification for low-level software with competing interrupts
著者:: Liang, L, 等
出版事項: (2017)

Verification of an artificial intelligence vision chip design for edge computing based on hardware simulation system
著者:: Xuanzhe XU, 等
出版事項: (2022-03-01)

Verification of an artificial intelligence vision chip design for edge computing based on hardware simulation system
著者:: Xuanzhe XU, 等
出版事項: (2022-03-01)

Lifting CDCL to template-based abstract domains for program verification
著者:: Mukherjee, R, 等
出版事項: (2017)

Verification of communication protocols in web services : model-checking service compositions /
著者:: 464078 Tari, Zahir, 等
出版事項: (2014)

RFID security : techniques, protocols and system-on-chip design /
著者:: Kitsos, Paris, 1952-, 等
出版事項: (2008)