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

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

Show other versions (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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Format:	Conference item
Udgivet:	2013

Lignende værker

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

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

Hardware verification using software analyzers
af: Mukherjee, R, et al.
Udgivet: (2015)

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

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

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

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

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

Hardware Verification by Formal Proof
af: Birtwistle, G, et al.
Udgivet: (1988)

Hardware Verification by Formal Proof
af: Birtwistle, G, et al.
Udgivet: (1988)

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

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

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

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

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

Embedded linux : hardware, software, and interfacing /
af: 462332 Hollabaugh, Craig
Udgivet: (2002)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Abstraction Mechanisms for Hardware Verification
af: Melham, T
Udgivet: (1990)