Formal Co-Validation of Low-Level Hardware/Software Interfaces

Formal Co-Validation of Low-Level Hardware/Software Interfaces

Mostra altre versioni (1)

Today's microelectronics industry is increasingly confronted with the challenge of developing and validating software that closely interacts with hardware. These interactions make it difficult to design and validate the hardware and software separately; instead, a verifiable co-design is requir...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Natura:	Conference item
Pubblicazione:	2013

Documenti analoghi

Formal co−validation of low−level hardware/software interfaces
di: Horn, A, et al.
Pubblicazione: (2013)

Effective verification for low-level software with competing interrupts
di: Liang, L, et al.
Pubblicazione: (2017)

Hardware verification using software analyzers
di: Mukherjee, R, et al.
Pubblicazione: (2015)

Formal techniques for effective co-verification of hardware/software co-designs
di: Mukherjee, R, et al.
Pubblicazione: (2017)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
di: Kroening, D, et al.
Pubblicazione: (2005)

Unbounded Safety Verification for Hardware Using Software Analyzers
di: Mukherjee, R, et al.
Pubblicazione: (2015)

Formally Analysed Dynamic Synthesis of Hardware
di: Susanto, K, et al.
Pubblicazione: (1998)

Formally Analyzed Dynamic Synthesis of Hardware
di: Susanto, K, et al.
Pubblicazione: (2001)

Hardware Verification by Formal Proof
di: Birtwistle, G, et al.
Pubblicazione: (1988)

Hardware Verification by Formal Proof
di: Birtwistle, G, et al.
Pubblicazione: (1988)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
di: Melham, T
Pubblicazione: (1989)

An Industrially Effective Environment for Formal Hardware Verification
di: Seger, C, et al.
Pubblicazione: (2005)

Automatic generation of hardware/software interfaces
di: King, Myron Decker, et al.
Pubblicazione: (2012)

Automatic generation of hardware/software interfaces
di: King, Myron, et al.
Pubblicazione: (2019)

The 80286 microprocessor : hardware, software, and interfacing /
di: 391611 Triebel, Walter A., et al.
Pubblicazione: (1990)

Embedded linux : hardware, software, and interfacing /
di: 462332 Hollabaugh, Craig
Pubblicazione: (2002)

System-level test and validation of hardware/software systems /
di: Sonza Reorda, M. (Matteo), et al.
Pubblicazione: (2005)

A Reflective Functional Language for Hardware Design and Theorem Proving
di: Grundy, J, et al.
Pubblicazione: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
di: Grundy, J, et al.
Pubblicazione: (2003)

Partial orders for efficient bounded model checking of concurrent software
di: Alglave, J, et al.
Pubblicazione: (2013)

Firmware vulnerability analysis based on formal verification of software and hardware
di: Peng-hui ZHANG, et al.
Pubblicazione: (2016-07-01)

Firmware vulnerability analysis based on formal verification of software and hardware
di: Peng-hui ZHANG,Xi TIAN,Kang-wei LOU
Pubblicazione: (2016-07-01)

Development of hardware and software interfaces for flight simulator /
di: 429541 Shuhaimi Mansor
Pubblicazione: (1997)

The 8086 and 80286 microprocessors : hardware, software and interfacing /
di: 391623 Avtar Singh, et al.
Pubblicazione: (1990)

Computer organization and design : the hardware/software interface /
di: Patterson, David A., author, et al.
Pubblicazione: ([201)

Microprocessors and peripherals : hardware, software, interfacing, applications/
di: 454287 Brey, Barry B.
Pubblicazione: (1988)

Microcomputer-analog converter software and hardware interfacing/
di: Titus, Jonathan A.

Computer organization and design : the hardware/software interface /
di: 457839 Patterson, David A., et al.
Pubblicazione: (2005)

Computer organization and design : the hardware/software interface /
di: 457839 Patterson, David A., et al.
Pubblicazione: (2009)

PIC microcontroller : an introduction to software and hardware interfacing /
di: 372386 Huang, Han-Way
Pubblicazione: (2004)

Making Software Verification Tools Really Work
di: Alglave, J, et al.
Pubblicazione: (2011)

Hardware/software co-design /
di: De Micheli, Giovanni, et al.
Pubblicazione: (1996)

Software Verification for Weak Memory via Program Transformation
di: Alglave, J, et al.
Pubblicazione: (2013)

Software verification for weak memory via program transformation
di: Alglave, J, et al.
Pubblicazione: (2013)

Microprocessor systems design : 68000 hardware, software and interfacing /
di: 295928 Clements, Alan
Pubblicazione: (1987)

The Z80 microprocessor : hardware, software, programming, and interfacing /
di: 454287 Brey, Barry B.
Pubblicazione: (1988)

Z80 microprocessor technology : hardware, software and interfacing /
di: 412345 Bignell, James, et al.
Pubblicazione: (1986)

Microprocessor systems design : 68000 hardware, software, and interfacing /
di: 295928 Clements, Alan
Pubblicazione: (1997)

The 80386, 80486 and pentium processor : hardware, software and interfacing /
di: 391611 Triebel, Walter A.
Pubblicazione: (1998)

Abstraction Mechanisms for Hardware Verification
di: Melham, T
Pubblicazione: (1990)