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)