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

书目详细资料
Main Authors:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
格式:	Conference item
出版:	2013

相似书籍

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

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

Hardware verification using software analyzers
由: Mukherjee, R, et al.
出版: (2015)

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

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

Unbounded Safety Verification for Hardware Using Software Analyzers
由: Mukherjee, R, et al.
出版: (2015)

Formally Analysed Dynamic Synthesis of Hardware
由: Susanto, K, et al.
出版: (1998)

Formally Analyzed Dynamic Synthesis of Hardware
由: Susanto, K, et al.
出版: (2001)

Hardware Verification by Formal Proof
由: Birtwistle, G, et al.
出版: (1988)

Hardware Verification by Formal Proof
由: Birtwistle, G, et al.
出版: (1988)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
由: Melham, T
出版: (1989)

An Industrially Effective Environment for Formal Hardware Verification
由: Seger, C, et al.
出版: (2005)

Automatic generation of hardware/software interfaces
由: King, Myron Decker, et al.
出版: (2012)

Automatic generation of hardware/software interfaces
由: King, Myron, et al.
出版: (2019)

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

Embedded linux : hardware, software, and interfacing /
由: 462332 Hollabaugh, Craig
出版: (2002)

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

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

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

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

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

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

Development of hardware and software interfaces for flight simulator /
由: 429541 Shuhaimi Mansor
出版: (1997)

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

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

Microprocessors and peripherals : hardware, software, interfacing, applications/
由: 454287 Brey, Barry B.
出版: (1988)

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

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

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

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

Making Software Verification Tools Really Work
由: Alglave, J, et al.
出版: (2011)

Hardware/software co-design /
由: De Micheli, Giovanni, et al.
出版: (1996)

Software Verification for Weak Memory via Program Transformation
由: Alglave, J, et al.
出版: (2013)

Software verification for weak memory via program transformation
由: Alglave, J, et al.
出版: (2013)

Microprocessor systems design : 68000 hardware, software and interfacing /
由: 295928 Clements, Alan
出版: (1987)

The Z80 microprocessor : hardware, software, programming, and interfacing /
由: 454287 Brey, Barry B.
出版: (1988)

Z80 microprocessor technology : hardware, software and interfacing /
由: 412345 Bignell, James, et al.
出版: (1986)

Microprocessor systems design : 68000 hardware, software, and interfacing /
由: 295928 Clements, Alan
出版: (1997)

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

Abstraction Mechanisms for Hardware Verification
由: Melham, T
出版: (1990)