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...

Bibliografske podrobnosti
Main Authors:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Format:	Conference item
Izdano:	2013

Podobne knjige/članki

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

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

Hardware verification using software analyzers
od: Mukherjee, R, et al.
Izdano: (2015)

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

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

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

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

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

Hardware Verification by Formal Proof
od: Birtwistle, G, et al.
Izdano: (1988)

Hardware Verification by Formal Proof
od: Birtwistle, G, et al.
Izdano: (1988)

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

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

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

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

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

Embedded linux : hardware, software, and interfacing /
od: 462332 Hollabaugh, Craig
Izdano: (2002)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Abstraction Mechanisms for Hardware Verification
od: Melham, T
Izdano: (1990)